SHACL Satisfiability and Containment

The Shapes Constraint Language (SHACL) is a recent W3C recommendation language for validating RDF data. This paper provides a translation of SHACL into a new first-order language, called SCL, that precisely captures the semantics of SHACL w.r.t. satisfiability and containment.

Data and Resources

Cite this as

Paolo Pareti, George Konstantinidis, Fabio Mogavero, Timothy J. Norman (2024). Dataset: SHACL Satisfiability and Containment. https://doi.org/10.57702/um7ogpom

DOI retrieved: December 16, 2024

Additional Info

Field Value
Created December 16, 2024
Last update December 16, 2024
Defined In https://doi.org/10.48550/arXiv.2009.09806
Author Paolo Pareti
More Authors
George Konstantinidis
Fabio Mogavero
Timothy J. Norman