实体 Horn-ALCHI

Horn-ALCHI

PulseAugur coverage of Horn-ALCHI — every cluster mentioning Horn-ALCHI across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_185299 · Aug 6 · 04:00

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

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