Ian Horrocks

From Wikipedia, the free encyclopedia
Jump to: navigation, search
For the British Royal Air Force helicopter pilot, see Ian Horrocks (RAF officer).
Ian Horrocks
Ian Horrocks mg 7439.jpg
Ian Horrocks
Born Ian Robert Horrocks
(1958-03-11) 11 March 1958 (age 56)[1]
Nationality British
Fields
Institutions
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
Website
www.cs.ox.ac.uk/ian.horrocks

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]

Education[edit]

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.

Research[edit]

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 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]

References[edit]

  1. ^ "HORROCKS, Prof. Ian Robert". Who's Who 2014. Who's Who (online edition via Oxford University Press ed.). A & C Black an imprint of Bloomsbury Publishing plc.  (subscription required)
  2. ^ a b List of publications from Google Scholar
  3. ^ Glimm, Birte (2007). Querying description logic knowledge bases (PhD thesis). University of Manchester. 
  4. ^ Lee, Lei (2006). Instance store II: reasoning about large numbers of related individuals (PhD thesis). University of Manchester. [dead link]
  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 (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 (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. doi:10.1145/775152.775160. ISBN 1581136803. 
  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. ^ List of publications from the 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". 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 from the Scopus bibliographic database.
  21. ^ Ian Horrocks from the ACM Portal
  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. [dead link]
  24. ^ Horrocks, Ian Robert (1997). Optimising tableaux decision procedures for description logics (PhD thesis). University of Manchester. 
  25. ^ Tsarkov, D.; Horrocks, I. (2006). "FaCT++ Description Logic Reasoner: System Description". "Automated Reasoning". Lecture Notes in Computer Science 4130. pp. 292–297. doi:10.1007/11814771_26. ISBN 978-3-540-37187-8. 
  26. ^ "HermiT Reasoner: Home". Retrieved 2 July 2011. 
  27. ^ B. Motik, R. Shearer and I. Horrocks (2009). "Hypertableau Reasoning for Description Logics". 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". p. 555. doi:10.1145/1367497.1367573. ISBN 9781605580852. 
  29. ^ Sirin, E.; Parsia, B.; Grau, B. C.; Kalyanpur, A.; Katz, Y. (2007). "Pellet: A practical OWL-DL reasoner". Web Semantics: Science, Services and Agents on the World Wide Web 5 (2): 51–53. doi:10.1016/j.websem.2007.03.004. 
  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". Lecture Notes in Computer Science 4825. pp. 169–182. doi:10.1007/978-3-540-76298-0_13. ISBN 978-3-540-76297-3. 
  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