|
229
|
Using an Expressive Description Logic: FaCT or Fiction?
– Ian R. Horrocks
- 1998
|
|
322
|
RACER system description
– Volker Haarslev, Ralf Möller
- 2001
|
|
45
|
Managing clinical terminology hierarchies using algorithmic calculation of subsumption: Experience with SNOMED-RT
– K Spackman
|
|
235
|
A Correspondence Theory for Terminological Logics: Preliminary Report
– Klaus Schild
- 1991
|
|
395
|
From SHIQ and RDF to OWL: The Making of a Web Ontology Language
– Ian Horrocks, Peter F. Patel-Schneider, Frank Van Harmelen
- 2003
|
|
137
|
Practical reasoning for very expressive description logics
– Ian Horrocks
- 2000
|
|
43
|
A Concept Language Extended With Different Kinds of Transitive Roles
– Ulrike Sattler, Ulrike Sattler
- 1996
|
|
76
|
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
|
|
113
|
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
|
|
170
|
Pushing the EL envelope
– Franz Baader, Sebastian Brand, Carsten Lutz
- 2005
|
|
48
|
Implementing and Testing Expressive Description Logics: a Preliminary Report
– Paolo Bresciani, Enrico Franconi, Sergio Tessaris
- 1995
|
|
79
|
TBox and ABox Reasoning in Expressive Description Logics
– Giuseppe De Giacomo, Maurizio Lenzerini
- 1996
|
|
219
|
The Complexity of Concept Languages
– Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt
- 1991
|
|
129
|
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
|
|
279
|
Practical Reasoning for Expressive Description Logics
– Ian Horrocks, Ulrike Sattler, Stephan Tobies
- 1999
|
|
151
|
Description logic framework for information integration
– Diego Calvanese, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati
- 1998
|
|
28
|
The systematized nomenclature of human and veterinary medicine
– R Cote, D Rothwell, J Palotay, R Beckett, L Brochu
- 1993
|
|
28
|
Polynomial Time Reasoning in a Description Logic with Existential Restrictions, GCI Axioms, and-What Else
– S Brandt
- 2004
|
|
106
|
Optimising tableaux decision procedures for description logics
– I Horrocks
- 1997
|
