A Cookbook for Temporal Conceptual Data Modelling with Description Logics

Abstract

We design temporal description logics (TDLs) suitable for reasoning about temporal conceptual data models and investigate their computational complexity. Our formalisms are based on <i>DL-Lite</i> logics with three types of concept inclusions (ranging from atomic concept inclusions and disjointness to the full Booleans), as well as cardinality constraints and role inclusions. The logics are interpreted over the Cartesian products of object domains and the flow of time (&Zopf;, &lt;), satisfying the constant domain assumption. Concept and role inclusions of the TBox hold at all moments of time (globally), and data assertions of the ABox hold at specified moments of time. To express temporal constraints of conceptual data models, the languages are equipped with flexible and rigid roles, standard future and past temporal operators on concepts, and operators &#8220;always&#8221; and &#8220;sometime&#8221; on roles. The most expressive of our TDLs (which can capture lifespan cardinalities and either qualitative or quantitative evolution constraints) turns out to be undecidable. However, by omitting some of the temporal operators on concepts/roles or by restricting the form of concept inclusions, we construct logics whose complexity ranges between NL<scp>og</scp>S<scp>pace</scp> and PS<scp>pace</scp>. These positive results are obtained by reduction to various clausal fragments of propositional temporal logic, which opens a way to employ propositional or first-order temporal provers for reasoning about temporal data models.

DOI: 10.1145/2629565

Extracted Key Phrases

13 Figures and Tables

01020201520162017
Citations per Year

Citation Velocity: 12

Averaging 12 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.

Cite this paper

@article{Artale2014ACF, title={A Cookbook for Temporal Conceptual Data Modelling with Description Logics}, author={Alessandro Artale and Roman Kontchakov and Vladislav Ryzhikov and Michael Zakharyaschev}, journal={ACM Trans. Comput. Log.}, year={2014}, volume={15}, pages={25:1-25:50} }