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:223 - 18 self

Documents Related by Co-Citation

187 Decidable reasoning in terminological knowledge representation systems – Martin Buchheit - 1993
101 Terminological Cycles: Semantics and Computational Properties – B Nebel - 1991
231 The Complexity of Concept Languages – F. M. Donini, M. Lenzerini, D. Nardi, W. Nutt - 1995
161 A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic – Alex Borgida, Peter F. Patel-Schneider - 1994
148 Attributive concept descriptions with complements – Manfred Schmidt-Schau��, Gert Smolka - 1991
257 A Correspondence Theory for Terminological Logics: Preliminary Report – Klaus Schild - 1991
346 CLASSIC: A Structural Data Model for Objects – Alexander Borgida, Ronald J. Brachman, Deborah L. McGuinness, Lori Alperin Resnick - 1989
96 A Terminological Knowledge Representation System with Complete Inference Algorithms – Franz Baader, Bernhard Hollunder - 1991
123 Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles – Franz Baader, Michael Hefert, Parsen Generieren, Jirgen Miller, Donald Steiner (hrsg, Kooperierende Agenten, Martin Buchheit, Klassische Kommunikations, Enno Tolzmann, Martin Harm, Knut Hinkelmann, Thomas Labisch, Klaus-peter Gores, Rainer Bleisinger, Ein Modell, Thom Frihwirth Terminglogical, Stephan Busemann - 1990
147 Terminological Reasoning is Inherently Intractable – Bernhard Nebel - 1990
49 Terminological Knowledge Representation: A Proposal for a Terminological Logic – Franz Baader, Hans-Jürgen Bürckert, Jochen Heinsohn, Bernhard Hollunder, Jürgen Müller, Bernhard Nebel, Werner Nutt, Hans-Jürgen Profitlich - 1992
177 The Evolving Technology of Classification-Based Knowledge Representation Systems – R MacGregor - 1991
579 An overview of the KL-ONE knowledge representation system – James G. Schmolze, Bolt Beranek, Newman Inc - 1985
52 Implementing and Testing Expressive Description Logics: a Preliminary Report – Paolo Bresciani, Enrico Franconi, Sergio Tessaris - 1995
86 Computing Least Common Subsumers in Description Logics – William W. Cohen, Alex Borgida, Haym Hirsh - 1992
51 The Complexity of Existential Quantification in Concept Languages – Francesco M. Donini, Bernhard Hollunder, Maurizio Lenzerini, Alberto Marchetti Spaccamela, Daniele Nardi, Werner Nutt - 1992
180 The tractability of subsumption in frame-based description languages – R J 'Levesque Brachman, H - 1984
251 Using an Expressive Description Logic: FaCT or Fiction? – Ian R. Horrocks - 1998
32 Terminological cycles and the propositional -calculus – K Schild - 1994