Konstruktion der KOWIEN-Ontologie - Institut für Produktion und ...

KOWIEN-Projektbericht 2/2003 25
Eine besondere Bedeutung hat F-Logic für das Projekt KOWIEN, da die im Rahmen
des Projekts eingesetzte Inferenzmaschine Ontobroker sowie die Ontologie-Entwicklungsumgebung
OntoEdit in ihren derzeitigen Versionen mit F-Logic kompatibel sind.
Daher werden in den nächsten Abschnitten ihre Syntax und Semantik überblicksartig
vorgestellt.
F-Logic stellt eine Kombination der Repräsentationsformalismen Frames und Prädikatenlogik
dar 1) . Die Anlehnung an prädikatenlogische Spezifikationen findet sich unter
anderem in der Möglichkeit zur Definition allgemeingültiger Axiome (Inferenzregeln)
wieder. Es kann in einer ontologiebasierten Faktenbasis Wissen über die Domäne abgelegt
werden, anhand dessen mit Inferenzregeln „neues“ Wissen expliziert werden kann.
Die Syntax von F-Logic lässt sich wie folgt darstellen:
1. Is-a Beziehungen zwischen Frames (Konzepte, Klassen) werden durch zwei aufeinander
folgende Doppelpunkte („::“) dargestellt. So wird z.B. die Sub-Frame-
Beziehung zwischen „Mitarbeiter“ und „Mensch“ durch „Mitarbeiter::Mensch“
ausgedrückt.
2. Zugehörigkeiten von Instanzen zu Frames werden durch einen Doppelpunkt („:“)
dargestellt. Die Zugehörigkeit von „Schmitz“ zum Frame „Mitarbeiter“ wird entsprechend
mit „Schmitz:Mitarbeiter“ repräsentiert.
3. Prädikate, die auf einen ganzen Frame angewendet werden, können in der Form
O[P=>>S] modelliert werden, wobei O das Frame mit den Entitäten angibt, auf
die das Prädikat P mit den Extension des Frames S anwendbar ist.
4. Prädikate, die auf eine Instanz eines Frames angewendet werden, werden analog
in der Form I[P->>B] ausgedrückt.
Um aus der nach obigem Schema definierten Wissensbasis implizit enthaltenes Wissen
explizieren zu können, lassen sich in F-Logic Regeln (Axiome) spezifizieren. So kann
z.B. die Regel, dass jeder Mitarbeiter, der an einer Java-Schulung teilgenommen hat,
auch Kompetenzen in Java besitzt, wie folgt definiert werden:
1) Vgl. DECKER (1998).