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

Haoruo Zhao, Wenshuo Tang, Duncan Guthrie +3

In active learning, membership queries (MQs) allow a learner to pose questions to a teacher, such as ''Is every apple a fruit?'', to which the teacher responds correctly with yes o…