ManifestationLocatedFileDigestConsistencyShape

a sh:NodeShape

A LocatedFile that provides an ArtifactManifestation must agree with the manifestation's standing digest claim for each method asserted at both levels.

Canonical IRIhttps://semantic-flow.github.io/sflo/ontology/shacl/ManifestationLocatedFileDigestConsistencyShape
Source
ontology/shaclreleasesv0.4.0
Properties
rdf:typesh:NodeShape
rdfs:commentA LocatedFile that provides an ArtifactManifestation must agree with the manifestation's standing digest claim for each method asserted at both levels.
rdfs:labelmanifestation and located-file digest consistency
sh:targetSubjectsOfsflo:locatedFileForManifestation
Blank Nodes
sh:sparql
  rdf:type sh:SPARQLConstraint;
  sh:message "An ArtifactManifestation and its LocatedFile MUST NOT declare different content digests for the same method.";
  sh:select "PREFIX sflo: <https://semantic-flow.github.io/sflo/ontology/>\nSELECT $this WHERE {\n  $this sflo:hasContentDigest ?manifestationDigest ;\n    sflo:locatedFileForManifestation ?file .\n  ?file sflo:hasContentDigest ?fileDigest .\n  FILTER(STRBEFORE(STR(?manifestationDigest), ':') = STRBEFORE(STR(?fileDigest), ':'))\n  FILTER(STR(?manifestationDigest) != STR(?fileDigest))\n}";
  sh:severity sh:Violation.
References
Canonical