SHACL Satisfiability and Containment (Extended Paper)

Paolo Pareti, George Konstantinidis, Fabio Mogavero +1

The Shapes Constraint Language (SHACL) is a recent W3C recommendation language for validating RDF data. Specifically, SHACL documents are collections of constraints that enforce pa…