Ian Horrocks

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Ian Horrocks
Ian Horrocks mg 7439.jpg
Ian Horrocks
Born Ian Robert Horrocks
(1958-03-11) 11 March 1958 (age 59)[1]
Nationality British
Alma mater University of Manchester
Thesis Optimising tableaux decision procedures for description logics (1997)
Doctoral students
Other notable students Matthew Horridge[12]
Known for
Notable awards

Ian Robert Horrocks FRS[15] is a Professor of Computer Science at the University of Oxford in the UK and a Fellow of Oriel College, Oxford.[16] His research[2][17][18] focuses on knowledge representation and reasoning, particularly ontology languages,[19] description logic and optimised tableaux decision procedures.[20][21][22]


Horrocks completed his Bachelor of Science, Master of Science (1995)[23] and Doctor of Philosophy (1997)[24] 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.


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++,[25] HermiT[26][27][28] and Pellet.[29]

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[30] Consortium, the National Cancer Institute in America, the United Nations Food and Agriculture Organization the World Wide Web Consortium[31] and a whole range of major corporations and government agencies.[15]

His research is partly funded by the Engineering and Physical Sciences Research Council (EPSRC).[32]

Horrocks is the current Editor-in-chief of the Journal of Web Semantics[33] and has been program chair for the International Semantic Web Conference.

Awards and honours[edit]

Horrocks was elected a Fellow of the Royal Society in 2011[15] and the BCS Roger Needham award in 2005.[14]


  1. ^ HORROCKS, Prof. Ian Robert. ukwhoswho.com. Who's Who. 2014 (online edition via Oxford University Press ed.). A & C Black, an imprint of Bloomsbury Publishing plc.  (subscription required)
  2. ^ a b Ian Horrocks's publications indexed by Google Scholar
  3. ^ Glimm, Birte (2007). Querying description logic knowledge bases (PDF) (PhD thesis). University of Manchester. 
  4. ^ Lee, Lei (2006). Instance store II: reasoning about large numbers of related individuals (PhD thesis). University of Manchester. Archived from the original on 2012-12-23. 
  5. ^ Magka, Despoina (2013). Foundations and applications of knowledge representation for structured entities (DPhil thesis). University of Oxford. 
  6. ^ Pan, Jeff Z. (2004). Description Logics: Reasoning Support for the Semantic Web (PDF) (PhD thesis). University of Manchester. 
  7. ^ Pérez-Urbina, Héctor (2010). Tractable Query Answering for Description Logics via Query Rewriting (DPhil thesis). University of Oxford. 
  8. ^ Pérez-Urbina, H. C.; Motik, B.; Horrocks, I. (2010). "Tractable query answering and rewriting under description logic constraints". Journal of Applied Logic. 8 (2): 186. doi:10.1016/j.jal.2009.09.004. 
  9. ^ Shearer, Robert (2011). Scalable reasoning for description logics (DPhil thesis). University of Oxford. 
  10. ^ Simančik, František (2013). Consequence-based reasoning for ontology classification (DPhil thesis). University of Oxford. 
  11. ^ Simančík, F. E.; Motik, B.; Horrocks, I. (2014). "Consequence-based and fixed-parameter tractable reasoning in description logics". Artificial Intelligence. 209: 29. doi:10.1016/j.artint.2014.01.002. 
  12. ^ Horridge, Matthew (2003). Ontology Visualisation in OilEd (PDF) (MSc thesis). University of Manchester. [dead link]
  13. ^ Grosof, B. N.; Horrocks, I.; Volz, R.; Decker, S. (2003). "Description logic programs". Proceedings of the twelfth international conference on World Wide Web - WWW '03. p. 48. ISBN 1581136803. doi:10.1145/775152.775160. 
  14. ^ a b Professor Ian Horrocks, Roger Needham award winners, via the British Computer Society
  15. ^ a b c d Professor Ian Horrocks FRS at the Royal Society of London
  16. ^ http://www.cs.ox.ac.uk/people/ian.horrocks/ Ian Horrocks homepage at the University of Oxford
  17. ^ Ian Horrocks at DBLP Bibliography Server
  18. ^ List of publications from Microsoft Academic Search
  19. ^ Horrocks, I.; Patel-Schneider, Peter; van Harmelen, Frank (2003). "From SHIQ and RDF to OWL: The making of a Web Ontology Language" (PDF). Web Semantics: Science, Services and Agents on the World Wide Web. 1: 7–26. doi:10.1016/j.websem.2003.07.001. 
  20. ^ Ian Horrocks's publications indexed by the Scopus bibliographic database, a service provided by Elsevier. (subscription required)
  21. ^ Ian Horrocks author profile page at the ACM Digital Library
  22. ^ Atzenbeck, C. (2009). "Interview with Ian Horrocks". ACM SIGWEB Newsletter: 1. doi:10.1145/1592394.1592396. 
  23. ^ Horrocks, Ian Robert (1995). A comparison of two terminological knowledge representation systems (MSc thesis). University of Manchester. Archived from the original on 2012-12-23. 
  24. ^ Horrocks, Ian Robert (1997). Optimising tableaux decision procedures for description logics (PDF) (PhD thesis). University of Manchester. 
  25. ^ Tsarkov, D.; Horrocks, I. (2006). "FaCT++ Description Logic Reasoner: System Description". Automated Reasoning (PDF). Lecture Notes in Computer Science. 4130. pp. 292–297. ISBN 978-3-540-37187-8. doi:10.1007/11814771_26. 
  26. ^ "HermiT Reasoner: Home". Retrieved 2 July 2011. 
  27. ^ B. Motik, R. Shearer and I. Horrocks (2009). "Hypertableau Reasoning for Description Logics" (PDF). Journal of Artificial Intelligence Research. 36: 165–228. doi:10.1613/jair.2811. 
  28. ^ Motik, B.; Cuenca Grau, B.; Sattler, U. (2008). "Structured objects in owl: representation and reasoning". Proceeding of the 17th international conference on World Wide Web - WWW '08 (PDF). p. 555. ISBN 9781605580852. doi:10.1145/1367497.1367573. 
  29. ^ Sirin, E.; Parsia, B.; Grau, B. C.; Kalyanpur, A.; Katz, Y. (2007). "Pellet: A practical OWL-DL reasoner" (PDF). Web Semantics: Science, Services and Agents on the World Wide Web. 5 (2): 51–53. doi:10.1016/j.websem.2007.03.004. Archived from the original (PDF) on 2007-06-27. 
  30. ^ Golbreich, C.; Horridge, M.; Horrocks, I.; Motik, B.; Shearer, R. (2007). "OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences". The Semantic Web (PDF). Lecture Notes in Computer Science. 4825. pp. 169–182. ISBN 978-3-540-76297-3. doi:10.1007/978-3-540-76298-0_13. 
  31. ^ Ian Horrocks introduction on the www-webont-wg mailing list at the World Wide Web Consortium (W3C)
  32. ^ UK Government research grants awarded to Ian Horrocks, via Research Councils UK
  33. ^ Ian Horrocks appointed editor in chief of the Journal of Web Semantics, 2012-07-01