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)

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.

Projects
Presentations

themes	Information Systems
activities	Knowledge Representation and Reasoning
projects	HermiT \| LOGO \| REOL \| RInO
students	Héctor Pérez-Urbina \| Rob Shearer

Wolfson Building, Parks Road, Oxford OX1 3QD