English(EN) Static Analysis of Recursive SHACL

研究人员探索递归SHACL的静态分析，用于RDF数据验证

作者 PulseAugur 编辑部 · [2 个来源] · 2026-05-04 16:29

本文介绍了一种递归SHACL文档静态分析的新方法，SHACL用于定义RDF数据的约束。研究探讨了验证一个SHACL文档的所有图也验证另一个图的决定性问题。研究表明，在支持和稳定模型语义下，该蕴含问题是不可判定的，但在良基语义下是指数级可判定的。 AI

影响引入了约束语言的新判定结果，可能影响知识图谱验证和推理系统。

排序理由这是一篇发表在arXiv上的研究论文，详细介绍了对特定语言静态分析的新技术贡献。

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

报道来源 [2]

arXiv cs.AI TIER_1 English(EN) · Anouk Oudshoorn, Magdalena Ortiz, Mantas Simkus · 2026-05-06 04:00

递归SHACL的静态分析

arXiv:2605.02787v1 Announce Type: cross Abstract: SHACL (Shapes Constraint Language) expresses constraints on RDF data by means of so-called shapes. Its central service is validation: verifying whether a data graph complies with a SHACL document. But so far, there are no static a…
arXiv cs.AI TIER_1 English(EN) · Mantas Simkus · 2026-05-04 16:29

递归SHACL的静态分析

SHACL (Shapes Constraint Language) expresses constraints on RDF data by means of so-called shapes. Its central service is validation: verifying whether a data graph complies with a SHACL document. But so far, there are no static analysis services to compare documents. In this pap…