From Subsumption to Satisfiability: LLM-Assisted Active Learning for OWL Ontologies. - Haoruo Zhao; Wenshuo Tang; Duncan Guthrie; Michele Sevegnani; David Flynn; Paul Harvey (CoRR, 2026)