KRIS
- 1 June 1991
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGART Bulletin
- Vol. 2 (3) , 8-14
- https://doi.org/10.1145/122296.122298
Abstract
The knowledge representation system KL-ONE first appeared in 1977. Subsequently many systems based on the idea of KL-ONE have been built. The formal model-theoretic semantics which has been introduced for KL-ONE languages [9] provides means for investigating soundness and completeness of inference algorithms. It turned out that almost all implemented KL-ONE systems such as BACK, KL-TWO, LOOM, NIKL, SB-ONE use sound but incomplete algorithms.Keywords
This publication has 5 references indexed in Scilit:
- A four-valued semantics for terminological logicsArtificial Intelligence, 1989
- CLASSIC: a structural data model for objectsPublished by Association for Computing Machinery (ACM) ,1989
- Computational complexity of terminological reasoning in BACKArtificial Intelligence, 1988
- Expressiveness and tractability in knowledge representation and reasoning1Computational Intelligence, 1987
- An Overview of the KL‐ONE Knowledge Representation System*Cognitive Science, 1985