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:582 - 6 self

Documents Related by Co-Citation

347 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 framebased description languages – R J Brachman, H J Levesque - 1984
83 Subsumption Algorithms for Concept Description Languages – Bernhard Hollunder, Werner Nutt, Manfred Schmidt-Schauß - 1990
456 Building Large Knowledge-Based Systems – D Lenat, R Guha, V - 1990
49 can be beautiful in knowledge representation – Small - 1984
177 The evolving technology of classification-based knowledge representation systems – R MacGregor - 1991
42 Subsumption in KL-ONE is undecidable – Schmidt-Schau - 1989
66 Subsumption Algorithms for Concept Languages – Bernhard Hollunder, Werner Nutt - 1990
147 Attributive concept descriptions with complements – Manfred Schmidt-Schau��, Gert Smolka - 1991
147 Terminological Reasoning is Inherently Intractable – Bernhard Nebel - 1990
255 A Correspondence Theory for Terminological Logics: Preliminary Report – Klaus Schild - 1991
64 Tractable concept languages – F M Donini, M Lenzerini, D Nardi, W Nutt - 1991
61 Computational Complexity of Terminological Reasoning in BACK – Bernhard Nebel - 1988
116 Expressiveness and tractability in knowledge representation and reasoning – 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
102 Terminological cycles: Semantics and computational properties – B Nebel - 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
49 The Complexity of Existential Quantification in Concept Languages – Francesco M. Donini, Bernhard Hollunder, Maurizio Lenzerini, Alberto Marchetti Spaccamela, Daniele Nardi, Werner Nutt - 1992