Showing papers by "Ian Horrocks published in 1997"
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.
321 citations
01 Jan 1997
TL;DR: The European GALEN project is developing terminology services based on a large, re-usable medical ontology, being built using GRAIL, a description logic with transitivity and general concept inclusions.
Abstract: The European GALEN project is developing terminology services based on a large, re-usable medical ontology. The ontology is being built using GRAIL, a description logic with transitivity and general concept inclusions.
131 citations
Proceedings Article•
01 Jan 1997TL;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.
Abstract: This paper describes the logic ALCHR+ , which extends ALCR+ with a primitive role hierarchy, and presents an appropriate extension to the ALCR+ satisfiability testing algorithm. 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.
21 citations