Ian Horrocks
Encyclopedia
Ian Horrocks is a Professor of Computer Science
at the University of Oxford
in the UK and a Fellow of Oriel College, Oxford . His research focuses on knowledge representation
, particularly ontology languages
, description logic
, and optimised reasoning algorithm
s.
His work on tableau reasoning for very expressive description logics has formed the basis of most description logic reasoning systems in use today, including Racer, FaCT++, HermiT and Pellet.
Professor Horrocks was jointly responsible for development of the OIL and DAML+OIL
ontology languages, and he played a central role in the development of the Web Ontology Language
OWL. These languages and associated tools have been used by the Open Biomedical Ontologies
Consortium, the National Cancer Institute
in America, the United Nations
Food and Agriculture Organization
the World Wide Web Consortium
, and a range of major corporations and government agencies.
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
at the University of Oxford
University of Oxford
The University of Oxford is a university located in Oxford, United Kingdom. It is the second-oldest surviving university in the world and the oldest in the English-speaking world. Although its exact date of foundation is unclear, there is evidence of teaching as far back as 1096...
in the UK and a Fellow of Oriel College, Oxford . His research focuses on knowledge representation
Knowledge representation
Knowledge representation is an area of artificial intelligence research aimed at representing knowledge in symbols to facilitate inferencing from those knowledge elements, creating new elements of knowledge...
, particularly ontology languages
Ontology language (computer science)
In computer science and artificial intelligence, ontology languages are formal languages used to construct ontologies. They allow the encoding of knowledge about specific domains and often include reasoning rules that support the processing of that knowledge...
, description logic
Description logic
Description logic is a family of formal knowledge representation languages. It is more expressive than propositional logic but has more efficient decision problems than first-order predicate logic....
, and optimised reasoning algorithm
Algorithm
In mathematics and computer science, an algorithm is an effective method expressed as a finite list of well-defined instructions for calculating a function. Algorithms are used for calculation, data processing, and automated reasoning...
s.
His work on tableau reasoning for very expressive description logics has formed the basis of most description logic reasoning systems in use today, including Racer, FaCT++, HermiT and Pellet.
Professor Horrocks was jointly responsible for development of the OIL and DAML+OIL
DAML+OIL
DAML+OIL is a successor language to DAML and OIL that combines features of both. In turn, it was superseded by Web Ontology Language .DAML stands for DARPA Agent Markup Language. OIL stands for Ontology Inference Layer or Ontology Interchange Language...
ontology languages, and he played a central role in the development of the Web Ontology Language
Web Ontology Language
The Web Ontology Language is a family of knowledge representation languages for authoring ontologies.The languages are characterised by formal semantics and RDF/XML-based serializations for the Semantic Web...
OWL. These languages and associated tools have been used by the Open Biomedical Ontologies
Open Biomedical Ontologies
Open Biomedical Ontologies is an effort to create controlled vocabularies for shared use across different biological and medical domains. As of 2006, OBO forms part of the resources of the U.S...
Consortium, the National Cancer Institute
National Cancer Institute
The National Cancer Institute is part of the National Institutes of Health , which is one of 11 agencies that are part of the U.S. Department of Health and Human Services. The NCI coordinates the U.S...
in America, the United Nations
United Nations
The United Nations is an international organization whose stated aims are facilitating cooperation in international law, international security, economic development, social progress, human rights, and achievement of world peace...
Food and Agriculture Organization
Food and Agriculture Organization
The Food and Agriculture Organization of the United Nations is a specialised agency of the United Nations that leads international efforts to defeat hunger. Serving both developed and developing countries, FAO acts as a neutral forum where all nations meet as equals to negotiate agreements and...
the World Wide Web Consortium
World Wide Web Consortium
The World Wide Web Consortium is the main international standards organization for the World Wide Web .Founded and headed by Tim Berners-Lee, the consortium is made up of member organizations which maintain full-time staff for the purpose of working together in the development of standards for the...
, and a range of major corporations and government agencies.
External links
- Ian Horrocks introduction on the www-webont-wg mailing list at the World Wide Web Consortium (W3C)World Wide Web ConsortiumThe World Wide Web Consortium is the main international standards organization for the World Wide Web .Founded and headed by Tim Berners-Lee, the consortium is made up of member organizations which maintain full-time staff for the purpose of working together in the development of standards for the...
- Peer reviewed publications by Ian Horrocks from DBLPDBLPDBLP is a computer science bibliography website hosted at Universität Trier, in Germany. It was originally a database and logic programming bibliography site, and has existed at least since the 1980s. DBLP listed more than 1.3 million articles on computer science in January 2010...
- Grants awarded to Ian Horrocks by the UK Engineering and Physical Sciences Research CouncilEngineering and Physical Sciences Research CouncilThe Engineering and Physical Sciences Research Council is a British Research Council that provides government funding for grants to undertake research and postgraduate degrees in engineering and the physical sciences , mainly to universities in the United Kingdom...
- Ian Horrocks on semanticweb.org