Constraining ontology mappings using metaphysical choices

Imagina que estás intentando traducir una historia de un idioma a otro, pero los dos idiomas no solo usan palabras diferentes, sino que realmente ven el mundo de manera distinta. Un idioma podría describir un "árbol" como una cosa única y sólida que permanece inmóvil, mientras que el otro podría describirlo como un río fluido de crecimiento, cambio e historia. Este es el corazón de un campo llamado ontología, que es básicamente el estudio de cómo organizamos y definimos lo que existe. En el mundo de las computadoras y los datos, esto importa mucho. Cuando dos sistemas informáticos diferentes intentan hablar entre sí, necesitan ponerse de acuerdo en lo que sus datos realmente significan. Si un sistema piensa que un "libro" es solo una colección de páginas, y el otro piensa que un "libro" es un objeto mágico que existe incluso sin páginas, su conversación será un desastre. La gran pregunta que se hacen los investigadores es: ¿cómo nos aseguramos de que estas traducciones sean precisas cuando las reglas subyacentes de la realidad son diferentes?

Este artículo de Giacomo De Colle, Helena Blackmore y Chris Partridge aborda exactamente ese problema. Proponen una forma ingeniosa de comprobar si las traducciones de datos son correctas observando las "elecciones metafísicas" que hicieron los sistemas informáticos. Piensa en ello como un viaje de ascenso a una montaña. En el nivel más bajo, hay una visión súper unificada donde todo es simplemente un gran bloque de espacio y tiempo mezclados. A medida que subes, empiezas a tomar decisiones para dividir ese bloque en piezas separadas: tiempo frente a espacio, objetos frente a eventos, o una persona frente a la historia de su vida. Los autores sugieren que, si sabes en qué parte de la montaña se encuentran dos sistemas informáticos diferentes, puedes predecir exactamente cuántas piezas de datos necesitas crear al traducir de uno a otro. Por ejemplo, si el Sistema A ve un coche como una sola cosa, pero el Sistema B ve un coche como dos cosas (el coche en sí y la historia del coche), una buena traducción debe convertir un elemento en dos. El artículo no solo habla de esto; de hecho, construyeron una prueba informática utilizando el "Estándar de Intercambio de Información" (IES) y la "Ontología Formal Básica" (BFO) para demostrar que estas reglas funcionan. Al escribir comprobaciones informáticas especiales (llamadas consultas SPARQL), demostraron que puedes señalar automáticamente las traducciones que cometen errores matemáticos, asegurando que los datos mantengan su significado original incluso cuando las reglas de la realidad cambian.

El Gran Juego de la Traducción de Datos

Imagina que tienes una caja mágica que puede convertir un solo ladrillo de Lego en un castillo entero, o un castillo entero de nuevo en un solo ladrillo. Eso es, aproximadamente, lo que sucede cuando intentamos mapear datos entre diferentes sistemas informáticos. Pero aquí está el truco: la magia no es aleatoria. Sigue reglas estrictas basadas en cómo cree cada sistema que está construido el universo.

Los autores de este artículo llaman a su método un "viaje de estratificación". Imagina un árbol de decisiones gigante, como un libro de "elige tu propia aventura" para la realidad. En la parte superior (o inferior, dependiendo de cómo lo mires), hay la visión más unificada posible: un "objeto supersustancial". En esta visión, no hay diferencia entre tú, el espacio que ocupas y el tiempo que pasas existiendo. Tú, tu vida y tu habitación son todos parte de un gran bloque fusionado de materia y espacio-tiempo.

Ahora, imagina que empiezas a tomar decisiones para dividir este bloque.

• La Primera División: Decides separar el "tiempo" del "espacio". De repente, tienes dos cosas en lugar de una: la cosa en sí (un objeto perdurante) y el evento de que suceda a través del tiempo (un objeto perdurante/perdurante).
• La Segunda División: Podrías decidir separar la "silla" de la "habitación" en la que se encuentra.
• La Tercera División: Podrías separar el "proceso" de sentarse del "límite" donde el sentarse comienza y termina.

Cada vez que realizas una división, multiplicas la cantidad de cosas en tu mundo. Una ontología (una palabra elegante para el libro de reglas de un sistema sobre lo que existe) que deja de dividir prematuramente es "unificadora": ve menos cosas. Una ontología que sigue dividiendo es "divisora": ve muchas más cosas.

