RESEARCHarXiv CS.AI·21/04/2026
From Subsumption to Satisfiability: LLM-Assisted Active Learning for OWL Ontologies
Cet article propose une méthode d'apprentissage actif assistée par LLM pour les ontologies OWL, où les requêtes de subsomption sont reformulées en contre-concepts et verbalisées. Les LLM fournissent des exemples concrets pour ces contre-concepts, garantissant que seules des erreurs de Type II se produisent, retardant la construction sans introduire d'incohérences.
31