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

Este artigo propõe um método de aprendizado ativo assistido por LLMs para ontologias OWL, onde consultas de subsunção são reformuladas em contra-conceitos e verbalizadas. LLMs fornecem exemplos do mundo real para aproximar esses contra-conceitos, garantindo que apenas erros de Tipo II ocorram, o que apenas atrasa o processo de construção sem introduzir inconsistências.