Proceedings Abstracts of the Twenty-Fourth International Joint Conference on Artificial Intelligence

First-Order Rewritability of Temporal Ontology-Mediated Queries / 2706
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

Aiming at ontology-based data access over temporal, in particular streaming data, we design a language of ontology-mediated queries by extending OWL 2 QL and SPARQL with temporal operators, and investigate rewritability of these queries into two-sorted first-order logic with < and PLUS over time.