Information Systems Group

Ian Horrocks

Professor of Computer Science and Fellow of Oriel College

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.

Recent Publications

Boris Motik, Rob Shearer, and Ian Horrocks. Hypertableau Reasoning for Description Logics. J. of Artificial Intelligence Research, 2009. To appear.
[ bib | .pdf ]

Héctor Pérez-Urbina, Ian Horrocks, and Boris Motik. Efficient Query Answering for OWL 2. In Proc. of the 8th International Semantic Web Conference (ISWC 2009), 2009. To appear.
[ bib | .pdf ]

Rob Shearer and Ian Horrocks. Exploiting Partial Information in Taxonomy Construction. In Proc. of the 8th International Semantic Web Conference (ISWC 2009), 2009. To appear.
[ bib | .pdf ]

Héctor Pérez-Urbina, Boris Motik, and Ian Horrocks. Tractable Query Answering and Rewriting under Description Logic Constraints. J. of Applied Logic, 2009. To appear.
[ bib | .pdf ]