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

KOWIEN-Projektbericht 2/2003 31
∀x, y: R( x, y) ∧ x ≠ y →¬ R( y, x)
Die Relation „kleiner“ ist ein Beispiel für eine antisymmetrische Relation. Wenn eine
Zahl x kleiner als eine andere Zahl y ist, so kann die Zahl y nicht kleiner als x sein.
Die Eigenschaft der Antisymmetrie lässt sich hingegen nicht mittels einfacher Subjugate
in der voranstehenden Form in F-Logic implementieren, da
sie ihrem „Wesen“ nach nicht die Schlussfolgerung neuer zulässiger Fakten,
sondern den Ausschluss unzulässiger Fakten bedeutet: Die Nicht-Zugehörigkeit
eines Tupels zur einer Relation R lässt sich in einer gewöhnlichen Wissensbasis
nicht als Faktum repräsentieren;
die im Projekt KOWIEN eingesetzte Inferenzmaschine Ontobroker ausschließlich
auf die Verarbeitung von Horn-Klauseln beschränkt ist.
Um dennoch Mechanismen zur Verfügung zu stellen, die bei gegebener Inkonsistenz
„greifen“, kann auf aussagenlogische Konstrukte zurückgegriffen werden. So kann z.B.
anhand der Regel überprüft werden, ob die Wissensbasis Inkonsistenzen bzgl. der
Kompetenzinformationen zu einer Person enthält:
FORALL X,Y
inkonsistent >Y] AND
X[ist_Vorgesetzter_von->>Y].
Die Aussage „inkonsistent“ gilt dann, wenn - wie im angegebenen Beispiel - zwei widersprüchliche
Informationen zu einem Objekt abgelegt werden.
Eine Alternative für das oben vorgestellte Verfahren wäre die Modellierung von Inkonsistenzen
als Relationen. Der oben vorgestellte Sachverhalt könnte entsprechend wie
folgt ausgedrückt werden:
X[inkonsistent_fuer_Kompetenzart ->>Y].
Dieses Vorgehen beinhaltet allerdings die Gefahr, objekt- und metasprachliche Ausdrücke
miteinander zu vermengen. Die durch widersprüchliche Informationen verursachte
Inkonsistenz ist nämlich gerade keine intrinsische Eigenschaft eines Konzepts. Die Inkonsistenz
wird als Prädikat des Objektes modelliert, was evtl. problematisch sein könnte,
da es zu einem Teil der Ontologie wird. Daher wurde im KOWIEN-Projekt von dieser
zweiten Methode zur Spezifikation von Inkonsistenzen abgesehen.