2 papers
cs.LO2026
Hybrid MKNF with Classical Negation in the Rule Component
Arun Raveendran Nair Sheela, Christophe Rey, Florence De Grancey
Hybrid MKNF knowledge bases under the well-founded semantics integrate Description Logics with Logic Programming. However, they do not support classical negation in the rule compon…
cs.AI2026
Hybrid MKNF for Aeronautics Applications: Usage and Heuristics
Arun Raveendran Nair Sheela, Florence De Grancey, Christophe Rey +1
The deployment of knowledge representation and reasoning technologies in aeronautics applications presents two main challenges: achieving sufficient expressivity to capture complex…