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. 


1 Figure or Table


Citations per Year

Citation Velocity: 4

Averaging 4 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.