{"type":"ScholarlyArticle","title":"First-Order Rewritability of Temporal Ontology-Mediated Queries","authors":[{"name":"Alessandro Artale","slug":"alessandro-artale","given":"Alessandro","family":"Artale","affiliation":""},{"name":"Roman Kontchakov","slug":"roman-kontchakov","given":"Roman","family":"Kontchakov","affiliation":""},{"name":"Alisa Kovtunova","slug":"alisa-kovtunova","given":"Alisa","family":"Kovtunova","affiliation":""},{"name":"Vladislav Ryzhikov","slug":"vladislav-ryzhikov","given":"Vladislav","family":"Ryzhikov","affiliation":""},{"name":"Frank Wolter","slug":"frank-wolter","given":"Frank","family":"Wolter","affiliation":""},{"name":"Michael Zakharyaschev","slug":"michael-zakharyaschev","given":"Michael","family":"Zakharyaschev","affiliation":""}],"abstract":"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.","doi":null,"url":"https://ijcai.org/proceedings/2015/383","pdf":"https://ijcai.org/proceedings/2015/0383.pdf","markdown":"https://ijcai.org/proceedings/2015/383.md","bibtex":"https://ijcai.org/proceedings/2015/bibtex/383","volume":{"slug":"2015","title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2015","url":"https://ijcai.org/proceedings/2015/","year":2015,"location":"Buenos Aires, Argentina","dates":"25–31 July 2015","editors":"Qiang Yang and Michael Wooldridge","isbn":"978-1-57735-738-4","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Special Track on Knowledge Representation and Reasoning","track":"Special Track on Knowledge Representation and Reasoning","number":383,"pages":{"first":2706,"last":2711},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}