First-order rewritability of temporal ontology-mediated queries
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev · BIROn (Birkbeck, University of London) · 2015
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 investi-gate rewritability of these queries into two-sorted first-order logic with < and PLUS over time. 1