TY - GEN
T1 - A Review of SHACL: From Data Validation to Schema Reasoning for RDF Graphs
AU - Pareti, Paolo
AU - Konstantinidis, George
PY - 2022
Y1 - 2022
N2 - 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.
AB - 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.
UR - https://www.mendeley.com/catalogue/03a6e782-4059-39a1-b289-5d1858ead082/
UR - http://www.scopus.com/inward/record.url?scp=85125568815&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-95481-9_6
DO - 10.1007/978-3-030-95481-9_6
M3 - Paper published in a conference proceedings
SN - 9783030954802
T3 - Reasoning Web. Declarative Artificial Intelligence
SP - 115
EP - 144
BT - Reasoning Web. Declarative Artificial Intelligence - 17th International Summer School 2021, Tutorial Lectures
A2 - Šimkus, Mantas
A2 - Varzinczak, Ivan
PB - Springer International Publishing AG
ER -