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[10]
Known for
Notable awards
Website
www.cs.ox.ac.uk/ian.horrocks

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

Education[edit]

Horrocks completed his Bachelor of Science, Master of Science (1995)[21] and Doctor of Philosophy (1997)[22] 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++,[23] HermiT[24][25][26] and Pellet.[27]

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

His research is partly funded by the Engineering and Physical Sciences Research Council[30]

Academic Service[edit]

Horrocks is the current Editor-in-chief of the Journal of Web Semantics[31] 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 2012[13] and the BCS Roger Needham award in 2005.[12]

References[edit]

  1. ^ "HORROCKS, Prof. Ian Robert". Who's Who 2013, A & C Black, an imprint of Bloomsbury Publishing plc, 2013; online edn, Oxford University Press. (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. ^ Pan, Jeff Z. (2004). Description Logics: Reasoning Support for the Semantic Web (PhD thesis). University of Manchester. 
  6. ^ Pérez-Urbina, Héctor (2010). Tractable Query Answering for Description Logics via Query Rewriting (DPhil thesis). University of Oxford. 
  7. ^ Shearer, Robert (2011). Scalable reasoning for description logics (DPhil thesis). University of Oxford. 
  8. ^ Simančik, František (2013). Consequence-based reasoning for ontology classification (DPhil thesis). University of Oxford. 
  9. ^ 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. 
  10. ^ Horridge, Matthew (2003). Ontology Visualisation in OilEd (MSc thesis). University of Manchester. [dead link]
  11. ^ 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. 
  12. ^ a b http://academy.bcs.org/content/roger-needham-lecture Professor Ian Horrocks, Roger Needham award winners
  13. ^ a b c d http://royalsociety.org/people/ian-horrocks/ Professor Ian Horrocks FRS at the Royal Society
  14. ^ http://www.cs.ox.ac.uk/people/ian.horrocks/ Ian Horrocks homepage at the University of Oxford
  15. ^ List of publications from the DBLP Bibliography Server
  16. ^ List of publications from Microsoft Academic Search
  17. ^ 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. 
  18. ^ Ian Horrocks from the Scopus bibliographic database
  19. ^ Ian Horrocks from the ACM Portal
  20. ^ Atzenbeck, C. (2009). "Interview with Ian Horrocks". ACM SIGWEB Newsletter: 1. doi:10.1145/1592394.1592396. 
  21. ^ Horrocks, Ian Robert (1995). A comparison of two terminological knowledge representation systems (MSc thesis). University of Manchester. [dead link]
  22. ^ Horrocks, Ian Robert (1997). Optimising tableaux decision procedures for description logics (PhD thesis). University of Manchester. 
  23. ^ 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. 
  24. ^ "HermiT Reasoner: Home". Retrieved 2 July 2011. 
  25. ^ 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. 
  26. ^ 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. 
  27. ^ 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. 
  28. ^ 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. 
  29. ^ Ian Horrocks introduction on the www-webont-wg mailing list at the World Wide Web Consortium (W3C)
  30. ^ Grants awarded to Ian Horrocks by the UK Engineering and Physical Sciences Research Council
  31. ^ http://journalofwebsemantics.blogspot.co.uk/2012/07/ian-horrocks-appointed-editor-in-chief.html Ian Horrocks appointed editor in chief of the Journal of Web Semantics