Policy-Based Automated Compliance Checking

Bassit, Anas Al; Krasnashchok, Katsiaryna; Skhiri, Sabri; Mustapha, Majd

doi:10.1007/978-3-030-91167-6_1

Cited by 3 publications

(2 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Condition (1) ensures that the facts denoted by the assignment are correct; while condition (2) ensures that the assignment is compatible with the target definitions. Condition (2) is trivially satisfied for shacl documents where all target definitions are empty.…”

Section: Shape Assignments: a Tool For Defining Shacl Validationmentioning

confidence: 99%

See 1 more Smart Citation

A Review of SHACL: From Data Validation to Schema Reasoning for RDF Graphs

Pareti¹,

Konstantinidis²

2021

Preprint

View full text Add to dashboard Cite

We present an introduction and a review of 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.

show abstract

Section: Shape Assignments: a Tool For Defining Shacl Validationmentioning

confidence: 99%

“…Several works investigate the use of shacl to verify compliance of a dataset w.r.t. certain policies, such as GDPR requirements [35,2]. Other applications of shacl include type checking program code [27] and detecting metadata errors in clinical studies [22].…”

Section: Adoption Of Shaclmentioning

confidence: 99%