|
279
|
Practical Reasoning for Expressive Description Logics
– Ian Horrocks, Ulrike Sattler, Stephan Tobies
- 1999
|
|
322
|
RACER system description
– Volker Haarslev, Ralf Möller
- 2001
|
|
171
|
Decidable reasoning in terminological knowledge representation systems
– Martin Buchheit
- 1993
|
|
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
|
|
219
|
The Complexity of Concept Languages
– Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt
- 1991
|
|
167
|
The tractability of subsumption in frame-based description languages
– Ronald J Brachman, Hector J Levesque
- 1984
|
|
137
|
Attributive Concept Descriptions with Complements
– M Schmidt-Schauß, G Smolka
- 1991
|
|
235
|
A Correspondence Theory for Terminological Logics: Preliminary Report
– Klaus Schild
- 1991
|
|
243
|
A Scheme for Integrating Concrete Domains into Concept Languages
– Franz Baader, Philipp Hanschke
- 1991
|
|
79
|
TBox and ABox Reasoning in Expressive Description Logics
– Giuseppe De Giacomo, Maurizio Lenzerini
- 1996
|
|
106
|
A description logic with transitive and inverse roles and role hierarchies
– Ian Horrocks, Ulrike Sattler
- 1998
|
|
1388
|
Agents and the Semantic Web
– James Hendler
- 2001
|
|
395
|
From SHIQ and RDF to OWL: The Making of a Web Ontology Language
– Ian Horrocks, Peter F. Patel-Schneider, Frank Van Harmelen
- 2003
|
|
57
|
Cardinality Restrictions on Concepts
– Franz Baader, Martin Buchheit, Bernhard Hollunder
- 1993
|
|
38
|
On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations
– Franz Baader, Hans-Jürgen Bürckert, Bernhard Nebel, Werner Nutt, Gert Smolka
- 1993
|
|
48
|
Implementing and Testing Expressive Description Logics: a Preliminary Report
– Paolo Bresciani, Enrico Franconi, Sergio Tessaris
- 1995
|
|
136
|
Terminological Reasoning is Inherently Intractable
– Bernhard Nebel
- 1990
|
|
39
|
Using Automata Theory for Characterizing the Semantics of Terminological Cycles
– Franz Baader
- 1996
|
|
222
|
On the Decidability of Query Containment under Constraints
– Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
- 1998
|
