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

This paper introduces an LLM-assisted active learning method for OWL ontologies, where subsumption queries are reformulated into verbalized counter-concepts for LLMs. LLMs provide real-world examples to approximate these counter-concepts, ensuring that only Type II errors occur, which merely delay the construction process without introducing inconsistencies.