ML Anthology

On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract)

Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
IJCAI 2022 pp. 5703-5707
doi:10.24963/IJCAI.2022/794 /ijcai/2022/artale2022ijcai-first/

Abstract

We argue that linear temporal logic LTL in tandem with monadic first-order logic can be used as a ba- sic language for ontology-based access to tempo- ral data and obtain a classification of the resulting ontology-mediated queries according to the type of standard first-order queries they can be rewritten to.

PDF IJCAI Semantic Scholar

Cite

Text

Artale et al. "On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2022. doi:10.24963/IJCAI.2022/794

Markdown

[Artale et al. "On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2022.](https://mlanthology.org/ijcai/2022/artale2022ijcai-first/) doi:10.24963/IJCAI.2022/794

BibTeX

@inproceedings{artale2022ijcai-first,
  title     = {{On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract)}},
  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      = {2022},
  pages     = {5703-5707},
  doi       = {10.24963/IJCAI.2022/794},
  url       = {https://mlanthology.org/ijcai/2022/artale2022ijcai-first/}
}