A Review of SHACL: From Data Validation to Schema Reasoning for RDF Graphs
A Review of SHACL: From Data Validation to Schema Reasoning for RDF Graphs
复制标题
SHACL 回顾：从数据验证到 RDF 图的模式推理
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
G. Konstantinidis
中科院分区：
文献类型：
--
作者：
Paolo Pareti;G. Konstantinidis
我们介绍并回顾了Shape Constraint Language(SHACL)，它是用于验证RDF数据的W3C推荐语言。SHACL文档描述了RDF节点上的一组约束，如果文档的节点满足这些约束，则图对于文档是有效的。我们回顾了语言的基本概念、它的结构和组件以及它们之间的相互作用。我们回顾了用于研究该语言的不同形式框架以及所提出的不同语义。我们研究了一些相关的问题，从包容和可满足性到SHACL与推理规则的交互，并展示了语言的不同建模如何对不同的问题有用。我们还讨论了SHACL的实践方面，讨论了它的实现和采用状态，以呈现对实践者和理论家都有用的全面审查。
We present an introduction and a review of the Shapes Constraint Language (SHACL), the W3C recommendation language for validating RDF data. A SHACL document describes a set of constraints on RDF nodes, and a graph is valid with respect to the document if its nodes satisfy these constraints. We revisit the basic concepts of the language, its constructs and components and their interaction. We review the different formal frameworks used to study this language and the different semantics proposed. We examine a number of related problems, from containment and satisfiability to the interaction of SHACL with inference rules, and exhibit how different modellings of the language are useful for different problems. We also cover practical aspects of SHACL, discussing its implementations and state of adoption, to present a holistic review useful to practitioners and theoreticians alike.
使用传递性和线性有序数据进行查询应答
DOI：
--
发表时间：
2016
期刊：
--
影响因子：
--
作者：
Amarilli A
通讯作者：
Amarilli A
使用正则路径表达式查询一元否定片段
DOI：
10.4230/lipics.icdt.2018.15
发表时间：
2018
期刊：
影响因子：
--
作者：
Jean Christoph Jung;Carsten Lutz;Mauricio Martel;Thomas Schneider
通讯作者：
Thomas Schneider