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 Article
Automated benchmarking of description logic reasoners
TL;DR: Testing for expressive DLs implemented in state-of-the-art systems has high worst case complexity, so it is necessary to test the performance of these systems with (the widest possible range of) ontologies derived from applications to check the correctness of implementations.
Journal ArticleDOI
RDFS(FA): Connecting RDF(S) and OWL DL
Jeff Z. Pan,Ian Horrocks +1 more
TL;DR: A novel modification of RDF(S) is proposed as a firm semantic foundation for many of the latest description logics-based SW ontology languages, including OWL DL and the bidirectional one-to-one mapping between RDFS(FA) axioms in strata 0-2 and OWLDL axiomatic has been established, which enables RDFs(FA)-agents and OWl DL-agents to communicate with each other more easily.
Book ChapterDOI
Framework for an automated comparison of description logic reasoners
TL;DR: In this article, the authors present a system that allows users to test and compare OWL reasoners using an extensible library of real-life ontologies, and to check the correctness of the reasoners by comparing the computed class hierarchy.
Book ChapterDOI
Capturing Industrial Information Models with Ontologies and Constraints
Evgeny Kharlamov,Bernardo Cuenca Grau,Ernesto Jiménez-Ruiz,Steffen Lamparter,Gulnar Mehdi,Martin Ringsquandl,Yavor Nenov,Stephan Grimm,Mikhail Roshchin,Ian Horrocks +9 more
TL;DR: SOMM is presented—a tool that supports engineers with little background on semantic technologies in the creation of ontology-based models and in populating them with data and it comes with support for schema and data reasoning, as well as for model integration.
Proceedings ArticleDOI
Position paper: a comparison of two modelling paradigms in the Semantic Web
TL;DR: It is argued that, although some of the characteristics of Datalog have their utility, the open environment of the Semantic Web is better served by standard logics.