Search papers, labs, and topics across Lattice.
This paper introduces DL automata as a novel formalism to evaluate ontology-mediated queries (OMQs) expressed in Horn-ALCHI, which are typically not first-order rewritable. By identifying a large class of these automata that can be transformed into unions of conjunctive two-way regular path queries (UC2RPQs), the authors establish a sufficient condition for GQL-rewritability. The findings significantly expand the applicability of GQL to a broader range of OMQs, addressing complexity issues associated with cyclic dependencies.
A new formalism allows a wide range of complex ontology-mediated queries to be efficiently rewritten into the powerful GQL standard.
The emergence of the ISO standard GQL introduces a powerful query language extending first-order logic with controlled recursion, raising the question of its applicability to evaluation of ontology-mediated queries (OMQs). We focus on OMQs consisting of atomic queries over ontologies expressed in Horn-ALCHI, an expressive Description Logic that is not, in general, first-order rewritable. To address this, we introduce DL automata, a novel formalism that captures the semantics of such OMQs via runs over fact sets. We then identify a large class of DL automata that can be rewritten into unions of conjunctive two-way regular path queries (UC2RPQs), a central fragment of GQL. Our class of automata relies on a stratification of their states, ruling out specific forms of cyclic dependencies known to raise the complexity. This yields a broad class of Horn-ALCHI OMQs that are GQL-rewritable.
