AAAI Publications, Twenty-Second International Joint Conference on Artificial Intelligence

Font Size: 
Fixpoints in Temporal Description Logics
Enrico Franconi, David Toman

Last modified: 2011-06-28


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.

Full Text: PDF