Journal ArticleOPEN ACCESS

First-order rewritability of ontology-mediated queries in linear temporal logic

Artificial Intelligence (2021) 299
DOI: 10.1016/j.artint.2021.103536
18Citations
Citations of this article
32Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

We investigate ontology-based data access to temporal data. We consider temporal ontologies given in linear temporal logic LTL interpreted over discrete time (Z, 1, or FO(RPR), which extends FO(

Author supplied keywords

Cite

CITATION STYLE

APA

Artale, A., Kontchakov, R., Kovtunova, A., Ryzhikov, V., Wolter, F., & Zakharyaschev, M. (2021). First-order rewritability of ontology-mediated queries in linear temporal logic. Artificial Intelligence, 299. https://doi.org/10.1016/j.artint.2021.103536

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free