SHACL综述：从RDF图数据验证到模式推理
人工智能
2021-12-03 v1 数据库
摘要
我们介绍并综述形状约束语言（Shapes Constraint Language, SHACL），即用于验证RDF数据的W3C推荐语言。一份SHACL文档描述了对RDF节点的一组约束，若图的节点满足这些约束，则该图相对于该文档是有效的。我们重述该语言的基本概念、其构造与组件及其交互方式。我们综述用于研究该语言的不同形式化框架以及所提出的不同语义。我们考察若干相关问题，从包含性与可满足性到SHACL与推理规则的交互，并展示该语言的不同建模方式如何对不同的问题有用。我们还涵盖SHACL的实际方面，讨论其实现与采用现状，以呈现对从业者和理论研究者均有用的整体性综述。
引用
@article{arxiv.2112.01441,
title = {A Review of SHACL: From Data Validation to Schema Reasoning for RDF Graphs},
author = {Paolo Pareti and George Konstantinidis},
journal= {arXiv preprint arXiv:2112.01441},
year = {2021}
}
备注
arXiv admin note: text overlap with arXiv:2108.13063