Adding default attributes to EL

  • Published 2011


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 constructs of EL without increasing asymptotic complexity.

1 Figure or Table

Cite this paper

@inproceedings{2011AddingDA, title={Adding default attributes to EL}, author={}, year={2011} }