PulseAugur
中
实时 10:59:13
English(EN) A General Sufficient Condition for Rewriting Horn-ALCHI Atomic Queries into GQL

新条件使 Horn-ALCHI 查询可重写为 GQL

作者 PulseAugur 编辑部 · [1 个来源] ·

研究人员已确定了一个将 Horn-ALCHI（一种富有表现力的描述逻辑）中的原子查询重写为图查询语言 (GQL) 的一般充分条件。这项工作引入了 DL 自动机来捕获本体介导查询 (OMQs) 的语义，并证明了这些自动机的一个特定类别可以转换为 UC2RPQs，这是 GQL 的核心组成部分。所识别的自动机类别依赖于状态分层来管理循环依赖，从而使广泛的 Horn-ALCHI OMQs 能够被 GQL 重写。 AI

影响 这项研究有助于知识表示查询语言的正式化，可能影响 AI 系统中复杂数据查询的处理方式。

排序理由 学术论文，详细介绍了查询语言重写的新条件。[lever_c_demoted from research: ic=1 ai=1.0]

在 arXiv cs.AI 阅读 →

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →

新条件使 Horn-ALCHI 查询可重写为 GQL

报道来源 [1]

  1. arXiv cs.AI TIER_1 English(EN) · David Carral, Calixte Gruson, Quentin Mani\`ere ·

    重写 Horn-ALCHI 原子查询为 GQL 的一个通用充分条件

    arXiv:2608.04945v1 Announce Type: cross Abstract: 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 focu…

相关实体

相关话题