Active Bibliography

6 Closed Terminologies and Temporal Reasoning in Description Logic for Concept and Plan Recognition – Robert Anthony Weida - 1996
41 An Empirical Analysis of Terminological Representation Systems – Jochen Heinsohn, Daniel Kudenko, Bernhard Nebel, Hans-Jürgen Profitlich - 1994
11 Terminological Reasoning and Information Management – Bernhard Nebel, Christof Peltason - 1991
30 Artificial Intelligence: A Computational Perspective – Bernhard Nebel - 1994
1 Facility Design and Construction Integration through Cooperative Network Information Communications – Taha Khedro
4 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
171 Decidable reasoning in terminological knowledge representation systems – Martin Buchheit - 1993
17 On the Relationship between Description Logic and Predicate Logic Queries – Alex Borgida - 1994
40 "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
4 Description Logics: Foundations for Class-based Knowledge Representation – Diego Calvanese, Maurizio Lenzerini - 2002
18 Boosting the correspondence between description logics and propositional dynamic logics – Maurizio Lenzerini - 1994
16 Description logics with inverse roles, functional restrictions, and n-ary relations – Maurizio Lenzerini - 1994
79 On the Correspondence between Description Logics and Logics of Programs – Giuseppe De Giacomo, Maurizio Lenzerini - 1994
224 Basic Description Logics – Franz Baader, Werner Nutt - 2003
70 Reasoning with Individuals in Concept Languages – Andrea Schaerf - 1994
195 Ontolingua: A Mechanism to Support Portable Ontologies – Thomas R. Gruber - 1992
1103 Toward Principles for the Design of Ontologies Used for Knowledge Sharing – Thomas R. Gruber - 1993