PulseAugur
中
实时 10:27:49
English(EN) Answering Path Queries under Linear and Guarded Existential Rules

新研究探讨知识库上的查询回答复杂度

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

本文深入研究了在本体知识库上回答导航查询的计算复杂度。研究人员分析了针对由受限存在规则定义的本体的双向规则路径查询（CRPQ）和合取规则路径查询（CRPQ）。对于线性存在规则，数据复杂度被发现是NL-complete，而组合复杂度则根据谓词元数在PTime-complete到ExpTime-complete之间变化。 AI

影响 这项研究为知识库查询的理论基础做出了贡献，可能影响未来依赖复杂数据检索和推理的AI系统。

排序理由 该条目是发表在arXiv上的学术论文，详细介绍了计算复杂度的理论研究。[lever_c_demoted from research: ic=1 ai=1.0]

在 arXiv cs.AI 阅读 →

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

新研究探讨知识库上的查询回答复杂度

报道来源 [1]

  1. arXiv cs.AI TIER_1 English(EN) · Jean-Fran\c{c}ois Baget (LIRMM, Inria, University of Montpellier, CNRS, France), Meghyn Bienvenu (Univ. Bordeaux, CNRS, Bordeaux INP, LaBRI, France), Marie-Laure Mugnier (LIRMM, Inria, University of Montpellier, CNRS, France), Micha\"el Thomazo (Inria, D… ·

    线性与受限存在规则下的路径查询应答

    arXiv:2607.22636v1 Announce Type: new Abstract: Ontology-mediated query answering is concerned with the problem of answering queries over knowledge bases consisting of a database instance and an ontology. While most work in the area focuses on conjunctive queries (CQs), navigatio…

相关实体

相关话题