|
171
|
Decidable reasoning in terminological knowledge representation systems
– Martin Buchheit
- 1993
|
|
160
|
Tableau Algorithms for Description Logics
– Franz Baader, Ulrike Sattler
- 2000
|
|
93
|
A Terminological Knowledge Representation System with Complete Inference Algorithms
– Franz Baader, Bernhard Hollunder
- 1991
|
|
16
|
A Refined Architecture for Terminological Systems: Terminology = Schema + Views
– M. Buchheit , F. M. Donini , W. Nutt , A. Schaerf
- 1998
|
|
224
|
Basic Description Logics
– Franz Baader, Werner Nutt
- 2003
|
|
243
|
A Scheme for Integrating Concrete Domains into Concept Languages
– Franz Baader, Philipp Hanschke
- 1991
|
|
11
|
Terminological Reasoning and Information Management
– Bernhard Nebel, Christof Peltason
- 1991
|
|
16
|
Description logics with inverse roles, functional restrictions, and n-ary relations
– Maurizio Lenzerini
- 1994
|
|
1
|
Compositional Semantics for Description Knowledge Bases with Rules
– Mira Balaban
- 1996
|
|
4
|
Description Logics: Foundations for Class-based Knowledge Representation
– Diego Calvanese, Maurizio Lenzerini
- 2002
|
|
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
|
|
174
|
Description Logics in Data Management
– Alexander Borgida
- 1995
|
|
68
|
Adding Epistemic Operators to Concept Languages
– Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf, Werner Nutt
- 1992
|
|
79
|
On the Correspondence between Description Logics and Logics of Programs
– Giuseppe De Giacomo, Maurizio Lenzerini
- 1994
|
|
30
|
Artificial Intelligence: A Computational Perspective
– Bernhard Nebel
- 1994
|
|
15
|
The F-Logic Approach for Description Languages
– Mira Balaban
- 1993
|
|
6
|
Closed Terminologies and Temporal Reasoning in Description Logic for Concept and Plan Recognition
– Robert Anthony Weida
- 1996
|
|
1
|
Towards an Efficient Description Logics System With Individuals
– Sergio Tessaris, Supervisors Graham Gough, Carole Goble, Advisor David Rydeheard
- 1998
|
|
22
|
Logic-based Knowledge Representation
– Franz Baader
- 1996
|
