On the Complexity of EL with Defeasible Inclusions

Bonatti, Piero A.; Faella, Marco; Sauro, Luigi

doi:10.5591/978-1-57735-516-8/IJCAI11-134

On the Complexity of EL with Defeasible Inclusions

Piero A. Bonatti, Marco Faella, Luigi Sauro

Download BibTeX Cite

Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. Pages 762-766.

https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-134

Abstract

We analyze the complexity of reasoning in EL with defeasible inclusions, and extend previous results by tightening lower and upper complexity bounds and by relaxing some syntactic restrictions. We further extend the old framework by supporting arbitrary priority relations over defeasible inclusions.

Piero A. Bonatti, Marco Faella, and Luigi Sauro. 2011. On the Complexity of EL with Defeasible Inclusions. In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11. IJCAI, 762–766. https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-134

@inproceedings{ijcai2011p134,
  title     = {On the Complexity of EL with Defeasible Inclusions},
  author    = {Bonatti, Piero A. and Faella, Marco and Sauro, Luigi},
  booktitle = {Proceedings of the Twenty-Second International Joint Conference on
               Artificial Intelligence, {IJCAI-11}},
  publisher = {AAAI Press/International Joint Conferences on Artificial Intelligence},
  editor    = {Toby Walsh},
  pages     = {762--766},
  year      = {2011},
  month     = {7},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-134},
  url       = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-134},
}

TY  - CPAPER
TI  - On the Complexity of EL with Defeasible Inclusions
AU  - Bonatti, Piero A.
AU  - Faella, Marco
AU  - Sauro, Luigi
T2  - Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11
PB  - AAAI Press/International Joint Conferences on Artificial Intelligence
PY  - 2011
SP  - 762
EP  - 766
DO  - 10.5591/978-1-57735-516-8/IJCAI11-134
UR  - https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-134
ER  -