vollständige Magisterarbeit zum Thema - Michael Stollberg

Kapitel B: Ontologie-Entwicklung 35
B.1.3.2 Ontolingua
Mit dem Ontolingua-System können Ontologien derart dargestellt werden, dass sie mit
der Darstellung in anderen Repräsentationsformalismen kompatibel sind. Somit dient die
formale Erfassung einer Ontologie in der Ontolingua-Sprache als Austauschformat für
Ontologien zwischen verschiedenen Systemumgebungen, so dass dieselbe Ontologie in
verschiedenen technischen Umgebungen verwendet werden kann (s. Gruber93b, S. 5).
Um eine derartige Funktionalität bieten zu können, muss die Spezifikationsfähigkeit von
Ontolingua diejenigen aller zu unterstützenden Formalismen umfassen, was beim Vergleich
von Ontologie-Spezifikations-Sprachen deutlich wird (s. Cocho+00, S.6-9). Da
somit eine Referenz für entsprechende Sprachen entstand, hat Ontolingua sich als Quasi-
Standard für die formale Spezifikation von Ontologien etabliert (s. Motta98, S. 4f) und
soll daher hier stellvertretend vorgestellt werden.
Die Spezifikation von Ontologien mit Ontolingua umfasst drei Teile. Zunächst existiert
eine syntaktische Notation, mit der Wissenselemente durch die entsprechenden Modellierungsprimitive
deklariert und mit einer natürlichsprachlichen Beschreibung versehen
werden können. Als zweiter Teil können den einzelnen Wissenselementen KIF-
Ausdrücke 76 zur Spezifikation inferenzieller Zusammenhänge zugefügt werden. Den dritten
Teil bildet die Frame-Ontology 77 , welche formale Spezifikationen der Modellierungsprimitive
enthält und als Wissensrepräsentations-Ontologie zur Definition von Ontologien
in Ontolingua dient. Abbildung 7 zeigt als Beispiel für eine bibliographische Ontologie
die Definition eines Konzeptes AUTHOR in Ontolingua, wobei der Autor mindestens
ein Dokument erstellt haben muss und über seinen echten Namen identifiziert wird. Die
drei Teile der Spezifikation sind durch Erläuterungen gekennzeichnet. Die Zeilen 1 bis 3
um-fassen den Deklarationsteil und die Zeilen 4 bis 9 den Teil mit den KIF-Ausdrücken.
Im letzteren werden zur Definition der Relationen in den Zeilen 5, 6 und 7 vordefinierte
ontologische Relationen aus der Frame-Ontology genutzt. Die in diesen Ausdrücken
referenzierten Objekte sind Attribute des Konzepts AUTHOR, die an anderer Stelle der
Ontologie-Spezifikation definiert worden sind. In den Zeilen 8 und 9 werden die inferenziellen
Beziehungen für den Zugehörigkeitsprüfung definiert (s. Gruber93b, S. 9f).
KIF-
Ausdrücke
1
2
3
4
5
6
7
8
9
Konzeptdeklaration
Beschreibung
(define-class AUTHOR (?author)
" An author must have created at least one document. In
this ontology, an author is known by his or her real name."
:def (and (person ?author)
(= (value-cardinality ?author AUTHOR.NAME) 1) Attribut-
Relationen (value-type ?author AUTHOR.NAME biblio-name) Zugriffe
(>= (value-cardinality ?author AUTHOR.DOCUMENTS) 1)
( (author.name ?author ?name) inferenzielle Beziehungen
(person.name ?author ?name))))
Abbildung 7: Konzeptdefinition in Ontolingua 78
76 KIF (Knowledge Interchange Format): deklarative Sprache basierend auf der Prädikatenlogik, welche vor allem
zum Austausch von formalisierten Wissensstrukturen zwischen heterogenen Repräsentationsformalismen entwickelt
wurde. Dabei stellt KIF keine Implementierungssprache dar, sondern dient lediglich der strukturierten Formalisierung
von Wissensstrukturen (s. Gruber93, S. 4f).
77 Eine Übersicht der definierten Elemente findet sich in (Gruber93b, S.22-23).
78 entnommen aus: (Gruber93b, S. 10). Anmerkungen durch den Autor.