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

KOWIEN-Projektbericht 2/2003 9
Organisation
c 3
c 1
arbeitet_fuer
r 1 (c 2 ,c 3 )
Person
H c (c 2 ,c 1 )
Mitarbeiter
c 2
Abbildung 1: Exemplarische Ontologie mit Lexikonreferenz 1)
Die formale Spezifikation von Ontologien erweist sich unter anderem in zweierlei Formen
als vorteilhaft:
Erstens können teilweise - in Abhängigkeit von der verwendeten Repräsentationssprache
- Inferenzregeln definiert werden, die über das bereits explizit vorliegende terminologische
Wissen hinaus Schlussfolgerungen erlauben. Diese Möglichkeit der Ableitung
„neuer“ Fakten, die bereits aus der logischen Programmierung (z.B. mittels PROLOG)
bekannt ist, erlaubt die Gestaltung „intelligenter“ Software. Die folgende exemplarische
Inferenzregel setzt die Plausibilitätsannahme, dass jede Person, die einen Projektbericht
zu einem Sachgebiet verfasst hat, auch als kompetent in diesem Gebiet gilt, in der Notation
der weit verbreiteten F-Logic 2) um:
FORALL X,Y,Z
X[hat_Kompetenz->>Z]←
X:Person[Autor_von->>Y] AND
Y:Projektbericht[betrifft_Sachgebiet->>Z].
Zweitens kann durch Integritätsregeln vermieden werden, dass Fakten in die Wissensbasis
aufgenommen werden, die im Widerspruch zu bereits enthaltenen Fakten stehen.
So wäre beispielsweise eine Schlussfolgerung auf Basis der obigen Inferenzregel unzulässig,
wenn zuvor schon das explizite Wissen vorläge, dass sich die betroffene Person
1) Quelle: in Anlehnung an MAEDCHE (2001) S. 19. In den folgenden Abbildungen werden für Subklassenbeziehungen
unbeschriftete gerichtete Kanten verwendet werden. Davon abweichende Bedeutungen werden explizit
bezeichnet werden.
2) Vgl. KIFER ET AL. (1995). Vgl. Abschnitt 4.1.1 für einen Überblick zur F-Logic.