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

KOWIEN-Projektbericht 2/2003 22
Beispielsweise ist das Prädikat Mutter fremdabhängig vom Prädikat Kind, da jede Instanzen
von Mutter (mindestens) eine Instanz von Kind voraussetzen die sie weder als
Teil noch als Bestandteil hat. Dagegen ist das Prädikat Auto nicht fremdabhängig vom
Prädikat Motor, da jede Instanz von Auto mindestens eine Instanz von Motor als Bestanteil
voraussetzt. Ein (nicht) fremdabhängiges Prädikat wird mit +D (-D) bezeichnet.
Aus den vorgestellten Meta-Prädikaten ergeben sich Einschränkungen bei der Konstruktion
von Ontologien. Sind φ und ψ zwei Prädikate, dann gilt:
1. φ ~R subsumiert immer ψ ~R ↔ φ ~R darf nicht ψ ~R subsumieren.
2. φ +I subsumiert immer ψ +I ↔ φ +I darf nicht ψ -I subsumieren.
3. φ +U subsumiert immer ψ +U ↔ φ +U darf nicht ψ -U subsumieren.
4. φ ~U subsumiert immer ψ ~U ↔ φ ~U darf nicht ψ +U subsumieren.
5. φ +D subsumiert immer ψ +D ↔ φ +D darf nicht ψ -D subsumieren.
6. Prädikate mit nicht kompatiblen Identitäts- oder Einheitsbedingungen sind disjunkt.
Es wird von WELTY/GUARINO keine eigene Top-Level-Ontologie vorgestellt. Es wird
lediglich anhand von Beispielen aufgezeigt, wie bereits bestehende Ontologien mit der
ONTOCLEAN Methode „bereinigt“ werden können.
3.4 Top-Level-Ontologie gemäß GENERAL ONTOLOGICAL LANGUAGE
Die GENERAL ONTOLOGICAL LANGUAGE (GOL) wird am Institut für Medizinische Informatik,
Statistik und Epidemiologie 1) der Universität Leipzig in Zusammenarbeit mit
dem Center of Formal Ontology 2) der University of Buffalo entwickelt. Hauptbestreben
ist dabei die Konstruktion einer Ontologie, die auf philosophischen Erkenntnissen basiert.
Von einem interdisziplinären Team aus Philosophen, Linguisten und Informatikern
ist dabei zunächst das Grundgerüst für eine Top-Level Ontologie entwickelt worden
(siehe Abbildung 5) 3) .
1) Für Informationen über das Institut für Medizinische Informatik, Statistik und Epidemiologie vgl. im Internet
unter der URL: http://www.ontologie.uni-leipzig.de und http://www.ifomis.uni-leipzig.de.
2) Vgl. http://philosophy.buffalo.edu/faculty/smith.
3) Vgl. GUIZZARDI ET AL. (2002).