.png){kind=icon}
返回
SHACL Validation Under Graph Updates
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-032-09527-5_8.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
SHACL（形状约束语言）是W3C标准化的RDF图约束语言。本文研究了RDF图在更新下的SHACL验证。我们提出了一种基于SHACL的更新语言，能够捕获对RDF图的直观且现实的修改，并研究了此类更新下的静态验证问题。该问题要求验证在应用给定更新序列后，所有验证SHACL规范的图是否仍能保持验证。更重要的是，它为关于演化RDF图的推理服务提供了基础。我们采用一种回归技术，将更新操作嵌入到SHACL约束中，证明在更新下的静态验证可规约到（不）满足（a minor extension of）SHACL中的约束。我们分析了SHACL及其某些关键片段的静态验证问题的计算复杂性。最后，我们实现了一个原型系统，用于执行SHACL约束的静态验证和其他静态分析任务，并通过初步实验展示了其行为。
Keyword:
SHACL
satisfiability
evolving graphs
static validation
updates
期刊
S
IF:
0
论文数:
30
被引数:
0