La Estatua y la Arcilla

Para entender por qué esto importa, piensa en una estatua hecha de arcilla.

• Un sistema unificador mira la estatua y dice: "Eso es solo una cosa: la estatua". No le importa la arcilla debajo; es un solo elemento.
• Un sistema divisor mira la misma estatua y dice: "Espera, hay dos cosas aquí: la arcilla (la materia) y la forma (la forma)".

Si intentas traducir una entrada de una base de datos de un sistema unificador a un sistema divisor, no puedes simplemente copiar y pegar. Tienes que tomar esa única entrada de la "estatua" y mágicamente dividirla en dos entradas: "arcilla" y "forma". Si no lo haces, la traducción estará rota. El artículo argumenta que estas "elecciones metafísicas" crean restricciones de cardinalidad estrictas. Eso es una forma elegante de decir: "Si el Sistema A tiene 1 elemento, el Sistema B debe tener 2 elementos (o 3, o 4) para ser correcto".

La Prueba de Churchill

Los autores no se limitaron a teorizar; pusieron esto a prueba. Eligieron dos sistemas del mundo real para mapear:

1. IES (Estándar de Intercambio de Información): Este sistema es un "unificador". Trata las cosas como un coche o una persona como un trozo único de cuatro dimensiones de espacio-tiempo que incluye tanto al objeto como su historia.
2. BFO (Ontología Formal Básica): Este sistema es un "divisor". Le encanta separar las cosas. Ve un coche como el objeto físico y su historia como cosas separadas. Ve a una persona como el cuerpo y sus eventos vitales como cosas separadas.

Decidieron probar esto con un ejemplo muy famoso: el nacimiento de Winston Churchill.

En el sistema IES, el nacimiento de Churchill es un evento unificado. Es un trozo único de la realidad.
En el sistema BFO, ese mismo nacimiento necesita ser desglosado. Para ser preciso, el sistema necesita generar al menos cinco cosas distintas:

1. El cuerpo material de Churchill.
2. El lugar específico (sitio) donde nació.
3. El proceso del nacimiento en sí mismo.
4. El momento exacto en que el proceso comenzó.
5. Las regiones de tiempo y espacio ocupadas por ese nacimiento.

El Chequeo Informático

Aquí es donde el artículo se pone realmente interesante. Los autores escribieron un programa informático para actuar como árbitro. Tomaron datos del sistema IES (el unificador) e intentaron traducirlos al sistema BFO (el divisor).

Establecieron una regla: "Si ves un objeto IES, debes ver al menos dos objetos BFO".
Luego ejecutaron su traducción y usaron un lenguaje informático especial (SPARQL) para escanear los resultados. La computadora buscaba cualquier traducción que rompiera las reglas. Por ejemplo, si la computadora veía una entrada de Churchill en IES pero solo encontraba una única entrada en BFO, marcaría un error: "¡Oye! ¡Te olvidaste de la parte de la historia! ¡Necesitas multiplicar los datos!".

En su simulación, este método funcionó. Demostraron con éxito que, al comprender el "viaje metafísico" que realiza cada sistema, podían crear comprobaciones automáticas para asegurar que los datos no se perdieran en la traducción.

Lo Que Esto Significa (Y Lo Que No)

El artículo sugiere que podemos usar estas profundas reglas filosóficas para construir traducciones de datos mejores y más fiables. No es una varita mágica que solucione todos los problemas del mundo, pero ofrece una nueva forma de detectar errores. Si sabes que un sistema ve el mundo como "uno" y el otro lo ve como "muchos", puedes escribir una regla que diga: "Asegúrate de que el lado de los 'muchos' tenga suficientes piezas".

Los autores son cuidadosos al señalar que este es un marco que están proponiendo y probando. Demostraron esto con un ejemplo específico (Churchill) y un par específico de sistemas (IES y BFO). No afirmaron haber resuelto todos los problemas de mapeo existentes, pero sí demostraron que este "viaje de estratificación" es una herramienta poderosa para validar si una traducción tiene sentido. Convierte la pregunta abstracta de "¿Qué es real?" en una lista de verificación práctica para los científicos de la computación: "¿Multiplicaste los datos lo suficiente?".