Constraining ontology mappings using metaphysical choices

Stellen Sie sich vor, Sie versuchen, eine Geschichte von einer Sprache in eine andere zu übersetzen, aber die beiden Sprachen verwenden nicht nur unterschiedliche Wörter, sondern sehen die Welt auch grundlegend anders. Eine Sprache könnte einen „Baum“ als ein einzelnes, festes Ding beschreiben, das stillsteht, während die andere ihn als einen fließenden Fluss aus Wachstum, Veränderung und Geschichte beschreibt. Dies ist der Kern eines Feldes namens Ontologie, bei dem es im Grunde darum geht, wie wir definieren und organisieren, was existiert. In der Welt der Computer und Daten ist das von großer Bedeutung. Wenn zwei verschiedene Computersysteme miteinander kommunizieren wollen, müssen sie sich darüber einig sein, was ihre Daten tatsächlich bedeuten. Wenn ein System denkt, ein „Buch“ sei lediglich eine Sammlung von Seiten, und das andere denkt, ein „Buch“ sei ein magisches Objekt, das auch ohne Seiten existiert, wird ihr Gespräch ein einziges Chaos. Die große Frage, die sich Forscher stellen, lautet: Wie stellen wir sicher, dass diese Übersetzungen korrekt sind, wenn die zugrunde liegenden Regeln der Realität unterschiedlich sind?

Dieses Papier von Giacomo De Colle, Helena Blackmore und Chris Partridge befasst sich genau mit diesem Problem. Sie schlagen einen cleveren Weg vor, um zu prüfen, ob Datentranslationen korrekt sind, indem sie die „metaphysischen Entscheidungen“ betrachten, die die Computersysteme getroffen haben. Stellen Sie sich das wie eine Reise auf einen Berg vor. Ganz unten am Fuß des Berges gibt es eine super-vereinheitlichte Sichtweise, in der alles nur ein einziger großer Klumpen aus Raum und Zeit ist. Während Sie den Berg hinaufsteigen, treffen Sie Entscheidungen, um diesen Klumpen in separate Teile zu zerlegen: Zeit vs. Raum, Objekte vs. Ereignisse oder eine Person vs. ihre Lebensgeschichte. Die Autoren schlagen vor, dass man, wenn man weiß, an welchem Punkt des Berges zwei verschiedene Computersysteme stehen, genau vorhersagen kann, wie viele Datenteile man bei der Übersetzung von einem zum anderen erstellen muss. Wenn zum Beispiel System A ein Auto als ein einziges Ding sieht, System B das Auto aber als zwei Dinge sieht (das Auto selbst und die Geschichte des Autos), muss eine gute Übersetzung aus einem Element zwei Elemente machen. Das Papier spricht nicht nur davon; sie haben tatsächlich einen Computertest unter Verwendung des „Information Exchange Standard“ (IES) und der „Basic Formal Ontology“ (BFO) gebaut, um zu beweisen, dass diese Regeln funktionieren. Indem sie spezielle Computerprüfungen (genannt SPARQL-Abfragen) schrieben, zeigten sie, dass man Übersetzungen, die die Mathematik falsch machen, automatisch flaggen kann, um sicherzustellen, dass die Daten ihrer ursprünglichen Bedeutung treu bleiben, selbst wenn sich die Regeln der Realität ändern.

Das große Datentranslationsspiel

Stellen Sie sich vor, Sie haben eine magische Box, die einen einzelnen Lego-Stein in ein ganzes Schloss verwandeln kann oder ein ganzes Schloss zurück in einen einzelnen Stein. Das ist in etwa das, was passiert, wenn wir versuchen, Daten zwischen verschiedenen Computersystemen abzubilden. Aber hier ist der Haken: Die Magie ist nicht zufällig. Sie folgt strengen Regeln basierend darauf, wie jedes System glaubt, dass das Universum aufgebaut ist.

Die Autoren dieses Papiers nennen ihre Methode eine „Stratifizierungswanderung“ (stratification journey). Stellen Sie sich einen riesigen Entscheidungsbaum vor, wie ein „Du entscheidest selbst“-Buch für die Realität. Ganz oben (oder unten, je nachdem, wie man es betrachtet) gibt es die am stärksten vereinheitlichte Sichtweise: ein „supersubstanzielles Objekt“. In dieser Sichtweise gibt es keinen Unterschied zwischen Ihnen, dem Raum, den Sie einnehmen, und der Zeit, die Sie existierend verbringen. Sie, Ihr Leben und Ihr Zimmer sind alle nur ein einzener, verschmolzener Klumpen aus Materie und Raumzeit.

Nun stellen Sie sich vor, Sie beginnen, diesen Klumpen aufzuspalten.

• Der erste Split: Sie entscheiden, „Zeit“ von „Raum“ zu trennen. Plötzlich haben Sie zwei Dinge statt eines: das Ding selbst (ein dauerhaftes Objekt) und das Ereignis seines Geschehens über die Zeit (ein perdurierendes Objekt).
• Der zweite Split: Sie könnten entscheiden, den „Stuhl“ von dem „Raum“ zu trennen, in dem er steht.
• Der dritte Split: Sie könnten den „Prozess“ des Sitzens von der „Grenze“ trennen, an der das Sitzen beginnt und endet.

