I
Ian Horrocks
Researcher at University of Oxford
Publications - 488
Citations - 40046
Ian Horrocks is an academic researcher from University of Oxford. The author has contributed to research in topics: Ontology (information science) & Description logic. The author has an hindex of 87, co-authored 472 publications receiving 38785 citations. Previous affiliations of Ian Horrocks include The Turing Institute & National and Kapodistrian University of Athens.
Papers
More filters
The HermiT OWL Reasoner.
TL;DR: Tests show that HermiT performs well compared to existing tableau reasoners and is often much faster when classifying complex ontologies, including an optimized ontology classification procedure.
BookDOI
Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering
Jeff Z. Pan,Diego Calvanese,Thomas Eiter,Ian Horrocks,Michael Kifer,Fangzhen Lin,Yuting Zhao +6 more
Proceedings Article
Handling owl:sameAs via rewriting
TL;DR: This work investigates issues related to both the correctness and efficiency of rewriting, and presents an algorithm that guarantees correctness, improves efficiency, and can be effectively parallelised.
Proceedings ArticleDOI
Correcting Knowledge Base Assertions
TL;DR: The authors proposed a general correction framework which combines lexical matching, semantic embedding, soft constraint mining and semantic consistency checking to correct the presence of erroneous assertions in knowledge bases, often caused by lexical or semantic confusion.
Proceedings Article
The combined approach to query answering beyond the OWL 2 profiles
TL;DR: It is shown that CQ answering over RSA ontologies without role composition is feasible in NP, and this work focuses on RSA: a class of Horn ontologies that extends the profiles while ensuring tractability of standard reasoning.