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

KOWIEN-Projektbericht 2/2003 30
Auch dieses Verfahren wurde in KOWEN verworfen, da hiermit eine Undifferenziertheit
verbunden ist, die dem Streben nach der Spezifikation präziser sprachlicher Ausdrucksmittel
zuwider läuft, da in einer Relation Informationen zu zwei Sachverhalten
aggregiert werden.
Das dritte Verfahren ist gestützt auf eine PROLOG-ähnliche Definition dreistelliger Relationen.
Dabei wird eine Relation hat_Kompetenz(Mitarbeiter, Kompetenz, Kompetenzausprägung)
definiert. Allerdings war auch mit dieser Spezifikation das Problem
verbunden, dass sie sich nicht mit der formalen Definition für Ontologien vereinbaren
lässt.
Als letzte Variante wurden die Ausdruckmöglichkeiten der OntoEdit-internen Repräsentationssprache
OXML 1) diskutiert. Hierbei besteht die Möglichkeit, ein dreistelliges
Prädikat „direkt“ zu spezifizieren. Ein beispielhafter Code dafür sieht wie folgt aus:
Für die Definition von Instanzen:
Da allerdings diese Möglichkeit zwar vom Datenmodell von OXML zur Verfügung gestellt,
aber nicht von der Benutzeroberfläche von Ontoedit unterstützt wird, wurde auch
diese Option verworfen.
4.1.3 Überprüfung der Konsistenz der ontologiegestützten
Wissensbasis
Es bedarf an Instrumenten, um die Wissensbasis hinsichtlich ihrer Konsistenz zu überprüfen
und gegebenenfalls die Probleme zu beseitigen, die für die Inkonsistenz verantwortlich
sind. Ein Beispiel für eine gängige Integritätsregel ist die Antisymmetrie von
Relationen, die folgendermaßen definiert ist:
1) Vgl. ERDMANN (2003) S. 14.