La actividad de identificar y especificar correspondencias semánticas (p. ej., equivalencia, subsunción, mapeos de propiedades) entre conceptos y relaciones en dos o más ontologías para que datos, consultas o inferencias puedan interpretarse de forma coherente entre ellas.

Principio

La alineación produce mapeos explícitos que traducen o relacionan construcciones ontológicas; esos mapeos son necesarios para la interpretación automática, el razonamiento o el intercambio de datos entre ontologías.

Demostración

Escenario ilustrativo → Dos ontologías biomédicas modelan un infarto de miocardio: Ontología A usa la clase MyocardialInfarction con propiedad hasOnset; Ontología B usa la clase HeartAttack con propiedad onsetTime. Reconocimiento → se declara Equivalence(MyocardialInfarction, HeartAttack) y PropertyMap(hasOnset, onsetTime). Acción → una consulta federada contra A se traduce a B usando los mapeos. Consecuencia → la consulta devuelve resultados coherentes de ambas fuentes y un razonador puede inferir pertenencia común.

Aplicación incorrecta

Tratar la alineación como mera coincidencia léxica (igualdad de cadenas) sin considerar diferencias de modelado (clase vs. evento, dominios/rangos de propiedades) conduce a equivalencias erróneas e inferencias inválidas.

Consecuencia

Una alineación correcta permite consultas integradas, estadísticas agregadas y razonamiento entre fuentes; las alineaciones incorrectas o ausentes producen agregados inconsistentes, inferencias espurias o coincidencias perdidas.

Inversión

Cuando las ontologías codifican deliberadamente compromisos de modelado incompatibles (por ejemplo, eventos como clases frente a procesos reificados) o cuando debe preservarse la procedencia, la alineación completa puede ser inviable o indeseable; en esos casos convienen mapeos parciales o anotados (con procedencia y confianza).

Límite

Claramente dentro: declarar correspondencias de clases y propiedades entre ontologías formalmente modeladas. Caso límite: mapear una clase de ontología a un término de un vocabulario controlado con semánticas más débiles. Claramente fuera: enlace de registros a nivel de instancia o mera transformación sintáctica de esquema sin correspondencia semántica.

Tensión semántica

Expresividad frente a tratabilidad — mapeos detallados conservan significado pero aumentan complejidad y ambigüedad; equivalencias estrictas simplifican el procesamiento pero pueden perder semántica.

Síntesis

La alineación de ontologías formaliza equivalencias semánticas para la interoperabilidad automática, pero su efectividad depende de supuestos de modelado explícitos, granularidad de mapeo y documentación de procedencia.