From Subsumption to Satisfiability: LLM-Assisted Active Learning for OWL Ontologies

Este artículo presenta un método de aprendizaje activo asistido por LLM para ontologías OWL, reformulando las consultas de subsunción en contra-conceptos verbalizados. Los LLM proporcionan ejemplos del mundo real para aproximar estos contra-conceptos, asegurando que solo ocurran errores de Tipo II, que solo retrasan la construcción sin introducir inconsistencias.