ML Anthology

Fixpoints in Temporal Description Logics

Enrico Franconi, David Toman
IJCAI 2011 pp. 875-880
doi:10.5591/978-1-57735-516-8/IJCAI11-152 /ijcai/2011/franconi2011ijcai-fixpoints/

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.

PDF IJCAI Semantic Scholar

Cite

Text

Franconi and Toman. "Fixpoints in Temporal Description Logics." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-152

Markdown

[Franconi and Toman. "Fixpoints in Temporal Description Logics." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/franconi2011ijcai-fixpoints/) doi:10.5591/978-1-57735-516-8/IJCAI11-152

BibTeX

@inproceedings{franconi2011ijcai-fixpoints,
  title     = {{Fixpoints in Temporal Description Logics}},
  author    = {Franconi, Enrico and Toman, David},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2011},
  pages     = {875-880},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-152},
  url       = {https://mlanthology.org/ijcai/2011/franconi2011ijcai-fixpoints/}
}