Reasoning about Typicality in Low Complexity DLs: The Logics EL⊥Tmin and DL-Litec Tmin
Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. Pages 894-898.
Abstract
We propose a nonmonotonic extension of low complexity Description Logics EL⊥ and DL-Litecore for reasoning about typicality and defeasible properties. The resulting logics are called EL⊥Tmin and DL-LitecTmin. Concerning DL-LitecTmin, we prove that entailment is in Πp2. With regard to EL⊥Tmin, we first show that entailment remains EXPTIME-hard. Next we consider the known fragment of Left Local EL⊥Tmin and we prove that the complexity of entailment drops to Πp2
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, and Gian Luca Pozzato. 2011. Reasoning about Typicality in Low Complexity DLs: The Logics EL⊥Tmin and DL-Litec Tmin. In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11. IJCAI, 894–898. https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-155
Giordano, L., Gliozzi, V., Olivetti, N., & Pozzato, G. L. (2011). Reasoning about Typicality in Low Complexity DLs: The Logics EL⊥Tmin and DL-Litec Tmin. In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11 (pp. 894–898). IJCAI. https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-155
@inproceedings{ijcai2011p155,
title = {Reasoning about Typicality in Low Complexity DLs: The Logics EL⊥Tmin and DL-Litec Tmin},
author = {Giordano, Laura and Gliozzi, Valentina and Olivetti, Nicola and Pozzato, Gian Luca},
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 = {894--898},
year = {2011},
month = {7},
doi = {10.5591/978-1-57735-516-8/IJCAI11-155},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-155},
}
TY - CPAPER TI - Reasoning about Typicality in Low Complexity DLs: The Logics EL⊥Tmin and DL-Litec Tmin AU - Giordano, Laura AU - Gliozzi, Valentina AU - Olivetti, Nicola AU - Pozzato, Gian Luca 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 - 894 EP - 898 DO - 10.5591/978-1-57735-516-8/IJCAI11-155 UR - https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-155 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
