---
title: "Fixpoints in Temporal Description Logics"
authors:
  - "Enrico Franconi"
  - "David Toman"
doi: "10.5591/978-1-57735-516-8/IJCAI11-152"
url: "https://ijcai.org/proceedings/2011/152"
pdf: "https://ijcai.org/proceedings/2011/0152.pdf"
venue: "Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence"
year: 2011
pages: "875-879"
track: ""
keywords:
---

# Fixpoints in Temporal Description Logics

Enrico Franconi, David Toman

*Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence*, pages 875-879. DOI: [10.5591/978-1-57735-516-8/IJCAI11-152](https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-152)

## 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.