SHACL Satisﬁability and Containment

doi:doi:10.57702/um7ogpom

SHACL Satisﬁability 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. satisﬁability and containment.

Data and Resources

Original MetadataJSON
The json representation of the dataset with its distributions based on DCAT.
Explore
- Preview
- Download

Cite this as

Paolo Pareti, George Konstantinidis, Fabio Mogavero, Timothy J. Norman (2024). Dataset: SHACL Satisﬁability 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