OXFORD UNIVERSITY COMPUTING LABORATORY

Ian Horrocks

Personal photo - Ian Horrocks

Professor Ian Horrocks

Professor of Computer Science
Fellow, Oriel College

ian.horrocks@comlab.ox.ac.uk
+44 1865 273939
+44 1865 273839 (fax)

Wolfson Building, Parks Road, Oxford OX1 3QD

interests

My research interests include knowledge representation, ontologies and ontology languages, modal and description logics, automated reasoning, implementation and optimisation of reasoning systems, and applications in areas such as e-Science and the Semantic Web.

publications

Complete  |  Selected  |  Recent  |  Most-cited

links

International Workshop on Description Logics (DL2009)
Presentations
Projects
HermiT Reasoner

info

themes

activities

projects

students

recent news

Studentships Fully Funded D.Phil Studentship Knowledge Representation and Reasoning Group

Vacancies Grade 7 Research Assistant on the HermiT Project The Computing Laboratory has a vacancy for a postdoctoral research assistant to work in the area of logic based knowledge representation and reasoning. The post is funded by EPSRC as part of the HermiT project, and is available immediately until May 2011

Random Image
Random Image
Random Image