Jedes Mal, wenn Sie einen Split vornehmen, vervielfachen Sie die Anzahl der Dinge in Ihrer Welt. Eine Ontologie (ein schickes Wort für das Regelbuch eines Systems darüber, was existiert), die das Aufteilen früh stoppt, ist „vereinheitlichend“ – sie sieht weniger Dinge. Eine Ontologie, die weiter aufteilt, ist „unterteilend“ – sie sieht viel mehr Dinge.

Die Statue und der Ton

Um zu verstehen, warum das wichtig ist, denken Sie an eine Statue aus Ton.

• Ein vereinheitlichendes System betrachtet die Statue und sagt: „Das ist nur eine Sache: die Statue.“ Es kümmert sich nicht um den Ton darunter; es ist alles ein einziges Element.
• Ein unterteilendes System betrachtet dieselbe Statue und sagt: „Warte, hier gibt es zwei Dinge: den Ton (die Materie) und die Form (die Gestalt).“

Wenn Sie versuchen, einen Datenbankeintrag von dem vereineinheitlichenden System in das unterteilende System zu übersetzen, können Sie ihn nicht einfach kopieren und einfügen. Sie müssen diesen einzelnen „Statue“-Eintrag nehmen und ihn magisch in zwei Einträge aufteilen: „Ton“ und „Form“. Wenn Sie das nicht tun, ist die Übersetzung fehlerhaft. Das Papier argumentt, dass diese „metaphysischen Entscheidungen“ strikte Kardinalitätsbeschränkungen (cardinality constraints) erzeugen. Das ist eine schicke Art zu sagen: „Wenn System A 1 Element hat, muss System B 2 Elemente (oder 3, oder 4) haben, um korrekt zu sein.“

Der Churchill-Test

Die Autoren haben nicht nur theoretisiert; sie haben dies auf die Probe gestellt. Sie wählten zwei reale Systeme, um sie abzubilden:

1. IES (Information Exchange Standard): Dieses System ist ein „Vereinheitlicher“. Es behandelt Dinge wie ein Auto oder eine Person als ein einziges, vierdimensionales Stück Raumzeit, das sowohl das Objekt als auch seine Geschichte umfasst.
2. BFO (Basic Formal Ontology): Dieses System ist ein „Unterteiler“. Es liebt es, Dinge aufzuspalten. Es sieht ein Auto als das physische Objekt und seine Geschichte als separate Dinge. Es sieht eine Person als den Körper und ihre Lebensereignisse als separate Dinge.

Sie entschieden, dies mit einem sehr berühmten Beispiel zu testen: Winston Churchills Geburt.

Im IES-System ist Churchills Geburt einfach ein großes, vereinheitlichtes Ereignis. Es ist ein einziger Klumpen der Realität.
Im BFO-System muss diese Geburt aufgeteilt werden. Um korrekt zu sein, muss das System mindestens fünf verschiedene Dinge generieren:

1. Den materiellen Körper von Churchill.
2. Den spezifischen Ort (Site), an dem er geboren wurde.
3. Den Prozess der Geburt selbst.
4. Den exakten Moment, in dem der Prozess begann.
5. Die Zeit- und Raumregionen, die von dieser Geburt eingenommen wurden.

Der Computer-Check

Hier wird das Papier wirklich spannend. Die Autoren schrieben ein Computerprogramm, das als Schiedsrichter fungiert. Sie nahmen Daten aus dem Iesen-System (dem Verein-ein-licher) und versuchten, sie in das BFO-System (den Unterteiler) zu übersetzen.

Sie legen eine Regel fest: „Wenn du ein IES-Objekt siehst, musst du mindestens zwei BFO-Objekte sehen.“
Dann führten sie ihre Übersetzung durch und nutzten eine spezielle Computersprache (SPARQL), um die Ergebnisse zu scannen. Der Computer suchte nach Übersetzungen, die die Regeln brachen. Wenn der Computer zum Beispiel einen Churchill-Eintrag in IES sah, aber nur einen einzigen Eintrag in BFO fand, würde er einen Fehler melden: „Hey! Du hast den Teil mit der Geschichte vergessen! Du musst die Daten vervielfältigen!“

In ihrer Simulation funktionierte diese Methode. Sie zeigten erfolgreich, dass sie durch das Verständnis der „metaphysischen Reise“, die jedes System unternimmt, automatische Prüfungen erstellen konnten, um sicherzustellen, dass die Daten bei der Übersetzung nicht verloren gehen.

Was dies bedeutet (und was es nicht bedeutet)

Das Papier legt nahe, dass wir diese tiefen philosophischen Regeln nutzen können, um bessere, zuverlässigere Datentranslationen zu bauen. Es ist kein Zauberstab, der jedes Problem der Welt löst, aber es bietet einen neuen Weg, um Fehler abzufangen. Wenn man weiß, dass ein System die Welt als „eins“ und das andere als „viele“ sieht, kann man eine Regel schreiben, die besagt: „Stelle sicher, dass die ‚viele‘-Seite genug Teile hat.“

Die Autoren weisen vorsichtig darauf hin, dass dies ein Rahmenwerk ist, das sie vorschlagen und testen. Sie haben es mit einem spezifischen Beispiel (Churchill) und einem spezifischen Paar von Systemen (IES und BFO) demonstriert. Sie behaupteten nicht, jedes existierende Mapping-Problem gelöst zu haben, aber sie zeigten, dass diese „Stratifizierungswanderung“ ein mächtiges Werkzeug ist, um zu validieren, ob eine Übersetzung Sinn ergibt. Es verwandelt die abstrakte Frage „Was ist real?“ in eine praktische Checkliste für Informatiker: „Hast du die Daten genug vervielfältigt?“