https://cacontology.projectvic.org/hotlines/core#HotlineActionShape
Enhanced SHACL shape for hotline actions with comprehensive gUFO Event validation and temporal modeling.
Instances of hotline:HotlineAction can have the following properties:
PROPERTY |
MIN COUNT |
MAX COUNT |
TYPE |
|---|
@prefix gufo: <http://purl.org/nemo/gufo#> .
@prefix hotline: <https://cacontology.projectvic.org/hotlines/core#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix uco-action: <https://ontology.unifiedcyberontology.org/uco/action/> .
@prefix uco-core: <https://ontology.unifiedcyberontology.org/uco/core/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
hotline:HotlineActionShape a sh:NodeShape ;
rdfs:label "Hotline Action Shape"@en ;
rdfs:comment "Enhanced SHACL shape for hotline actions with comprehensive gUFO Event validation and temporal modeling."@en ;
sh:property [ sh:hasValue gufo:Event ;
sh:message "Hotline actions must be instances of gUFO Event"@en ;
sh:path rdf:type ],
[ sh:message "A hotline action must have at least one performer"@en ;
sh:minCount 1 ;
sh:path uco-action:performer ],
[ sh:datatype xsd:dateTime ;
sh:message "Hotline actions must have start times"@en ;
sh:minCount 1 ;
sh:path uco-core:startTime ],
[ sh:datatype xsd:dateTime ;
sh:maxCount 1 ;
sh:message "Hotline actions can have at most one end time"@en ;
sh:path uco-core:endTime ] ;
sh:rule [ a sh:SPARQLRule ;
sh:construct """
INSERT { $this a hotline:TemporalInconsistencyError . }
WHERE {
$this uco-core:startTime ?start .
$this uco-core:endTime ?end .
FILTER(?end <= ?start)
}
""" ;
sh:message "Action end time must be after start time"@en ;
sh:prefixes hotline: ;
sh:severity sh:Violation ] ;
sh:targetClass hotline:HotlineAction .