Taxonomien und Ontologien - Fakultät für Mathematik und Informatik ...

Was uns nun interessiert ist, gibt es unerfüllbare Konzepte ? Dazu muss man alle Möglichkeiten
durchprobieren, d.h. die verschiedenen Axiome in einander einsetzen. Hier sieht man zum Beispiel
schnell das A1 nicht erfüllbar ist, da ich A2 dort einsetzen kann und unter anderem stehen habe A
konjugiert, geschnitten mit A. Dies ist nicht erfüllbar. Aber sind das schon alle? In diesem Fall
nicht, unser Reasoner würde als unerfüllbare Konzepte ausgeben: A1, A3, A6, A7. Wie man an
diesem kleinen Beispiel schon sieht dauert dies sehr lange. Auch der Reasoner braucht dafür sehr
viel Zeit. Das Schlüsse ziehen liegt in der Komplexitätsklasse NEXP und ist somit weit davon
entfernt effizient lösbar zu sein. Aber es gibt noch weitere Probleme mit den Wissensbasen. Ein
Beispiel wäre folgendes, ich formuliere in meiner Tbox alle Vögel sind Tiere, alle Vögel können
fliegen,Pinguine sind Vögel, Pinguine können nicht fliegen. Wie man hier sieht gehört der Pinguin
zu den Vögeln, welche alle fliegen können. Wir haben aber zusätzlich noch definiert das Pinguine
nicht fliegen können. Wir erhalten somit einen Widerspruch und eine inkonsistente Tbox, aus
welcher wir nun alles folgern können was wir möchten.
3.5 Kategorisierung
Wir wissen nun was eine Ontologie ist. Allerdings gleicht nicht eine Ontologie der anderen, sondern
man unterscheidet verschiedene Typen. Wir werden zwei Kategorisierungen kennen lernen. Zuerst
die Kategorisierung nach Spezifikationsgrad und anschließend die Kategorisierung nach
Allgemeinheitsgrad des repräsentierenden Wissens. Kommen wir erst einmal zur Kategorisierung
nach Spezifikationsgrad.
Abb. 8: Ontologiespektrum, Quelle [7]
10