Metric Temporal Extensions of DL-Lite and Interval-Rigid Names

The DL-Lite description logics allow for modeling domain knowledge on top of databases and for efficient reasoning. We focus on metric temporal extensions of DL-Lite_bool and its fragments, and study the complexity of satisfiability. In particular, we investigate the influence of rigid and interval-rigid symbols, which allow for modeling knowledge that remains valid over (some) time. We show that especially the latter add considerable expressive power in many logics, but they do not always increase complexity.

[1]  Veronika Thost,et al.  On Implementing Temporal Query Answering in DL-Lite (extended abstract) , 2015, Description Logics.

[2]  Frank Wolter,et al.  First-Order Rewritability of Temporal Ontology-Mediated Queries , 2015, IJCAI.

[3]  Franz Baader,et al.  LTL over description logic axioms , 2008, TOCL.

[4]  Alessandro Artale,et al.  A Cookbook for Temporal Conceptual Data Modelling with Description Logics , 2012, TOCL.

[5]  F. Wolter,et al.  Temporalizing Description Logics , 1998, FroCoS.

[6]  Thomas A. Henzinger,et al.  A really temporal logic , 1994, JACM.

[7]  Michael Zakharyaschev,et al.  Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic , 2017, AAAI.

[8]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[9]  D. Gabbay,et al.  Many-Dimensional Modal Logics: Theory and Applications , 2003 .

[10]  Stefan Borgwardt,et al.  Temporalizing rewritable query languages over knowledge bases , 2015, J. Web Semant..

[11]  Diego Calvanese,et al.  The DL-Lite Family and Relations , 2009, J. Artif. Intell. Res..

[12]  Veronika Thost,et al.  Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information , 2017, KI - Künstliche Intelligenz.

[13]  Diego Calvanese,et al.  Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family , 2007, Journal of Automated Reasoning.

[14]  A. Prasad Sistla,et al.  The complexity of propositional linear temporal logics , 1982, STOC '82.

[15]  Jean Christoph Jung,et al.  On Metric Temporal Description Logics , 2016, ECAI.

[16]  Franz Baader,et al.  Metric Temporal Description Logics with Interval-Rigid Names , 2017, Description Logics.

[17]  Stefan Borgwardt,et al.  Temporal Query Answering in the Description Logic EL , 2015, IJCAI.

[18]  Stefan Borgwardt,et al.  Temporal Query Answering in DL-Lite with Negation , 2015, GCAI.

[19]  Carsten Lutz,et al.  Temporalising Tractable Description Logics , 2007, 14th International Symposium on Temporal Representation and Reasoning (TIME'07).

[20]  Thomas A. Henzinger,et al.  Real-Time Logics: Complexity and Expressiveness , 1993, Inf. Comput..