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
Known for
Awards
Website cs.ox.ac.uk/ian.horrocks
Scientific career
Fields
Institutions
Thesis Optimising tableaux decision procedures for description logics (1997)

Ian Robert Horrocks FRS[4] is a Professor of Computer Science at the University of Oxford in the UK and a Fellow of Oriel College, Oxford.[6] His research[5][7][8] focuses on knowledge representation and reasoning, particularly ontology languages,[9] description logic and optimised tableaux decision procedures.[10][11][12]

Education[edit]

Horrocks completed his Bachelor of Science, Master of Science (1995)[13] and Doctor of Philosophy (1997)[14] 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++,[15] HermiT[16][17][18] and Pellet.[19]

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

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

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

References[edit]

  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.  closed access publication – behind paywall (subscription required)
  2. ^ 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. 
  3. ^ a b Professor Ian Horrocks, Roger Needham award winners, via the British Computer Society
  4. ^ a b c d Professor Ian Horrocks FRS at the Royal Society of London
  5. ^ a b Ian Horrocks publications indexed by Google Scholar
  6. ^ http://www.cs.ox.ac.uk/people/ian.horrocks/ Ian Horrocks homepage at the University of Oxford
  7. ^ Ian Horrocks at DBLP Bibliography Server
  8. ^ List of publications from Microsoft Academic Search
  9. ^ 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. 
  10. ^ Ian Horrocks's publications indexed by the Scopus bibliographic database, a service provided by Elsevier. (subscription required)
  11. ^ Ian Horrocks author profile page at the ACM Digital Library
  12. ^ Atzenbeck, C. (2009). "Interview with Ian Horrocks". ACM SIGWEB Newsletter: 1. doi:10.1145/1592394.1592396. 
  13. ^ 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. 
  14. ^ Horrocks, Ian Robert (1997). Optimising tableaux decision procedures for description logics (PDF) (PhD thesis). University of Manchester. 
  15. ^ Tsarkov, D.; Horrocks, I. (2006). "FaCT++ Description Logic Reasoner: System Description". Automated Reasoning (PDF). Lecture Notes in Computer Science. 4130. pp. 292–297. doi:10.1007/11814771_26. ISBN 978-3-540-37187-8. 
  16. ^ "HermiT Reasoner: Home". Retrieved 2 July 2011. 
  17. ^ 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. 
  18. ^ Motik, B.; Cuenca Grau, B.; Sattler, U. (2008). "Structured objects in owl: representation and reasoning". Proceedings of the 17th international conference on World Wide Web - WWW '08 (PDF). p. 555. doi:10.1145/1367497.1367573. ISBN 9781605580852. 
  19. ^ 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 27 June 2007. 
  20. ^ 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. doi:10.1007/978-3-540-76298-0_13. ISBN 978-3-540-76297-3. 
  21. ^ Ian Horrocks introduction on the www-webont-wg mailing list at the World Wide Web Consortium (W3C)
  22. ^ UK Government research grants awarded to Ian Horrocks, via Research Councils UK
  23. ^ Ian Horrocks appointed editor in chief of the Journal of Web Semantics, 1 July 2012