KRIS: Knowledge Representation and Inference System

@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}
}
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. 

Figures and Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 98 CITATIONS

Explaining reasoning in description logics

VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Managing complex objects in Peirce

  • Int. J. Hum.-Comput. Stud.
  • 1994
VIEW 5 EXCERPTS
HIGHLY INFLUENCED

Description Logics

  • Reasoning Web
  • 2009
VIEW 4 EXCERPTS
CITES METHODS

Comparing Subsumption Optimizations

  • Description Logics
  • 1998
VIEW 5 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Resolution is a Decision Procedure for Many Propositional Modal Logics

  • Advances in Modal Logic
  • 1996
VIEW 4 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Structural Classi cationA

Jana Koehler, Kilian Sto ely, James A. Hendlerz
  • 1996
VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

1992
2017

CITATION STATISTICS

  • 13 Highly Influenced Citations

References

Publications referenced by this paper.