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
Contact Information
+44 (0)1865 273939
Room 304
Wolfson Building
Parks Road
Oxford OX1 3QD
Links
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.