Fixpoints in Temporal Description Logics
Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. Pages 875-879.
Abstract
We study a decidable fixpoint extension of temporal description logics. To this end we employ and extend decidability results obtained for various temporally first-order monodic extensions of (first-order) description logics. Using these techniques we obtain decidability and tight complexity results for various fixpoint extensions of temporal description logics.
Enrico Franconi, and David Toman. 2011. Fixpoints in Temporal Description Logics. In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11. IJCAI, 875–879. https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-152
Franconi, E., & Toman, D. (2011). Fixpoints in Temporal Description Logics. In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11 (pp. 875–879). IJCAI. https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-152
@inproceedings{ijcai2011p152,
title = {Fixpoints in Temporal Description Logics},
author = {Franconi, Enrico and Toman, David},
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 = {875--879},
year = {2011},
month = {7},
doi = {10.5591/978-1-57735-516-8/IJCAI11-152},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-152},
}
TY - CPAPER TI - Fixpoints in Temporal Description Logics AU - Franconi, Enrico AU - Toman, David 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 - 875 EP - 879 DO - 10.5591/978-1-57735-516-8/IJCAI11-152 UR - https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-152 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
