NeurOWL busca huecos en el conocimiento formal con IA

El 17 de julio de 2026, un equipo de la Universidad de Mánchester y la Universidad de Zhejiang presentó NeurOWL, un sistema que intenta localizar conocimiento ausente en ontologías formales. La propuesta combina un razonador lógico, representaciones numéricas de conceptos y modelos de lenguaje para responder una pregunta concreta: cuando una relación no aparece en una base de conocimiento, ¿es realmente falsa o falta alguna regla que permitiría justificarla?

Un mapa de conceptos que también tiene huecos

Una ontología no es solo una lista de palabras. Es una colección de afirmaciones formales sobre conceptos y relaciones: por ejemplo, que una categoría pertenece a otra o que una entidad puede tener cierta propiedad. El estándar OWL se usa para representar ese conocimiento de manera que un programa pueda extraer consecuencias lógicas. Es especialmente relevante en dominios con vocabularios extensos, como la biomedicina o los datos de alimentos.

El problema es que esas estructuras rara vez están completas. El conocimiento cambia, la curación experta cuesta tiempo y algunas conexiones simplemente no se han escrito todavía. Un razonador convencional puede demostrar lo que se sigue de las reglas disponibles, pero no puede concluir una relación que depende de un axioma ausente. NeurOWL no pretende convertir una conjetura en un hecho: trata de decidir si la conjetura es semánticamente plausible y de proponer qué afirmación faltante habría que revisar.

Lógica primero, lenguaje después

El sistema organiza el trabajo en tres fases. Primero usa un razonador de lógica descriptiva para comprobar si la relación ya puede deducirse de la ontología. Si no puede, busca conceptos intermedios que sirvan de puente entre los dos términos. Los modelos de embeddings ordenan candidatos por cercanía semántica y un modelo de lenguaje valida las posibles conexiones.

Cuando ese camino no encuentra un puente útil, el método amplía la búsqueda con la información semántica de los embeddings. La salida no es solo un sí o un no: intenta devolver los axiomas potencialmente ausentes y una justificación que combine esas propuestas con las reglas que ya existían. Esa trazabilidad es importante porque una sugerencia de IA no debería entrar sola en una ontología utilizada por otras aplicaciones.

Qué probaron los autores

El preprint evalúa NeurOWL con versiones deliberadamente incompletas de dos ontologías reales: FoodOn, orientada a alimentos y agricultura, y SNOMED CT, una gran terminología clínica. Los autores retiraron algunas reglas para construir casos en los que una relación podía ser válida en la ontología original pero ya no era demostrable en la versión recortada. También crearon casos negativos para distinguir entre una laguna y una relación incorrecta.

En esas pruebas, el artículo comunica puntuaciones F1 de hasta 96,8 para valorar la plausibilidad de relaciones de inclusión y valores de hasta 89,3 y 79,3 en sus métricas de explicación, según el escenario. Son cifras altas, pero describen un entorno de evaluación construido a partir de ontologías conocidas. No equivalen todavía a demostrar que el sistema descubrirá conocimiento nuevo y correcto en cualquier base de datos del mundo real.

Una ayuda para revisar, no una máquina que reescribe la ciencia

La idea tiene una utilidad práctica clara. En una ontología sanitaria, una relación omitida puede afectar a búsquedas, integración de registros o herramientas de apoyo. En una ontología alimentaria, puede dificultar conectar información sobre ingredientes, producción y nutrición. Un sistema que priorice conexiones que merecen revisión puede ahorrar trabajo a expertos.

Pero el paso decisivo sigue siendo humano. Las etiquetas textuales de dos conceptos pueden sonar próximas y, sin embargo, una relación formal puede ser errónea, demasiado amplia o inapropiada para un contexto clínico. NeurOWL aporta una combinación interesante de rigor simbólico y capacidad lingüística, pero sus propuestas deben pasar por especialistas que conozcan el dominio y las consecuencias de añadir un axioma. El valor del sistema está precisamente en hacer explícita esa hipótesis y su justificación, en vez de esconderla tras una respuesta aparentemente segura.

Tres estados, no dos

En una ontología basada en lógica descriptiva, que una relación no pueda demostrarse no significa automáticamente que sea falsa. Puede ser falsa, puede faltar información o puede estar fuera de lo expresable con las reglas disponibles. Esa diferencia, cercana al supuesto de mundo abierto de OWL, es la razón de que completar una ontología no sea equivalente a rellenar celdas vacías. Una propuesta debe conservar explícitamente el estado «no demostrado» hasta que exista evidencia suficiente.

La abducción añade otra capa. Parte de una conclusión que se quiere explicar y busca qué axiomas, combinados con lo ya conocido, la harían derivable. Puede producir varias explicaciones lógicamente válidas. La mejor no es necesariamente la que suena más natural: un axioma demasiado general puede justificar el caso y a la vez introducir muchas consecuencias indeseadas. La revisión debe comprobar tanto la explicación local como todo lo que cambiaría en la ontología.

Cómo probar una sugerencia antes de aceptarla

El primer paso es ejecutar un razonador sobre una copia y verificar que el axioma propuesto produce la consecuencia esperada sin crear incoherencias. El segundo es buscar contraejemplos: conceptos hermanos que quedarían relacionados por la misma regla aunque el dominio diga lo contrario. El tercero es revisar definiciones, sinónimos y procedencia con especialistas; la semejanza lingüística puede unir términos que pertenecen a niveles o contextos distintos.

El cuarto paso es registrar la decisión. La propuesta, la versión de NeurOWL, los axiomas utilizados, la explicación, el nombre del revisor y el motivo de aceptación o rechazo deberían quedar juntos. Así, una revisión posterior puede distinguir conocimiento validado de una sugerencia automática. El preprint presenta explicaciones con axiomas potencialmente ausentes; una implementación operativa necesita además este historial de gobierno.

Las pruebas del trabajo retiraron reglas de ontologías conocidas y preguntaron si el sistema podía reconstruir relaciones cuya respuesta original estaba disponible. Ese diseño permite medir recuperación en un entorno controlado. No reproduce todas las dificultades de descubrir una relación verdaderamente nueva: la ontología original puede contener errores, el texto externo puede ser ambiguo y los especialistas pueden discrepar. Una puntuación alta en reconstrucción debe leerse como evidencia del método, no como autoridad para editar una terminología clínica.

Separar lenguaje, lógica y dominio

Un equipo puede organizar la revisión en tres columnas. La columna lingüística pregunta por qué los nombres y definiciones parecen conectados. La lógica muestra exactamente qué axiomas producen la conclusión. La del dominio aporta la evidencia científica o profesional que autoriza la relación. Si solo está llena la primera, hay una similitud; si están llenas las dos primeras, hay una hipótesis formal; solo con la tercera existe base para curarla como conocimiento.

La capacidad transferible es tratar cada relación sugerida como una hipótesis versionada. Antes de incorporarla, hay que pedir explicación lógica, consecuencias globales, evidencia de dominio y responsable de la decisión. NeurOWL puede acortar la búsqueda; la validez nace del proceso que convierte una sugerencia en un axioma revisado.

También conviene proteger la estabilidad de quienes reutilizan la ontología. Añadir un axioma puede cambiar clasificaciones derivadas, consultas y mapeos sin tocar esos sistemas. La propuesta debería pasar por una versión candidata, pruebas de competencia que expresen preguntas esperadas y una nota de cambios legible. Si una consecuencia no estaba prevista, el equipo puede retirar el axioma antes de que alcance registros o decisiones. La curación no termina al aceptar una relación; incluye comprobar qué consumidores heredarán sus efectos.