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
Proceedings ArticleDOI
Correcting Knowledge Base Assertions
TL;DR: A general correction framework is presented which combines lexical matching, semantic embedding, soft constraint mining and semantic consistency checking, and is evaluated using DBpedia and an enterprise medical KB.
MORe: a Modular OWL Reasoner for Ontology Classification.
TL;DR: MORe exploits module extraction techniques to divide the workload of ontology classification between two reasoners: a reasoner for the lightweight profile EL of OWL 2, and a fully fledged OWL 1 EL reasoner.
Posted Content
Description Logic Programs: Combining Logic Programs with Description Logic
TL;DR: In this paper, the authors propose a new intermediate knowledge representation (KR) contained within this intersection: Description Logic Programs (DLP) and the closely related Description Horn Logic (DHL) which is an expressive fragment of first-order logic (FOL).
Proceedings Article
Driving User Interfaces from FaCT
Sean Bechhofer,Ian Horrocks +1 more
TL;DR: A mechanism that can be used to drive interfaces from a description logic (DL) model of the domain, with the interface behaviour described using a collection of application specific assertions.