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

KOWIEN-Projektbericht 2/2003 26
FORALL X,Y
X[hat_Kompetenzen->>Java] >Y] AND
Y:Schulung[Themengebiet->>Java].
Durch die Inferenzmaschine Ontobroker kann nun eine Anfrage an die Wissensbasis gestellt
werden, obwohl das Wissen nicht explizit in der Wissen abgelegt wurde. Anfragen
stellen in F-Logic Inferenzregeln ohne Konklusion dar. So würde beispielsweise folgende
Anfrage als Ergebnis zumindest den Mitarbeiter „Schmitz“ angeben, wenn in der
Wissensbasis seine Teilnahme an der Java-Schulung als Faktum abgelegt (deklariert)
wurde:
FORALL X >Java].
Wie zu sehen ist, ist auch eine Anfrage (Query) eine besondere Form einer Inferenzregel.
Die Mächtigkeit der Sprache F-Logic liegt unter anderem in ihren Möglichkeiten der
Vererbung von Klassenmerkmalen auf Subklassen. So wird die Relation Name der
Klasse Mitarbeiter auf sämtliche Subklassen vererbt. Das heißt, dass bei einer weiteren
Untergliederung der Klasse Mitarbeiter in wissenschaftliche Mitarbeiter und administrative
Mitarbeiter die Relation Name an beide Klassen weiter vererbt wird. Weiterführend
erlaubt F-Logic auch multiple Vererbungen, so dass die Klasse studentische Hilfskraft
sowohl die Eigenschaften der Klasse Mitarbeiter (z.B. Eintrittsdatum) als auch die
der Klasse Studierende (z.B. Matrikelnummer) übernimmt.
Durch Parameter ist es möglich, Relationen, die auf Objekte angewendet werden, mit
Zusatzinformationen zu versorgen. Möchte man z.B. die Reihenfolge der Publikationen
angeben, die ein Professor herausgegeben hat, so kann das in folgender Form geschehen:
X:Professor[hat_Publikation@(1)->>Y; hat_Publikation@(2)->>Z].