Fixpoint Extensions of Temporal Description Logics

In this paper we introduce a decidable fixpoint extension of temporal Description Logics. We exploit the decidability results obtained for various monodic extensions of Description Logics to obtain decidability and tight complexity results for temporal fixpoint extensions of these Description Logics and more generally for the decidable monodic fragments of first order logic.

• Type: Conference
• Year: 2003
• Where: DLOG
• Authors: Enrico Franconi, David Toman
• Keywords: Automated Reasoning, Decidable fixpoint Extension, Description Logics, DLOG 2003, Temporal Description Logics