LocatedFileForStateConsistencyShape

a sh:NodeShape

If locatedFileForState is used as a shortcut, it should align with hasManifestation/locatedFileForManifestation.

Canonical IRIhttps://semantic-flow.github.io/sflo/ontology/shacl/LocatedFileForStateConsistencyShape
Source
ontology/shaclreleasesv0.2.0
Properties
rdf:typesh:NodeShape
rdfs:commentIf locatedFileForState is used as a shortcut, it should align with hasManifestation/locatedFileForManifestation.
rdfs:labellocatedFileForState consistency
sh:targetSubjectsOfsflo:locatedFileForState
Blank Nodes
sh:sparql
  rdf:type sh:SPARQLConstraint;
  sh:message "If a HistoricalState uses sflo:locatedFileForState ?lf, there SHOULD exist an ArtifactManifestation ?m such that ($this sflo:hasManifestation ?m) and (?m sflo:locatedFileForManifestation ?lf).";
  sh:select "PREFIX sflo: <https://semantic-flow.github.io/sflo/ontology/>\nSELECT $this WHERE {\n  $this sflo:locatedFileForState ?lf .\n  FILTER NOT EXISTS {\n    $this sflo:hasManifestation ?m .\n    ?m sflo:locatedFileForManifestation ?lf .\n  }\n}";
  sh:severity sh:Warning.
References
Canonical
Semantic Flow metadata
Knopontology/shacl/LocatedFileForStateConsistencyShape/_knop
Extraction Sourceontology/shacl
Extraction Source Stateontology/shacl/releases/v0.2.0