An overview of the KL-ONE knowledge representation system (1985)

Cached

Download Links

by James G. Schmolze , Bolt Beranek , Newman Inc
Venue:Cognitive Science
Citations:579 - 6 self

Documents Related by Co-Citation

346 CLASSIC: A Structural Data Model for Objects – Alexander Borgida, Ronald J. Brachman, Deborah L. McGuinness, Lori Alperin Resnick - 1989
180 The tractability of subsumption in frame-based description languages – R J 'Levesque Brachman, H - 1984
83 Subsumption Algorithms for Concept Description Languages – Bernhard Hollunder, Werner Nutt, Manfred Schmidt-Schauß - 1990
456 Building Large Knowledge-Based Systems – D B Lenat, R V Guha - 1990
49 Small can be beautiful in knowledge representation – P Patel-Schneider - 1984
42 Subsumption in KL-ONE is undecidable – Schmidt-Schau - 1989
66 Subsumption Algorithms for Concept Languages – Bernhard Hollunder, Werner Nutt - 1990
148 Attributive concept descriptions with complements – Manfred Schmidt-Schau��, Gert Smolka - 1991
147 Terminological Reasoning is Inherently Intractable – Bernhard Nebel - 1990
65 Tractable concept languages – F M Donini, M Lenzerini, D Nardi, W Nutt - 1991
257 A Correspondence Theory for Terminological Logics: Preliminary Report – Klaus Schild - 1991
61 Computational Complexity of Terminological Reasoning in BACK – Bernhard Nebel - 1988
177 The Evolving Technology of Classification-Based Knowledge Representation Systems – R MacGregor - 1991
118 Expressiveness and tractability in knowledge representation – H J Levesque, R J Brachman - 1987
151 Foundations of a functional approach to knowledge representation – H J Levesque - 1984
30 Hybrid Inferences in KL-ONE-based Knowledge Representation Systems”, DFKI Research Report RR-90-06 – B Hollunder - 1990
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
101 Terminological Cycles: Semantics and Computational Properties – B Nebel - 1991
51 The Complexity of Existential Quantification in Concept Languages – Francesco M. Donini, Bernhard Hollunder, Maurizio Lenzerini, Alberto Marchetti Spaccamela, Daniele Nardi, Werner Nutt - 1992