Active Bibliography

6 Closed Terminologies and Temporal Reasoning in Description Logic for Concept and Plan Recognition – Robert Anthony Weida - 1996
11 Terminological Reasoning and Information Management – Bernhard Nebel, Christof Peltason - 1991
44 An Empirical Analysis of Terminological Representation Systems – Jochen Heinsohn, Daniel Kudenko, Bernhard Nebel, Hans-J├╝rgen Profitlich - 1994
31 Artificial Intelligence: A Computational Perspective – Bernhard Nebel - 1994
1 Facility Design and Construction Integration through Cooperative Network Information Communications – Taha Khedro
5 Facilitators: A Networked Computing Infrastructure for Distributed Software Interoperation – Taha Khedro, Michael R. Genesereth - 1995
15 The F-Logic Approach for Description Languages – Mira Balaban - 1993
187 Decidable reasoning in terminological knowledge representation systems – Martin Buchheit - 1993
18 On the Relationship between Description Logic and Predicate Logic Queries – Alex Borgida - 1994
46 "Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality – Ronald J. Brachman, Alex Borgida, Deborah L. McGuinness, Peter F. Patel-Schneider - 1992
3 Capability Representations for Brokering: A Survey – Gerhard Wickler, Austin Tate - 1999
20 Boosting the correspondence between description logics and propositional dynamic logics – Maurizio Lenzerini - 1994
275 Basic Description Logics – Franz Baader, Werner Nutt - 2003
4 Description Logics: Foundations for Class-based Knowledge Representation – Diego Calvanese, Maurizio Lenzerini - 2002
16 Description logics with inverse roles, functional restrictions, and n-ary relations – Maurizio Lenzerini - 1994
90 On the Correspondence between Description Logics and Logics of Programs – Giuseppe De Giacomo, Maurizio Lenzerini - 1994
71 Reasoning with Individuals in Concept Languages – Andrea Schaerf - 1994
2218 A translation approach to portable ontology specifications – Thomas R. Gruber - 1993
1340 Toward Principles for the Design of Ontologies Used for Knowledge Sharing – Thomas R. Gruber - 1993