Adding Default Attributes to EL++

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.

Authors

• Piero Bonatti Universita' di Napoli Federico II
• Marco Faella University of Naples Federico II
• Luigi Sauro Universita' di Napoli Federico II

Keywords

No keywords are indexed for this paper.