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

Dieser Artikel stellt eine LLM-gestützte aktive Lernmethode für OWL-Ontologien vor, bei der Subsumtionsanfragen in verbalisierte Gegenkonzepte umformuliert werden. LLMs liefern Beispiele aus der realen Welt, um diese Gegenkonzepte zu approximieren und sicherzustellen, dass nur Typ-II-Fehler auftreten, die den Aufbau verzögern, ohne Inkonsistenzen einzuführen.