Experience building a large, re-usable medical ontology using a description logic with transitivity and concept inclusions (1997)

by Alan L. Rector , Ian R. Horrocks
Venue:In Proc. of the Workshop on Ontological Engineering
Citations:49 - 10 self

Documents Related by Co-Citation

251 Using an Expressive Description Logic: FaCT or Fiction? – Ian R. Horrocks - 1998
53 Managing clinical terminology hierarchies using algorithmic calculation of subsumption: Experience with snomed-rt – K Spackman - 2000
373 RACER system description – Volker Haarslev, Ralf Möller - 2001
257 A Correspondence Theory for Terminological Logics: Preliminary Report – Klaus Schild - 1991
468 From SHIQ and RDF to OWL: The Making of a Web Ontology Language – Ian Horrocks, Peter F. Patel-Schneider, Frank Van Harmelen - 2003
289 Pushing the EL envelope – Franz Baader, Sebastian Brand, Carsten Lutz - 2005
140 An Empirical Analysis of Optimization Techniques for Terminological Representation Systems - or: Making KRIS get a move on – Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich, Enrico Franconi - 1992
48 A Concept Language Extended With Different Kinds of Transitive Roles – Ulrike Sattler, Ulrike Sattler - 1996
156 Practical reasoning for very expressive description logics – Ian Horrocks - 2000
33 The systematized nomenclature of human and veterinary medicine – R Cote, D Rothwell, J Palotay, R Beckett, L Brochu - 1993
39 Polynomial time reasoning in a description logic with existential restrictions – Sebastian Brandt
147 Terminological Reasoning is Inherently Intractable – Bernhard Nebel - 1990
52 Implementing and Testing Expressive Description Logics: a Preliminary Report – Paolo Bresciani, Enrico Franconi, Sergio Tessaris - 1995
85 TBox and ABox Reasoning in Expressive Description Logics – Giuseppe De Giacomo, Maurizio Lenzerini - 1996
87 The GRAIL concept modelling language for medical terminology – A L Rector, S Bechhofer, C A Goble, I Horrocks, W A Nowlan, W D Solomon - 1997
231 The Complexity of Concept Languages – F. M. Donini, M. Lenzerini, D. Nardi, W. Nutt - 1995
123 Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles – Franz Baader, Michael Hefert, Parsen Generieren, Jirgen Miller, Donald Steiner (hrsg, Kooperierende Agenten, Martin Buchheit, Klassische Kommunikations, Enno Tolzmann, Martin Harm, Knut Hinkelmann, Thomas Labisch, Klaus-peter Gores, Rainer Bleisinger, Ein Modell, Thom Frihwirth Terminglogical, Stephan Busemann - 1990
310 Practical Reasoning for Expressive Description Logics – Ian Horrocks, Ulrike Sattler, Stephan Tobies - 1999
159 Description logic framework for information integration – Diego Calvanese, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati - 1998