ML Anthology

First-Order Rewritability of Temporal Ontology-Mediated Queries

Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
IJCAI 2015 pp. 2706-2712
/ijcai/2015/artale2015ijcai-first/

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.

PDF IJCAI Semantic Scholar

Cite

Text

Artale et al. "First-Order Rewritability of Temporal Ontology-Mediated Queries." International Joint Conference on Artificial Intelligence, 2015.

Markdown

[Artale et al. "First-Order Rewritability of Temporal Ontology-Mediated Queries." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/artale2015ijcai-first/)

BibTeX

@inproceedings{artale2015ijcai-first,
  title     = {{First-Order Rewritability of Temporal Ontology-Mediated Queries}},
  author    = {Artale, Alessandro and Kontchakov, Roman and Kovtunova, Alisa and Ryzhikov, Vladislav and Wolter, Frank and Zakharyaschev, Michael},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {2706-2712},
  url       = {https://mlanthology.org/ijcai/2015/artale2015ijcai-first/}
}