|
155
|
A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic
– Alex Borgida, Peter F. Patel-Schneider
- 1994
|
|
16
|
Description Logics are not just for the Flightless-Birds: A New Look at the Utility and Foundations of Description Logics
– Alex Borgida
- 1992
|
|
15
|
The F-Logic Approach for Description Languages
– Mira Balaban
- 1993
|
|
40
|
"Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality
– Ronald J. Brachman, Alex Borgida, Deborah L. McGuinness, Peter F. Patel-Schneider
- 1992
|
|
174
|
Description Logics in Data Management
– Alexander Borgida
- 1995
|
|
6
|
Closed Terminologies and Temporal Reasoning in Description Logic for Concept and Plan Recognition
– Robert Anthony Weida
- 1996
|
|
2
|
Terminological Constraint Network Reasoning and its Application to Plan Recognition
– Robert Weida
- 1993
|
|
11
|
Terminological Reasoning and Information Management
– Bernhard Nebel, Christof Peltason
- 1991
|
|
41
|
Using a Description Classifier to Enhance Deductive Inference
– Robert M. Macgregor
- 1991
|
|
3
|
What is Hybrid in Hybrid Representation and Reasoning Systems?
– Bernhard Nebel
- 1989
|
|
47
|
Representation and reasoning with attributive descriptions
– Bernhard Nebel, Gert Smolka
- 1990
|
|
17
|
On the Relationship between Description Logic and Predicate Logic Queries
– Alex Borgida
- 1994
|
|
41
|
An Empirical Analysis of Terminological Representation Systems
– Jochen Heinsohn, Daniel Kudenko, Bernhard Nebel, Hans-Jürgen Profitlich
- 1994
|
|
61
|
Subsumption Algorithms for Concept Languages
– Bernhard Hollunder, Werner Nutt
- 1990
|
|
2
|
The F(rames)-Logic Approach for Description Languages II: A Hybrid Integration of Rules and Descriptions
– Mira Balaban
- 1994
|
|
93
|
A Terminological Knowledge Representation System with Complete Inference Algorithms
– Franz Baader, Bernhard Hollunder
- 1991
|
|
171
|
Decidable reasoning in terminological knowledge representation systems
– Martin Buchheit
- 1993
|
|
7
|
A Comparison Of Two Terminological Knowledge Representation Systems
– Ian R. Horrocks
- 1995
|
|
43
|
The Design Space of Frame Knowledge Representation Systems
– Peter D. Karp
- 1993
|
