Living with CLASSIC: When and How to Use a KL-ONE-Like Language (1991)

Cached

Download Links

by Ronald J. Brachman , Deborah L. McGuinness , Peter F. Patel-Schneider , Lori A. Resnick , Lori Alperin Resnick , Alexander Borgida
Venue:Principles of Semantic Networks
Citations:221 - 17 self

Documents Related by Co-Citation

185 Decidable reasoning in terminological knowledge representation systems – - 1993
102 Terminological cycles: Semantics and computational properties – - 1991
228 The Complexity of Concept Languages – - 1995
161 A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic – - 1994
147 Attributive concept descriptions with complements – - 1991
255 A Correspondence Theory for Terminological Logics: Preliminary Report – - 1991
346 CLASSIC: A Structural Data Model for Objects – - 1989
95 A Terminological Knowledge Representation System with Complete Inference Algorithms – - 1991
123 Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles – - 1990
177 The evolving technology of classification-based knowledge representation systems – - 1991
147 Terminological Reasoning is Inherently Intractable – - 1990
49 Terminological Knowledge Representation: A Proposal for a Terminological Logic – - 1992
582 An overview of the KL-ONE knowledge representation system – - 1985
89 Computing Least Common Subsumers in Description Logics – - 1992
49 The Complexity of Existential Quantification in Concept Languages – - 1992
51 Implementing and Testing Expressive Description Logics: a Preliminary Report – - 1995
140 An Empirical Analysis of Optimization Techniques for Terminological Representation Systems - or: Making KRIS get a move on – - 1992
180 H.J.: The tractability of subsumption in frame-based description languages – - 1984
251 Using an Expressive Description Logic: FaCT or Fiction? – - 1998