{"type":"ScholarlyArticle","title":"Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics","authors":[{"name":"Vladislav Ryzhikov","slug":"vladislav-ryzhikov","given":"Vladislav","family":"Ryzhikov","affiliation":"Birkbeck , University of London , UK"},{"name":"Przemyslaw Andrzej Walega","slug":"przemyslaw-andrzej-walega","given":"Przemyslaw Andrzej","family":"Walega","affiliation":"University of Oxford , U.K and University of Warsaw , Poland"},{"name":"Michael Zakharyaschev","slug":"michael-zakharyaschev","given":"Michael","family":"Zakharyaschev","affiliation":"Birkbeck , University of London , UK"}],"abstract":"We investigate the data complexity of answering queries mediated by metric temporal logic ontologies under the event-based semantics assuming that data instances are finite timed words timestamped with binary fractions. We identify classes of ontology-mediated queries answering which can be done in AC0, NC1, L, NL, P, and coNP for data complexity, provide their rewritings to first-order logic and its extensions with primitive recursion, transitive closure or datalog, and establish lower complexity bounds.","doi":"10.24963/ijcai.2019/256","url":"https://ijcai.org/proceedings/2019/256","pdf":"https://ijcai.org/proceedings/2019/0256.pdf","markdown":"https://ijcai.org/proceedings/2019/256.md","bibtex":"https://ijcai.org/proceedings/2019/bibtex/256","volume":{"slug":"2019","title":"Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2019","url":"https://ijcai.org/proceedings/2019/","year":2019,"location":"Macao","dates":"10-16 August 2019","editors":"Sarit Kraus","isbn":"978-0-9992411-4-1","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2019"},"section":"Knowledge Representation and Reasoning","track":"Main track","number":256,"pages":{"first":1851,"last":1857},"keywords":["Knowledge Representation and Reasoning: Geometric, Spatial, and Temporal Reasoning","Knowledge Representation and Reasoning: Computational Complexity of Reasoning","Knowledge Representation and Reasoning: Description Logics and Ontologies"],"videos":[],"references":[{"position":1,"raw":"[Alur and Dill, 1994] R. Alur and D. Dill. A theory of timed automata. Theor. Com. Sci., 126(2):183-235, 1994.","title":"A theory of timed automata","authors":"R Alur, D Dill","year":"1994","venue":"Theor. Com. Sci","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Alur and Henzinger, 1993] R. Alur and T. Henzinger. Real- time logics: Complexity and expressiveness. Inf. Comput., 104(1):35-77, 1993.","title":"Realtime logics: Complexity and expressiveness","authors":"R Alur, T Henzinger","year":"1993","venue":"Inf. Comput","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Arora and Barak, 2009] S. Arora and B. Barak. Computa- tional Complexity: A Modern Approach. Cambridge Uni- versity Press, 2009.","title":"Computational Complexity: A Modern Approach","authors":"S Arora, B Barak","year":"2009","venue":null,"doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Artale et al., 2015] A. Artale, R. Kontchakov, A. Kov- tunova, V. Ryzhikov, F. Wolter, and M. Zakharyaschev. First-order rewritability of temporal ontology-mediated queries. In Proc. IJCAI, pages 2706-2712, 2015.","title":"First-order rewritability of temporal ontology-mediated queries","authors":"A Artale, R Kontchakov, A Kovtunova, V Ryzhikov, F Wolter, M Zakharyaschev","year":"2015","venue":"Proc. IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2015/383"},{"position":5,"raw":"[Artale et al., 2017] A. Artale, R. Kontchakov, A. Kov- tunova, V. Ryzhikov, F. Wolter, and M. Zakharyaschev. Ontology-mediated query answering over temporal data: A survey. In TIME, vol. 90 of LIPIcs, 1:1-1:37, 2017.","title":"Ontology-mediated query answering over temporal data: A survey","authors":"A Artale, R Kontchakov, A Kovtunova, V Ryzhikov, F Wolter, M Zakharyaschev","year":"2017","venue":"LIPIcs","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Baader et al., 2013] F. Baader, S. Borgwardt, and M. Lipp- mann. Temporalizing ontology-based data access. In Proc. CADE-24, vol. 7898 of LNCS, 330-344, 2013.","title":"Temporalizing ontology-based data access","authors":"F Baader, S Borgwardt, M Lippmann","year":"2013","venue":"Proc. CADE-24","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Baader et al., 2017] F. Baader, S. Borgwardt, P. Koopmann, A. Ozaki, and V. Thost. Metric temporal description logics with interval-rigid names. In Proc. FroCoS, 60-76, 2017.","title":"Metric temporal description logics with interval-rigid names","authors":"F Baader, S Borgwardt, P Koopmann, A Ozaki, V Thost","year":"2017","venue":"Proc. FroCoS","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Baudinet et al., 1993] M. Baudinet, J. Chomicki, and P. Wolper. Temporal deductive databases. In Temporal Databases, pages 294-320. 1993.","title":"Temporal deductive databases","authors":"M Baudinet, J Chomicki, P Wolper","year":"1993","venue":"Temporal Databases","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Beck et al., 2018] H. Beck, M. Dao-Tran, and T. Eiter. LARS: A logic-based framework for analytic reasoning over streams. Artif. Intell., 261:16-70, 2018.","title":"LARS: A logic-based framework for analytic reasoning over streams","authors":"H Beck, M Dao-Tran, T Eiter","year":"2018","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Bienvenu and Ortiz, 2015] M. Bienvenu and M. Ortiz. Ont- ology-mediated query answering with data-tractable de- scription logics. RW, vol. 9203 of LNCS, 218-307, 2015.","title":"Ontology-mediated query answering with data-tractable description logics","authors":"M Bienvenu, M Ortiz","year":"2015","venue":"LNCS","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Bienvenu et al., 2014] M. Bienvenu, B. ten Cate, C. Lutz, and F. Wolter. Ontology-based data access: A study through disjunctive datalog, CSP, and MMSNP. ACM Trans. Database Syst., 39(4):33:1-33:44, 2014.","title":"Ontology-based data access: A study through disjunctive datalog, CSP, and MMSNP","authors":"M Bienvenu, B Cate, C Lutz, F Wolter","year":"2014","venue":"ACM Trans. Database Syst","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Bouyer et al., 2018] P. Bouyer, U. Fahrenberg, K. Larsen, N. Markey, J. Ouaknine, and J. Worrell. Model checking real-time systems. In Handbook of Model Checking, pages 1001-1046. Springer, 2018.","title":"Model checking real-time systems","authors":"P Bouyer, U Fahrenberg, K Larsen, N Markey, J Ouaknine, J Worrell","year":"2018","venue":"Handbook of Model Checking","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Brandt et al., 2018] S. Brandt, E. Kalayci, V. Ryzhikov, G. Xiao, M. Zakharyaschev. Querying log data with metric temporal logic. J. Artif. Intell. Res., 62:829-877, 2018.","title":"Querying log data with metric temporal logic","authors":"S Brandt, E Kalayci, V Ryzhikov, G Xiao, M Zakharyaschev","year":"2018","venue":"J. Artif. Intell. Res","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Brzoska, 1998] C. Brzoska. Programming in metric tempo- ral logic. Theor. Comput. Sci., 202(1-2):55-125, 1998.","title":"Programming in metric temporal logic","authors":"C Brzoska","year":"1998","venue":"Theor. Comput. Sci","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Calvanese et al., 2007] D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. Tractable rea- soning and efficient query answering in description logics: The DL-Lite family. J. Autom. Reas., 39:385-429, 2007.","title":"Tractable reasoning and efficient query answering in description logics: The DL-Lite family","authors":"D Calvanese, G De Giacomo, D Lembo, M Lenzerini, R Rosati","year":"2007","venue":"J. Autom. Reas","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Chomicki and Toman, 1998] J. Chomicki and D. Toman. Temporal logic in information systems. In Logics for Databases and Information Systems, pages 31-70. Kluwer, 1998.","title":"Temporal logic in information systems","authors":"J Chomicki, D Toman","year":"1998","venue":"Logics for Databases and Information Systems","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Compton and Laflamme, 1990] K. Compton and C. Laflamme. An algebra and a logic for NC 1 . Inf. Comput., 87:240-262, 1990.","title":"An algebra and a logic for NC 1","authors":"Laflamme Compton, K Compton, C Laflamme","year":"1990","venue":"Inf. Comput","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Gottlob et al., 2014] G. Gottlob, G. Orsi, and A. Pieris. Query rewriting and optimization for ontological data- bases. ACM Trans. Database Syst., 39:25:1-25:46, 2014.","title":"Query rewriting and optimization for ontological databases","authors":"G Gottlob, G Orsi, A Pieris","year":"2014","venue":"ACM Trans. Database Syst","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Grädel, 1991] E. Grädel. On transitive closure logic. In CSL, volume 626 of LNCS, 149-163. Springer, 1991.","title":"On transitive closure logic","authors":"E Grädel","year":"1991","venue":"CSL","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Gutiérrez-Basulto et al., 2016a] V. Gutiérrez-Basulto, J. Jung, and R. Kontchakov. Temporalized EL ontologies for accessing temporal data: Complexity of atomic queries. In Proc. IJCAI, pages 1102-1108, 2016.","title":"Temporalized EL ontologies for accessing temporal data: Complexity of atomic queries","authors":"Gutiérrez-Basulto","year":"2016","venue":"Proc. IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2016/160"},{"position":21,"raw":"[Gutiérrez-Basulto et al., 2016b] V. Gutiérrez-Basulto, J. Jung, and A. Ozaki. On metric temporal description logics. In ECAI, volume 285 of Frontiers in Artificial Intelligence and Applications, pages 837-845, 2016.","title":"On metric temporal description logics","authors":"Gutiérrez-Basulto","year":"2016","venue":"Frontiers in Artificial Intelligence and Applications","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Immerman, 1999] N. Immerman. Descriptive Complexity. Springer, 1999.","title":"Descriptive Complexity","authors":"N Immerman","year":"1999","venue":null,"doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Koymans, 1990] R. Koymans. Specifying real-time prop- erties with metric temporal logic. Real-Time Systems, 2(4):255-299, 1990.","title":"Specifying real-time properties with metric temporal logic","authors":"R Koymans","year":"1990","venue":"Real-Time Systems","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Lutz and Sabellek, 2017] C. Lutz and L. Sabellek. Ontology-mediated querying with the description logic EL: trichotomy and linear datalog rewritability. In Proc. IJCAI, pages 1181-1187, 2017.","title":"Ontology-mediated querying with the description logic EL: trichotomy and linear datalog rewritability","authors":"C Lutz, L Sabellek","year":"2017","venue":"Proc. IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2017/164"},{"position":25,"raw":"[Lutz et al., 2008] C. Lutz, F. Wolter, and M. Zakharyaschev. Temporal description logics: A survey. In Proc. TIME, pages 3-14, 2008.","title":"Temporal description logics: A survey","authors":"C Lutz, F Wolter, M Zakharyaschev","year":"2008","venue":"Proc. TIME","doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[Ouaknine and Worrell, 2008] J. Ouaknine and J. Worrell. Some recent results in metric temporal logic. In FOR- MATS, pages 1-13, 2008.","title":"Some recent results in metric temporal logic","authors":"J Ouaknine, J Worrell","year":"2008","venue":"FOR-MATS","doi":null,"url":null,"internal_url":null},{"position":27,"raw":"[Özçep and Möller, 2014] Ö. Özçep and R. Möller. Ontol- ogy based data access on temporal and streaming data. In RW, volume 8714 of LNCS, pages 279-312, 2014.","title":"Ontology based data access on temporal and streaming data","authors":"Möller Özçep, Ö Özçep, R Möller","year":"2014","venue":"RW","doi":null,"url":null,"internal_url":null},{"position":28,"raw":"[Ronca et al., 2018] A. Ronca, M. Kaminski, B. Cuenca Grau, B. Motik, and I. Horrocks. Stream reasoning in tem- poral datalog. In AAAI, pages 1941-1948, 2018.","title":"Stream reasoning in temporal datalog","authors":"A Ronca, M Kaminski, B Cuenca Grau, B Motik, I Horrocks","year":"2018","venue":"AAAI","doi":null,"url":null,"internal_url":null},{"position":29,"raw":"[Ryzhikov et al., 2019] V. Ryzhikov, P. Wałęga, and M. Za- kharyaschev. Data complexity and rewritability of onto- logy-mediated queries in metric temporal logic under the event-based semantics (Technical Report). http://arxiv.org/ abs/1905.12990, 2019.","title":"Data complexity and rewritability of ontology-mediated queries in metric temporal logic under the event-based semantics","authors":"V Ryzhikov, P Wałęga, M Zakharyaschev","year":"2019","venue":null,"doi":null,"url":"http://arxiv.org/abs/1905.12990","internal_url":null},{"position":30,"raw":"[Soylu et al., 2017] A. Soylu, M. Giese, R. Schlatte, E. Jiménez-Ruiz, E. Kharlamov, Ö. Özçep, C. Neuenstadt, and S. Brandt. Querying industrial stream-temporal data: An ontology-based visual approach. JAISE, 9(1):77-95, 2017.","title":"Querying industrial stream-temporal data: An ontology-based visual approach","authors":"A Soylu, M Giese, R Schlatte, E Jiménez-Ruiz, E Kharlamov, Ö Özçep, C Neuenstadt, S Brandt","year":"2017","venue":"JAISE","doi":null,"url":null,"internal_url":null},{"position":31,"raw":"[Wałęga et al., 2019] P. Wałęga, B. Cuenca Grau, and M. Kaminski. Reasoning over streaming data in metric tem- poral datalog. In AAAI, 2019.","title":"Reasoning over streaming data in metric temporal datalog","authors":"P Wałęga, B Cuenca Grau, M Kaminski","year":"2019","venue":"AAAI","doi":null,"url":null,"internal_url":null},{"position":32,"raw":"[Xiao et al., 2018] G. Xiao, D. Calvanese, R. Kontchakov, D. Lembo, A. Poggi, R. Rosati, and M. Zakharyaschev. Ontology-based data access: A survey. In Proc. IJCAI, 2018.","title":"Ontology-based data access: A survey","authors":"G Xiao, D Calvanese, R Kontchakov, D Lembo, A Poggi, R Rosati, M Zakharyaschev","year":"2018","venue":"Proc. IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2018/777"}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}