Information Systems Group

― Knowledge Representation and Reasoning

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 ]

Name

Ian Horrocks

Posts

Professor of Computer Science, Fellow of Oriel College

Projects

ConDOR, REOL, REQUIEM, HermiT

Contact Information

+44 (0)1865 273939

Room 304
Wolfson Building
Parks Road
Oxford OX1 3QD

Links

HermiT reasoner

News

OWL Reasoner Evaluation Workshop (ORE 2012)

The KRR group co-organises the OWL Reasoner Evaluation Workshop (ORE) as a satellite event of the IJCAR 2012 conference and will be held on July 1, 2012 in Manchester (UK).

Exploiting Large Knowledge Repositories Workshop (E-LKR 2012)

The KRR group organises the 2nd International Workshop on Exploiting Large Knowledge Repositories (E-LKR). In conjunction with SEPLN 2012 conference. E-LKR will be held on September 7, 2012 in Castellon, Spain..

OAEI 2011.5: Matching Large Biomedical Ontologies

The KRR group organises the Matching Large Biomedical Ontologies track within the Ontology Alignment Evaluation Initiative.

Information Systems Group awarded £700k EPSRC project

The Information Systems Group has been awarded £700k by the EPSRC to fund research into ontology-based data access in the ExODA project.

OWL 2 becomes a W3C Proposed Recommendation

The OWL 2 specification developed by the W3C's OWL Working Group, chaired by Oxford professor Ian Horrocks, has become a W3C Proposed Recommendation.