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
Journal ArticleDOI
A novel approach to ontology classification
TL;DR: It is shown that property classification can be reduced to class classification, which allows us to classify properties using the authors' optimised algorithm, and the results of the performance evaluation show significant performance improvements on several well-known ontologies.
Journal ArticleDOI
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.
Journal ArticleDOI
Logic−based Assessment of the Compatibility of UMLS Ontology Sources
TL;DR: It is argued that UMLS-Meta’s current design and auditing methodologies could be significantly enhanced by taking into account the logic-based semantics of the ontology sources, and techniques presented here can be useful for both reducing human effort in the design and maintenance of UMLs-Meta and improving the quality of its contents.
Book ChapterDOI
OWL: a description logic based ontology language (extended abstract)
TL;DR: DLs are a family of class (concept) based knowledge representation formalisms characterised by the use of various constructors to build complex concepts from simpler ones, an emphasis on the decidability of key reasoning tasks, and by the provision of sound, complete and (empirically) tractable reasoning services.
Book ChapterDOI
OWL: a description logic based ontology language
TL;DR: This work presents a version of the CCP paradigm, which is both distributed and probabilistic, and enhances the language with the capability of performing an automatic remote synchronization of variables belonging to different constraint stores.