Adding Default Attributes to EL++

Piero A. Bonatti, Marco Faella, Luigi Sauro

AAAI 2011 pp. 171-176

doi:10.1609/AAAI.V25I1.7849 /aaai/2011/bonatti2011aaai-adding/

Abstract

The research on low-complexity nonmonotonic description logics recently identified a fragment of EL with bottom, 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 concept constructors of EL++ without increasing asymptotic complexity. Moreover, we show that all the syntactic restrictions we adopt are necessary by proving several coNP-hardness results.

PDF AAAI Semantic Scholar

Cite

Text

Bonatti et al. "Adding Default Attributes to EL++." AAAI Conference on Artificial Intelligence, 2011. doi:10.1609/AAAI.V25I1.7849

Markdown

[Bonatti et al. "Adding Default Attributes to EL++." AAAI Conference on Artificial Intelligence, 2011.](https://mlanthology.org/aaai/2011/bonatti2011aaai-adding/) doi:10.1609/AAAI.V25I1.7849

BibTeX

@inproceedings{bonatti2011aaai-adding,
  title     = {{Adding Default Attributes to EL++}},
  author    = {Bonatti, Piero A. and Faella, Marco and Sauro, Luigi},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2011},
  pages     = {171-176},
  doi       = {10.1609/AAAI.V25I1.7849},
  url       = {https://mlanthology.org/aaai/2011/bonatti2011aaai-adding/}
}