Ian Horrocks

Professor Ian Horrocks FRS

Professor of Computer Science

Fellow, Oriel College

ian.horrocks@cs.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

A complete list of my publications, along with downloadable pdfs. Lists of selected, recent, and most-cited publications are also available.

Presentations

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

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. See our studentships page for further details, including information about funding.

Links

Projects
Tools
Events

Info

Themes	Information Systems
Activities	Knowledge Representation and Reasoning
Projects	ConDOR \| SEALS \| ExODA \| QueRe
Completed Projects	HermiT \|
Students	Ana Armas Despoina Magka Frantisek Simancik Giorgio Stefanoni Yujiao Zhou