Skip to main content Skip to main navigation

Publikation

KRIS : K-nowledge R-epresentation and I-nference S-ystem - Benutzerhandbuch

Erich Achilles; Bernhard Hollunder; Armin Laux; Jörg-Peter Mohren
DFKI, DFKI Documents (D), Vol. 91-14, 1991.

Zusammenfassung

Dieses Dokument gibt eine Einführung in das Arbeiten mit dem KRIS-System. KRIS ist ein Wissensrepräsentationssystem der KL-ONE Familie, welches in der Projektgruppe WINO am DFKI entwickelt und implementiert worden ist. KRIS stellt dem Benutzer eine mächtige Konzeptsprache für die Definition von Terminologien zur Verfügung; die assertionale Sprache ist vergleichbar mit denen anderer KL-ONE Systeme. Im Unterschied zu allen anderen KL-ONE Systemen sind die typischen Inferenzen wie z.B. Subsumtion, Konsistenztest etc. durch korrekte und vollständige Algorithmen realisiert.