https://cacontology.projectvic.org/tactical#TemporalValidationShape
Validates temporal consistency in tactical operations.
Instances of cacontology-tactical:TacticalOperation can have the following properties:
PROPERTY |
MIN COUNT |
MAX COUNT |
TYPE |
|
|---|---|---|---|---|
| cacontology-tactical:TacticalOperation | ||||
| 1 | 1 |
xsd:string
|
||
| 1 | 1 |
xsd:string
|
||
| cacontology-tactical:operationType | 1 | 1 |
xsd:string
|
|
| 1 | 1 |
xsd:nonNegativeInteger
|
||
| cacontology-tactical:planningDuration | 0 | 1 |
xsd:decimal
|
|
| cacontology-tactical:riskLevel | 1 | 1 |
xsd:string
|
|
| 0 | 1 |
xsd:dateTime
|
||
| 0 | 1 |
xsd:dateTime
|
||
@prefix cacontology-tactical: <https://cacontology.projectvic.org/tactical#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
cacontology-tactical:TemporalValidationShape a sh:NodeShape ;
rdfs:label "Temporal Validation Shape"@en ;
rdfs:comment "Validates temporal consistency in tactical operations."@en ;
sh:sparql [ sh:message "Operation start time must be before end time when both are specified."@en ;
sh:select """
SELECT $this
WHERE {
$this uco-core:startTime ?start ;
uco-core:endTime ?end .
FILTER (?start >= ?end)
}
""" ] ;
sh:targetClass cacontology-tactical:TacticalOperation .