1 citations · 1 across the 17 of their papers we have counts for
Showing 2026 · cs.AIShow all
2 papers · 2 filters
cs.AI2026
Syntactic Simplification of OWL Class Expressions
Alkid Baci, N'Dah Jean Kouagou, Caglar Demir +1
Class expression learning often produces complex OWL class expressions that are difficult to interpret and reason over. However, by following theoretically grounded simplification…
cs.AI2026
Rethinking Explanations: Formalizing Contrast in Description Logics
Yasir Mahmood, Arnab Sharma, Axel-Cyrille Ngonga Ngomo +1
There has been a growing interest in explaining entailments over description logic (DL) knowledge bases. The existing explanation formalisms focus on justifications to explain true…