Nationality British Academic advisor Alan Rector | Name Ian Horrocks | |
Born Ian Robert Horrocks
11 March 1958 (age 66) ( 1958-03-11 ) Institutions University of Oxford
Oriel College, Oxford
University of Manchester Alma mater University of Manchester Thesis Optimising tableaux decision procedures for description logics (1997) Doctoral students Ana Armas
Andrew Bate
Birte Glimm
Lei Li
Despoina Magka
Jeff Z. Pan
Hector Perez-Urbina
Rob Shearer
Frantisek Simancik
Giorgio Stefanoni
Yujiao Zhou Fields Semantic Web, Artificial intelligence | ||
Other notable students Matthew Horridge Education University of Manchester |
Ian horrocks standardizing owl
Ian Robert Horrocks FRS 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 and reasoning, particularly ontology languages, description logic and optimised tableaux decision procedures.
Contents
Education
Horrocks completed his Bachelor of Science, Master of Science (1995) and Doctor of Philosophy (1997) degrees in the School of Computer Science at the University of Manchester. After several years as a lecturer, senior lecturer, Reader then Professor in Manchester, he moved to the University of Oxford in 2008.
Research
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 whole range of major corporations and government agencies.
His research is partly funded by the Engineering and Physical Sciences Research Council (EPSRC).
Horrocks is the current Editor-in-chief of the Journal of Web Semantics and has been program chair for the International Semantic Web Conference.
Awards and honours
Horrocks was elected a Fellow of the Royal Society in 2011 and the BCS Roger Needham award in 2005.