Graph Query Language
PulseAugur coverage of Graph Query Language — every cluster mentioning Graph Query Language across labs, papers, and developer communities, ranked by signal.
3 天有情绪数据
-
AI工程利用图进行智能体规划和记忆
图在AI工程中发挥了重要作用，解决了知识表示、检索和智能体控制流等问题。文章详细介绍了知识图谱、Neo4j等图数据库以及图计算如何提供结构和确定性答案。文章认为，下一个前沿是利用图来表示智能体自身的计划或推理过程，使其在单次会话之外可审查和持久化。作者提出了智能体图规范（AGS）作为解决方案，该规范已在Loro和MagAgent等工具中实现。
-
新的基准测试评估自然语言到图查询的翻译
研究人员推出了 Text2GraphQuery-Bench，这是一个新颖的基准测试，旨在评估将自然语言转换为可执行图查询的系统。该基准测试是第一个涵盖主流声明式属性图查询语言的基准测试，包括 Cypher、GQL 和 SQL/PGQ。它包含 34 个数据库和 13 个领域的 267,000 多个问答对，支持适应和扩展到新语言。
-
新条件使 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 自动机，该…