KL-ONE - KL-ONE
KL-ONE (ausgesprochen "kay ell won") ist ein Wissensrepräsentationssystem in der Tradition semantischer Netzwerke und Frames ; das heißt, es ist eine Rahmensprache . Das System ist ein Versuch, semantische Unschärfen in semantischen Netzwerkrepräsentationen zu überwinden und konzeptionelle Informationen explizit als strukturiertes Vererbungsnetzwerk darzustellen.
Überblick
Es gibt eine ganze Familie von KL-ONE-ähnlichen Systemen. Eine der Innovationen, die KL-ONE initiierte, war die Verwendung eines deduktiven Klassifikators , einer automatisierten Argumentationsmaschine, die eine Rahmenontologie validieren und basierend auf den anfänglichen Informationen eines Domänenexperten neue Informationen über die Ontologie ableiten kann.
Frames in KL-ONE werden Konzepte genannt . Diese bilden Hierarchien unter Verwendung von Subsume-Relations; in der KL-ONE Terminologie eine Superklasse wird gesagt, seine subsumieren Subklassen . Mehrfachvererbung ist erlaubt. Tatsächlich heißt ein Konzept nur dann wohlgeformt, wenn es von mehr als einem anderen Konzept erbt. Alle Konzepte, außer dem Top-Konzept (normalerweise THING), müssen mindestens eine Superklasse haben.
In KL-ONE werden Beschreibungen in zwei grundlegende Konzeptklassen unterteilt: primitiv und definiert. Primitive sind Domänenkonzepte, die nicht vollständig definiert sind. Dies bedeutet, dass dies bei allen Eigenschaften eines Konzepts nicht ausreicht, um es zu klassifizieren. Sie können auch als unvollständige Definitionen angesehen werden. In derselben Ansicht sind definierte Konzepte vollständige Definitionen. Angesichts der Eigenschaften eines Begriffs sind dies notwendige und hinreichende Bedingungen, um den Begriff zu klassifizieren.
Das Slot-Konzept wird Rollen genannt und die Werte der Rollen sind Rollenfüller. Es gibt verschiedene Arten von Rollen, die in verschiedenen Situationen verwendet werden können. Der häufigste und wichtigste Rollentyp ist das generische RoleSet, das die Tatsache erfasst, dass die Rolle mit mehr als einem Füller besetzt werden kann.