On the Data Complexity of Ontology-Mediated Queries with MTL Operators over Timed Words

We report on our initial results regarding the data complexity of answering atomic queries mediated by ontologies given in a Horn fragment of the metric temporal logic MTL. We adopt the pointwise semantics for MTL over dense time. The complexity classes involved are AC , NC, L, NL, and P.

[1]  Marek Chrobak,et al.  Finite Automata and Unary Languages , 1986, Theor. Comput. Sci..

[2]  Neil Immerman,et al.  Descriptive Complexity , 1999, Graduate Texts in Computer Science.

[3]  Joël Ouaknine,et al.  On the decidability of metric temporal logic , 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).

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

[5]  Frank Wolter,et al.  Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk) , 2017, TIME.

[6]  Anthony Widjaja To.  Unary finite automata vs. arithmetic progressions , 2008 .

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

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

[9]  Ron Koymans,et al.  Specifying real-time properties with metric temporal logic , 1990, Real-Time Systems.

[10]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[11]  Joël Ouaknine,et al.  Some Recent Results in Metric Temporal Logic , 2008, FORMATS.

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

[13]  Frank Wolter,et al.  Temporal Description Logic for Ontology-Based Data Access , 2013, IJCAI.

[14]  Michael Zakharyaschev,et al.  Querying Log Data with Metric Temporal Logic , 2017, J. Artif. Intell. Res..

[15]  Jan Chomicki,et al.  Temporal Logic in Information Systems , 1998, Logics for Databases and Information Systems.

[16]  Michael Zakharyaschev,et al.  A Framework for Temporal Ontology-Based Data Access: A Proposal , 2017, ADBIS.

[17]  Marianne Baudinet,et al.  Temporal Deductive Databases , 1993, Temporal Databases.