vollständige Magisterarbeit zum Thema - Michael Stollberg

Kapitel B: Ontologie-Entwicklung 41
von Zusammenhängen, weshalb sie insbesondere im Bereich der konzeptionellen Modellierung
vielfach eingesetzt werden. Dabei werden häufig fälschlicherweise Subsumptions-
Relationen proklamiert, was sowohl auf die Ausnutzung der strukturierenden Funktion als
auch auf methodische Unkenntnisse zurückgeführt wird (s. Guarino+02, S. 63ff). In
konventionellen softwaretechnischen Bereichen dient eine solche vom Prinzip her fehlerhafte
Verwendung von Subsumptions-Relationen häufig als Hilfsmittel zur technischen
Realisierung, welche keine Auswirkungen auf die funktionale Qualität des Systems hat.
Die diesbezügliche Korrektheit von Taxonomien als strukturkonstituierende Basis von
Ontologien ist dagegen als sehr wichtig zu betrachten, da die ontologische Theorie durch
die Definition fehlerhafter Subsumptions-Beziehungen ihrem Anspruch als korrektes und
allgemeines Verständnismodell der Domäne nicht gerecht werden kann. Daher wird mit
dem hier vorgestellten Ansatz das Ziel verfolgt, die taxonomische Struktur einer Ontologie
hinsichtlich der Richtigkeit proklamierter Subsumptions-Relationen mit Hilfe einer
differenzierten Analyse der Wesenseigenschaften der erfassten Wissenselemente zu evaluieren
(s. Guarino+00b, S. 3-5).
Aus diesem methodologischen Ansatz können zweierlei Erkenntnisse gewonnen
werden. Zum einen bieten die Basisbegriffe ein vertiefendes Verständnis zur korrekten
Verwendung der Modellierungsprimitive für eine valide Konzeptionalisierung (s. B.1.2).
Zum anderen ergibt sich durch deren Nutzung zur Meta-Modellierung eine formale, theoretisch
fundierte Methodik zur qualitativen Analyse des konzeptionellen Modells, welche
als Evaluationstechnik zur Qualitätsprüfung von Ontologien (s. B.1.4.1.1) verwendet
werden kann. Um diese Aspekte herauszuarbeiten, werden im Folgenden zunächst die
Basisbegriffe sowie die daraus resultierenden Implikationen als theoretisches Fundament
dieses Ansatzes erläutert und anschließend die darauf basierende Methodik zur Validierung
von Taxonomien vorgestellt.
B.2.2.1 Theoretische Grundlagen
Der Vorstellung der Basisbegriffe dieses methodologischen Ansatzes ist zunächst eine
kurze Erläuterung ihrer Herkunft voranzustellen. Es handelt sich dabei um grundlegende
Begrifflichkeiten der sogenannten „Formalen Ontologie 92 “, welche sich mit Objekten der
realen Welt und deren Verknüpfungen beschäftigt, dafür formale Aussagen definiert und
so die ontologische Natur, also die Wesenseigenschaften betrachteter Objekte mittels allgemeingültiger
Beschreibungen erfassen möchte (s. Smith98, S.1). Ohne ausführlicher auf
die Erkenntnisse dieser philosophische Disziplin einzugehen, seien hier die drei wesentlichen
theoretischen Grundlagen genannt. Die erste ist die als Mereologie bezeichnete
formale Theorie der Relation zwischen Teil und Ganzem (s. Brockhaus96 Bd. 14, S. 512).
Die Topologie als mathematische Theorie zur Strukturierung von Räumen und Gegenständen
(s. Brockhaus96-14 Bd. 22, S. 186ff) stellt die zweite Theoriebasis dar und die
dritte ist die Theorie der Abhängigkeit 93 , worin existentielle Abhängigkeiten zwischen
Objekten untersucht werden.
92 engl.: „Formal Ontology“ (Smith98, S.1).
93 engl.: „theory of dependence“ (Smith98, S. 1).