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 2022poster0 citations

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

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.

Knowledge Representation and Reasoning: Description Logics and OntologiesKnowledge Representation and Reasoning: Automated Reasoning and Theorem ProvingKnowledge Representation and Reasoning: Computational Complexity of ReasoningKnowledge Representation and Reasoning: Knowledge Representation Languages

BibTeX

@inproceedings{ijcai2022p794,
  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 = {Proceedings of the Thirty-First International Joint Conference on
               Artificial Intelligence, {IJCAI-22}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {Lud De Raedt},
  pages     = {5703--5707},
  year      = {2022},
  month     = {7},
  note      = {Journal Track},
  doi       = {10.24963/ijcai.2022/794},
  url       = {https://doi.org/10.24963/ijcai.2022/794},
}