KRIS: Knowledge Representation and Inference System


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.

DOI: 10.1145/122296.122298

Extracted Key Phrases

3 Figures and Tables


Citations per Year

221 Citations

Semantic Scholar estimates that this publication has 221 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Baader1991KRISKR, title={KRIS: Knowledge Representation and Inference System}, author={Franz Baader and Bernhard Hollunder}, journal={SIGART Bulletin}, year={1991}, volume={2}, pages={8-14} }