https://cacontology.projectvic.org/legal-harmonization/shapes#LegalProcessTemporalShape
Validates temporal constraints for legal processes according to gUFO framework.
Instances of cacontology-legal:PolicyHarmonization can have the following properties:
PROPERTY |
MIN COUNT |
MAX COUNT |
TYPE |
|
|---|---|---|---|---|
| cacontology-legal:PolicyHarmonization | ||||
| cacontology-legal:hasHarmonizationDegree | 1 |
xsd:string
|
||
| 1 | ||||
@prefix cacontology-legal: <https://cacontology.projectvic.org/legal-harmonization#> .
@prefix cacontology-legal-shapes: <https://cacontology.projectvic.org/legal-harmonization/shapes#> .
@prefix gufo: <http://purl.org/nemo/gufo#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
cacontology-legal-shapes:LegalProcessTemporalShape a sh:NodeShape ;
rdfs:label "Legal Process Temporal Shape"@en ;
rdfs:comment "Validates temporal constraints for legal processes according to gUFO framework."@en ;
sh:property [ sh:datatype xsd:dateTimeStamp ;
sh:maxCount 1 ;
sh:message "Legal processes should specify start time"@en ;
sh:path gufo:hasBeginPointInXSDDateTimeStamp ;
sh:severity sh:Info ],
[ sh:datatype xsd:dateTimeStamp ;
sh:maxCount 1 ;
sh:message "Legal processes should specify end time"@en ;
sh:path gufo:hasEndPointInXSDDateTimeStamp ;
sh:severity sh:Info ] ;
sh:sparql [ sh:message "Legal process end time must be after start time"@en ;
sh:prefixes [ sh:declare [ sh:namespace "http://purl.org/nemo/gufo#"^^xsd:anyURI ;
sh:prefix "gufo" ] ] ;
sh:select """
SELECT $this
WHERE {
$this gufo:hasBeginPointInXSDDateTimeStamp ?start .
$this gufo:hasEndPointInXSDDateTimeStamp ?end .
FILTER (?end <= ?start)
}
""" ;
sh:severity sh:Violation ] ;
sh:targetClass cacontology-legal:LegalReform,
cacontology-legal:PolicyDevelopment,
cacontology-legal:PolicyHarmonization .