Skip to main content

Ian Horrocks

Personal photo - Ian Horrocks

Professor Ian Horrocks FRS

Professor of Computer Science

T: +44 1865 273939
T: +44 1865 610692
F: +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.


A complete list of my publications, along with downloadable pdfs. Lists of selected, recent, and most-cited publications are also available. If you are a glutton for punishment you could also look at my Google Citations profile, or my DBLP entry.


Slides from selected keynotes, seminars, tutorials and other presentations.

Tools & Datasets

The group has developed many tools , including, e.g., HermiT , a highly optimised OWL 2 reasoner, ELK , a consequence based OWL 2 EL reasoner, PAGOdA , a pay-as-you-go OWL 2 query answering system, RDFox , a highly scalable RDF triple store, and SemFacet , a semantic faceted search system. We also maintain a library of ontologies and datasets .

Doctoral Study in Computer Science

Students working towards their D.Phil (PhD) are an integral part of the Information Systems Group, and make a vital contribution to our research. As a result of a generous donation from Google, we currently have a number of fully funded studentships available in addition to our usual range of studentships and other scholarships . See our studentships page for further details, and information about other funding opportunities .

Other Links

link DBOnto — an EPSRC platform grant.
link Projects
link New & Events
link Oxford Impacts

Selected Publications

View AllManage publications



Completed Projects

Current Students

Past Students