KRIS : knowledge representation and inference system - Benutzerhandbuch -

Abstract

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. Kenntnisse der zugrundeliegenden Konzeptsprachen, der assertionalen Sprache, sowie den Inferenzmäglichkeiten werden vorausgesetzt. Eine Einführung gibt z.B. [1].