DFKI Document-91-14

[Back]

D-91-14



Sprache: Deutsch

by Erich Achilles, Bernhard Hollunder, Armin Laux, Jörg-Peter Mohren

KRIS : Knowledge Representation and Inference System - Benutzerhandbuch -

28 Seiten

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.

This document is available as PDF-File.

The next abstract is here, and the previous abstract is here.

DFKI-Bibliothek (bib@dfki.uni-kl.de)

Note: This page was written to look best with CSS stylesheet support Level 1 or higher. Since you can see this, your browser obviously doesn't support CSS, or you have turned it off. We highly recommend you use a browser that supports and uses CSS, and review this page once you do. However, don't fear, we've tried to write this page to still work and be readable without CSS.