---
title: "First-Order Rewritability of Temporal Ontology-Mediated Queries"
authors:
  - "Alessandro Artale"
  - "Roman Kontchakov"
  - "Alisa Kovtunova"
  - "Vladislav Ryzhikov"
  - "Frank Wolter"
  - "Michael Zakharyaschev"
doi: ""
url: "https://ijcai.org/proceedings/2015/383"
pdf: "https://ijcai.org/proceedings/2015/0383.pdf"
venue: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence"
year: 2015
pages: "2706-2711"
track: "Special Track on Knowledge Representation and Reasoning"
keywords:
---

# First-Order Rewritability of Temporal Ontology-Mediated Queries

Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

*Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence*, pages 2706-2711.

## 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.