LatestHistoricalStateIsMemberShape

a sh:NodeShape

If latestHistoricalState is asserted, it must also be asserted as a hasHistoricalState of the same ArtifactHistory.

Canonical IRIhttps://semantic-flow.github.io/sflo/ontology/shacl/LatestHistoricalStateIsMemberShape
Source
ontology/shaclreleasesv0.2.0
Properties
rdf:typesh:NodeShape
rdfs:commentIf latestHistoricalState is asserted, it must also be asserted as a hasHistoricalState of the same ArtifactHistory.
rdfs:labellatestHistoricalState must be among hasHistoricalState
sh:targetClasssflo:ArtifactHistory
Blank Nodes
sh:sparql
  rdf:type sh:SPARQLConstraint;
  sh:message "If an ArtifactHistory has sflo:latestHistoricalState, that value MUST also appear among sflo:hasHistoricalState values.";
  sh:select "PREFIX sflo: <https://semantic-flow.github.io/sflo/ontology/>\nSELECT $this WHERE {\n  $this sflo:latestHistoricalState ?s .\n  FILTER NOT EXISTS { $this sflo:hasHistoricalState ?s }\n}";
  sh:severity sh:Violation.
References
Canonical
Semantic Flow metadata
Knopontology/shacl/LatestHistoricalStateIsMemberShape/_knop
Extraction Sourceontology/shacl
Extraction Source Stateontology/shacl/releases/v0.2.0