Incompatibilidad conceptual entre vocabularios controlados, taxonomías u ontologías formales — derivada de diferencias en granularidad, alcance, definición, decisiones de modelado o cosmovisión subyacente — que impide un alineamiento semántico fiable uno a uno o causa mapeos ambigüos o con pérdida de información.

Principio

Los modelos conceptuales codifican elecciones de modelado (clases, propiedades, alcance) que determinan implicaciones; cuando dos ontologías adoptan compromisos de modelado distintos, los mapeos ingenuos producen inferencias incorrectas, ambigüedad o pérdida de información porque etiquetas equivalentes no garantizan semántica equivalente.

Demostración

Situación: Dos ontologías de dominio representan la noción de 'evento' con diferentes estructuras de subclases y propiedades temporales distintas. Reconocimiento: Un integrador intenta alineamiento automático mediante coincidencia de etiquetas. Acción: El integrador aplica un mapeo uno a uno y ejecuta un razonador. Consecuencia: El razonador deriva aserciones contradictorias para algunas instancias y elimina relaciones no reconciliables, produciendo resultados de consulta engañosos y agregación errónea.

Aplicación incorrecta

Asumir que equivalencia léxica equivale a equivalencia semántica. El error es mapear conceptos solo por etiqueta o metadatos superficiales sin examinar alcance, definiciones y axiomas; tales mapeos ocultan diferencias de modelado más profundas y propagan aserciones incorrectas.

Consecuencia

Resultados de consulta defectuosos, inferencias invalidadas, pérdida de detalle en la integración y servicios federados frágiles; esto ocurre porque el razonamiento y las uniones en fases posteriores dependen de los compromisos semánticos codificados en cada ontología.

Inversión

Cuando se crean ontologías de mapeo explícitas, capas de mediación o axiomas de alineamiento (incluyendo mapeos muchos‑a‑muchos, skos:related o mapeos condicionados al contexto) y se registra su procedencia, el desajuste es manejable: los mapeos parciales o contextuales pueden preservar el significado sin forzar una equivalencia incorrecta.

Límite

Claramente dentro: Dos vocabularios controlados usan la misma etiqueta para conceptos que tienen alcances y relaciones jerárquicas diferentes. Caso límite: Los conceptos se solapan parcialmente y requieren mapeos muchos‑a‑muchos con reglas condicionales. Claramente fuera: Diferencias puramente sintácticas (diferentes serializaciones de la misma ontología OWL) donde el modelo subyacente y los axiomas son idénticos.

Tensión semántica

Expresividad ↔ Interoperabilidad — ontologías más ricas y expresivas capturan mayor matiz del dominio pero reducen la probabilidad de alineamientos simples y sin pérdida entre modelos desarrollados de forma independiente.

Síntesis

El desajuste de ontologías no es solo un problema de nombres sino de modelado: la integración fiable requiere artefactos de alineamiento explícitos, procedencia y la aceptación de que muchos mapeos serán parciales, dependientes del contexto o con pérdida; la gobernanza y la mediación reducen el riesgo pero no eliminan la necesidad de decisiones interpretativas.