DL-Lite with temporalised concepts, rigid axioms and roles

Authors:
Alessandro Artale;Roman Kontchakov;Vladislav Ryzhikov;Michael Zakharyaschev
Affiliations:
KRDB Research Centre, Free University of Bozen-Bolzano, Bolzano, Italy;School of Comp. Science and Inf. Sys., Birkbeck College, London, UK;KRDB Research Centre, Free University of Bozen-Bolzano, Bolzano, Italy;School of Comp. Science and Inf. Sys., Birkbeck College, London, UK
Venue:
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Year:
2009

Citing 15
Cited 2

Temporal logic (vol. 1): mathematical foundations and computational aspects

Temporal logic (vol. 1): mathematical foundations and computational aspects
Combining Terminological Logics with Tense Logic

EPIA '93 Proceedings of the 6th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Modeling Transition

Proceedings of the Seventh International Conference on Data Engineering
A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries

JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Extensions to description logics

The description logic handbook
Conceptual Modeling for Traditional and Spatio-Temporal Applications: The MADS Approach

Conceptual Modeling for Traditional and Spatio-Temporal Applications: The MADS Approach
Temporalising Tractable Description Logics

TIME '07 Proceedings of the 14th International Symposium on Temporal Representation and Reasoning
Evolving objects in temporal information systems

Annals of Mathematics and Artificial Intelligence
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family

Journal of Automated Reasoning
Temporal Description Logics: A Survey

TIME '08 Proceedings of the 2008 15th International Symposium on Temporal Representation and Reasoning
DL-Lite: tractable description logics for ontologies

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
DL-lite in the light of first-order logic

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
A description logic of change

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Reasoning over extended ER models

ER'07 Proceedings of the 26th international conference on Conceptual modeling
Linking data to ontologies

Journal on data semantics X

Using provenance to debug changing ontologies

Web Semantics: Science, Services and Agents on the World Wide Web
Tailoring temporal description logics for reasoning over temporal conceptual models

FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We investigate the temporal extension of the description logic DL-Litebool(RN) with the until operator on concepts, rigid (time-independent) and local (time-dependent) roles, and rigid TBox axioms. Using an embedding into the one-variable fragment of first-order temporal logic and the quasimodel technique, we prove that (i) the satisfiability problem for the resulting logic is PSpace-complete, and that (ii) by weakening until to sometime in the future we obtain an NP-complete logic, which matches the complexities of the propositional linear-time temporal logics with the corresponding temporal operators.