Evaluation von Wissensrepräsentationssystemen

Ziel dieses Berichtes ist eine Evaluation von aktuellen Wissensrepräsentationssystemen, insbesondere terminologischen Logiken. Nach Aufstellung der relevanten Evaluationskriterien erfolgt zunächst eine allgemeine Behandlung von KL-ONE - der Urmutter der terminologischen Logiken -, wobei schon einige inhärente kritische Punkte der zu behandelnden Systeme aufgezeigt werden. Anschließend werden Syntax- und Semantikdefinitionen von KL-ONE-Derivaten vorgestellt, um deren Sprachumfang zu vergleichen. Neben den gängigen KL-ONE-Derivaten wird auch die in LILOG verwendete Repräsentationssprache vorgestellt. Abschließend erfolgt ein zusammenfassender Vergleich der Systeme. Hierbei stellt sich heraus, dass insbesondere die Systeme LOOM, CLASSIC, KRIS und BACK bezüglich des verwendeten Sprachumfangs und der Effizienz der Inferenzen gut abschneiden. Die Systeme BACK und KRIS sind dabei für Verbmobil besonders relevant, da sie relativ leicht verfügbar sind. Außerdem zeichnet sich BACK durch ein gut strukturiertes Handbuch aus und eine schnelle neue Implementierung In C. Kritisch bei allen vorgestellten Systemen ist die Darstellung zeitlicher Zusammenhänge (Ereignisse, Aktionen); hierzu liegen jedoch schon Forschungsergebnisse für die Erweiterung der terminologischen Sprachen vor