Los mapeos mínimos son el resultado de una técnica avanzada de coincidencia semántica , una técnica utilizada en ciencias de la computación para identificar información que está relacionada semánticamente. [1]
El emparejamiento semántico se ha propuesto como una solución válida al problema de la heterogeneidad semántica, es decir, el apoyo a la diversidad en el conocimiento. [2] Dadas dos estructuras similares a un gráfico, por ejemplo, clasificaciones, bases de datos o esquemas XML y ontologías , la coincidencia es un operador que identifica los nodos en las dos estructuras que se corresponden semánticamente entre sí. Por ejemplo, aplicado a los sistemas de archivos, puede identificar que una carpeta etiquetada como "coche" es semánticamente equivalente a otra carpeta "automóvil" porque son sinónimos en inglés.
La técnica propuesta trabaja en ontologías ligeras, a saber, estructuras de árbol donde cada nodo está etiquetado por una oración en lenguaje natural, por ejemplo en inglés. [3] Estas oraciones se traducen a una fórmula lógica formal (de acuerdo con un lenguaje artificial inequívoco ). La fórmula codifica el significado del nodo, teniendo en cuenta su posición en el gráfico. Por ejemplo, en caso de que la carpeta "coche" esté debajo de otra carpeta "roja" podemos decir que el significado de la carpeta "coche" es "coche rojo" en este caso. Esto se traduce en la fórmula lógica "rojo Y coche".
El resultado de la coincidencia es un mapeo, es decir, un conjunto de correspondencias semánticas entre los dos gráficos. Cada elemento de mapeo se adjunta con una relación semántica , por ejemplo, equivalencia . Entre todos los mapeos posibles, el mapeo mínimo es tal que todos los demás elementos del mapeo pueden calcularse a partir del conjunto mínimo en una cantidad de tiempo proporcional al tamaño de los gráficos de entrada (tiempo lineal) y ninguno de los elementos del conjunto mínimo puede ser cayó sin evitar tal cálculo.
La principal ventaja de las asignaciones mínimas es que minimizan el número de nodos para el procesamiento posterior. Tenga en cuenta que esta es una característica bastante importante debido a que el número de posibles asignaciones puede alcanzar n × m con n y m el tamaño de las dos ontologías de entrada. En particular, las asignaciones mínimas se vuelven cruciales con grandes ontologías, por ejemplo, DMOZ , donde incluso subconjuntos relativamente pequeños (no mínimos) del número de posibles elementos de asignación, potencialmente millones de ellos, son inmanejables.
Las asignaciones mínimas proporcionan ventajas de usabilidad. Se han proporcionado muchos sistemas e interfaces correspondientes, en su mayoría gráficos, para la gestión de asignaciones, pero todos escalan mal con el número de nodos. Las visualizaciones de gráficos grandes son bastante confusas. [4] El mantenimiento de asignaciones más pequeñas es mucho más fácil, rápido y menos propenso a errores.