研究人员已确定了一个通用条件，可将 Horn-ALCHI（一种富有表现力的描述逻辑）中的原子查询重写为 GQL（图查询语言）。这很重要，因为 Horn-ALCHI 通常不可重写为一阶逻辑，而 GQL 是一个新的 ISO 标准查询语言，它通过受控递归扩展了一阶逻辑。所提出的方法使用一种称为 DL 自动机的 novel formalism 来捕获这些查询的语义。通过识别一类可重写为 UC2RPQs（GQL 的一个片段）的 DL 自动机，该研究提供了一组广泛的 Horn-ALCHI OMQs，它们与 GQL 兼容。 AI
影响 这项研究可能能够对知识图谱和本体进行更具表现力的查询，从而可能影响 AI 系统与结构化数据的交互方式。
排序理由 学术论文，详细介绍了查询语言重写的一种 novel method。[lever_c_demoted from research: ic=1 ai=0.7]
在 Hugging Face Daily Papers 阅读 →
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
