Past and Future of DL-Lite

We design minimal temporal description logics that are capable of expressing various aspects of temporal conceptual data models and investigate their computational complexity. We show that, depending on the required types of temporal and atemporal constraints, the satisfiability problem for temporal knowledge bases in the resulting logics can be NLOGSPACE-, NP- and PSPACE-complete, as well as undecidable.

• Type: Conference
• Year: 2010
• Where: AAAI
• Authors: Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
• Keywords: AAAI 2010, Intelligent Agents, Temporal Conceptual Data, Temporal Description Logics, Temporal Knowledge Bases