Adding Default Attributes to EL++

Piero A. Bonatti, Marco Faella, Luigi Sauro

Abstract: The research on low-complexity nonmonotonic description logics recently identified a fragment of EL⊥, supporting defeasible inheritance with overriding, where reasoning can be carried out in polynomial time. We contribute to that framework by supporting more axiom schemata and all the concepts of EL++ without increasing asymptotic complexity.