发表机构
LIRMM; Inria; University of Montpellier; CNRS; DI ENS; ENS; PSL University（蒙彼利埃计算机科学、机器人学与微电子实验室; 法国国家信息与自动化研究所; 蒙彼利埃大学; 法国国家科学研究中心; 巴黎高等师范学院信息学系; 巴黎高等师范学院; 巴黎文理研究大学）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
该研究针对Horn-ALCHI本体介导查询（OMQs），引入DL自动机形式，通过状态分层排除特定循环依赖，识别出可重写为GQL核心片段UC2RPQs的通用充分条件，扩展了GQL可处理的OMQs范围。
AI 中文摘要
ISO标准GQL的出现引入了一种强大的查询语言，它通过受控递归扩展了一阶逻辑，这引发了其在评估本体介导查询（OMQs）中的适用性问题。我们聚焦于由Horn-ALCHI本体上的原子查询组成的OMQs，Horn-ALCHI是一种表达力强的描述逻辑，通常不是一阶可重写的。为解决该问题，我们引入了DL自动机，这是一种通过在事实集上运行来捕获此类OMQs语义的新形式。随后我们识别出一大类DL自动机，它们可被重写为双向合取正则路径查询的并集（UC2RPQs），这是GQL的核心片段。我们的自动机类依赖于其状态的分层，排除了已知会增加复杂度的特定形式的循环依赖，这产生了一大类可GQL重写的Horn-ALCHI OMQs。
英文摘要
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.
Comments27 pages. Technical report of a paper to appear at ISWC 2026
