Fixpoints in Temporal Description Logics
Enrico Franconi and David Toman
We study decidable fixpoint extensions 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.