Ian Horrocks
From Wikipedia, the free encyclopedia
Ian Horrocks is a Professor of Computer Science at the University of Oxford in the UK. His research focuses on knowledge representation, particularly ontology languages, description logics, and optimised reasoning algorithms.
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++ and Pellet.
Prof. 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.
[edit] External links
- Ian Horrocks introduction on the www-webont-wg mailing list at the World Wide Web Consortium (W3C)
- Ian Horrocks homepage at the University of Oxford
- Ian Horrocks former homepage at the University of Manchester
- Peer reviewed publications by Ian Horrocks from DBLP
- Grants awarded to Ian Horrocks by the UK Engineering and Physical Sciences Research Council
- Ian Horrocks on Ontoworld.org
- Needham Award winner
 |
This biography of a United Kingdom academic is a stub. You can help by expanding it. |
Categories: Artificial intelligence researchers | Living people | Alumni of the Victoria University of Manchester | Academics of the University of Oxford | Members of Oxford University Computing Laboratory | Fellows of Colleges of the University of Oxford | Fellows of Oriel College, Oxford | Fellows of the British Computer Society | Year of birth missing (living people) | United Kingdom academic biography stubs
