Ian Horrocks
| Professor Ian Horrocks | |
|---|---|
 Ian Horrocks |
|
| Nationality | British |
| Institutions | University of Oxford |
| Alma mater | University of Manchester |
| Academic advisors | Alan Rector |
| Doctoral students | Birte Glimm, Despoina Magka, Héctor Pérez-Urbina, Rob Shearer, Frantisek Simancik, Ana Armas, Yujiao Zhou, Giorgio Stefanoni |
| Other notable students | Matthew Horridge |
| Known for | Knowledge representation, automated reasoning, Description Logic, Ontology languages |
| Notable awards | British Computer Society Roger Needham award[1], Fellow of the Royal Society, FRS |
Ian Horrocks (FRS)[2] is a Professor of Computer Science at the University of Oxford in the UK and a Fellow of Oriel College, Oxford [3]. His research[4] focuses on knowledge representation, particularly ontology languages [5], description logic, and optimised reasoning algorithms.
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++[6], HermiT[7][8][9] and Pellet[10].
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[11] Consortium, the National Cancer Institute in America, the United Nations Food and Agriculture Organization the World Wide Web Consortium, and a range of major corporations and government agencies[citation needed].
[edit] References
- ^ http://www.bcs.org/content/conWebDoc/2689 Professor Ian Horrocks, Roger Needham award winners
- ^ http://royalsociety.org/people/ian-horrocks/ Professor Ian Horrocks FRS at the Royal Society
- ^ http://web.comlab.ox.ac.uk/oucl/work/ian.horrocks/ Ian Horrocks homepage at the University of Oxford
- ^ http://scholar.google.com/scholar?q=ian+horrocks Ian Horrocks in Google Scholar
- ^ Horrocks, I. (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. http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/2003/HoPH03a.pdf.
- ^ 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. http://www.cs.ox.ac.uk/ian.horrocks/Publications/download/2006/TsHo06a.pdf.
- ^ "HermiT Reasoner: Home". http://hermit-reasoner.com/. Retrieved 2nd July 2011.
- ^ 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. http://www.hermit-reasoner.com/publications/msh08hypertableau-journal.pdf.
- ^ 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. pp. 555. doi:10.1145/1367497.1367573. ISBN 9781605580852. http://www2008.org/papers/pdf/p555-motikA.pdf.
- ^ Sirin, E.; Parsia, B.; Grau, B.; 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. http://pellet.owldl.com/papers/sirin05pellet.pdf.
- ^ 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. http://www.cs.ox.ac.uk/people/ian.horrocks/Publications/download/2007/GHHMS07.pdf.
[edit] External links
- Ian Horrocks introduction on the www-webont-wg mailing list at the World Wide Web Consortium (W3C)
- Peer reviewed publications by Ian Horrocks from DBLP
- Grants awarded to Ian Horrocks by the UK Engineering and Physical Sciences Research Council
- Ian Horrocks on semanticweb.org
 |
This biography article of a United Kingdom academic is a stub. You can help Wikipedia by expanding it. |
