La alineación de ontologías , o correspondencia de ontologías , es el proceso de determinar correspondencias entre conceptos en ontologías . Un conjunto de correspondencias también se denomina alineación. La frase adquiere un significado ligeramente diferente en informática , ciencia cognitiva o filosofía .
Para los científicos informáticos , los conceptos se expresan como etiquetas para los datos. Históricamente, la necesidad de alineación de ontologías surgió de la necesidad de integrar bases de datos heterogéneas , desarrolladas de forma independiente y, por lo tanto, cada una con su propio vocabulario de datos. En el contexto de la Web Semántica que involucra a muchos actores que proporcionan sus propias ontologías , la coincidencia de ontologías ha tomado un lugar crítico para ayudar a que los recursos heterogéneos interoperen. Las herramientas de alineación de ontologías encuentran clases de datos que son semánticamente equivalentes , por ejemplo, "camión" y "camión pesado". Las clases no son necesariamente lógicamente idénticas. Según Euzenat y Shvaiko (2007), [1] hay tres dimensiones principales para la similitud: sintáctica, externa y semántica. Casualmente, corresponden aproximadamente a las dimensiones identificadas por los científicos cognitivos a continuación. Se han desarrollado varias herramientas y marcos para alinear ontologías, algunos con inspiración de la ciencia cognitiva y otros de forma independiente.
Las herramientas de alineación de ontologías se han desarrollado generalmente para operar en esquemas de bases de datos , [2] esquemas XML , [3] taxonomías , [4] lenguajes formales , modelos entidad-relación , [5] diccionarios y otros marcos de etiquetas. Por lo general, se convierten a una representación gráfica antes de ser emparejados. Desde la aparición de la Web Semántica, dichos gráficos se pueden representar en la línea de lenguajes del Marco de Descripción de Recursos mediante tripletas de la forma <sujeto, predicado, objeto>, como se ilustra en la sintaxis de la Notación 3. En este contexto, la alineación de ontologías a veces se denomina "emparejamiento de ontologías".
El problema de la alineación de ontologías se ha abordado recientemente intentando calcular primero la coincidencia y luego el mapeo (basado en la coincidencia) de manera automática. Sistemas como DSSim , X-SOM [6] o COMA++ han obtenido en este momento una precisión y recuperación muy altas . [3] La Iniciativa de Evaluación de Alineación de Ontologías tiene como objetivo evaluar, comparar y mejorar los diferentes enfoques.
Dadas dos ontologías y donde es el conjunto de clases, es el conjunto de relaciones, es el conjunto de individuos, es el conjunto de tipos de datos y es el conjunto de valores, podemos definir diferentes tipos de relaciones (inter-ontologías). [1] Dichas relaciones se denominarán, en conjunto, alineaciones y se pueden categorizar en diferentes dimensiones:
Las alineaciones homogéneas, atómicas y de subsunción son los elementos básicos para obtener alineaciones más ricas y tienen una semántica bien definida en cada lógica de descripción. Ahora vamos a presentar de manera más formal la correspondencia y el mapeo de ontologías.
Una correspondencia homogénea atómica es una alineación que lleva un grado de similitud , que describe la similitud de dos términos de las ontologías de entrada y . La correspondencia se puede calcular , por medio de algoritmos heurísticos, o inferirse a partir de otras correspondencias.
Formalmente podemos decir que, un matching es un cuádruple , donde y son términos de ontología homogéneos, es el grado de similitud de . Un mapeo (subsunción, homogéneo, atómico) se define como un par , donde y son términos de ontología homogéneos.
Para los científicos cognitivos interesados en la alineación ontológica, los "conceptos" son nodos en una red semántica que residen en los cerebros como "sistemas conceptuales". La pregunta central es: si cada uno tiene experiencias únicas y, por lo tanto, redes semánticas diferentes, ¿cómo podemos entendernos entre nosotros? Esta pregunta ha sido abordada por un modelo llamado ABSURDIST (Aligning Between Systems Using Relations Derived Inside Systems for Translation). Se han identificado tres dimensiones principales para la similitud como ecuaciones para "similitud interna, similitud externa e inhibición mutua". [7]
Han surgido dos subcampos de investigación en el mapeo de ontologías, a saber, el mapeo de ontologías monolingües y el mapeo de ontologías translingües. El primero se refiere al mapeo de ontologías en el mismo lenguaje natural, mientras que el segundo se refiere al "proceso de establecer relaciones entre recursos ontológicos de dos o más ontologías independientes donde cada ontología está etiquetada en un lenguaje natural diferente". [8] Los métodos de comparación existentes en el mapeo de ontologías monolingües se analizan en Euzenat y Shvaiko (2007). [1] Los enfoques para el mapeo de ontologías translingües se presentan en Fu et al. (2011). [9]