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
OWL rules: A proposal and prototype implementation
TL;DR: The Semantic Web Rule Language (SWRL), a Horn clause rules extension to OWL that overcomes many of these limitations, is presented and the ontology consistency problem is undecidable.
Book ChapterDOI
The FaCT System
TL;DR: FaCT is a Description Logic classifier which has been implemented as a test-bed for a highly optimised tableaux satisfiability (subsumption) testing algorithm.
Journal ArticleDOI
OWL-QL-a language for deductive query answering on the Semantic Web
TL;DR: The OWL query language (OWL-QL) is presented as a candidate standard language and protocol for query-answering dialogues among Semantic Web computational agents using knowledge represented in the W3Cs ontology web language ( OWL).
Journal ArticleDOI
The GRAIL concept modelling language for medical terminology
TL;DR: GRAIL as mentioned in this paper is a description logic or frame language with novel features to support part-whole and other transitive relations and to support the GALEN modelling style aimed at re-use and application independence.