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
OWL 2 Web Ontology Language Conformance (Second Edition)
TL;DR: This document describes the conditions that OWL 2 tools must satisfy in order to be conformant with the language specification and proposes a common format for OWL 1 test cases that both illustrate the features of the language and can be used for testing conformance.
Proceedings Article
Representing structured objects using description graphs
TL;DR: This paper extends the formalism of ontology languages with description graphs by allowing for multiple graphs that can be combined in complex ways, thus obtaining a powerful language for modeling structured objects.
Posted Content
Practical Reasoning for Expressive Description Logics
TL;DR: In this article, the authors present an algorithm that decides satisfiability of the DL ALC extended with transitive and inverse roles, role hierarchies, and qualifying number restrictions, which is well suited for implementation.
Proceedings Article
Description Logics with Transitive Roles
Ian Horrocks,Graham Gough +1 more
TL;DR: The logic ALCHR+ is of interest because it provides useful additional expressive power and, although its satisfiability problem is Exptimecomplete, the algorithm is relatively simple and is amenable to optimisation.