实体
Horn-ALCHI
Horn-ALCHI
PulseAugur coverage of Horn-ALCHI — every cluster mentioning Horn-ALCHI across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
新条件使 Horn-ALCHI 查询可重写为 GQL
研究人员已确定了一个将 Horn-ALCHI（一种富有表现力的描述逻辑）中的原子查询重写为图查询语言 (GQL) 的一般充分条件。这项工作引入了 DL 自动机来捕获本体介导查询 (OMQs) 的语义，并证明了这些自动机的一个特定类别可以转换为 UC2RPQs，这是 GQL 的核心组成部分。所识别的自动机类别依赖于状态分层来管理循环依赖，从而使广泛的 Horn-ALCHI OMQs 能够被 GQL 重写。
-
研究人员发现 Horn-ALCHI 查询可重写为 GQL
研究人员已确定了一个通用条件，可将 Horn-ALCHI（一种富有表现力的描述逻辑）中的原子查询重写为 GQL（图查询语言）。这很重要，因为 Horn-ALCHI 通常不可重写为一阶逻辑，而 GQL 是一个新的 ISO 标准查询语言，它通过受控递归扩展了一阶逻辑。所提出的方法使用一种称为 DL 自动机的 novel formalism 来捕获这些查询的语义。通过识别一类可重写为 UC2RPQs（GQL 的一个片段）的 DL 自动机，该…