Journal of Artificial Intelligence Research • Vol 76
Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic
March 2023 • Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
Our concern is the problem of determining the data complexity of answering an ontology-mediated query (OMQ) formulated in linear temporal logic LTL over (Z,<) and deciding whether it is rewritable to an FO(<)-query, possibly with some extra predicates. First, we observe that, in line with the circuit complexity and FO-definability of regular languages, OMQ answering in AC0, ACC0 and NC1 coincides with FO(<,≡)-rewritability using unary predicates x ≡ 0 (mod n), FO(<,MOD)-rewritability, and FO(RPR)-rewri…