https://cacontology.projectvic.org/infrastructure/shapes#InfrastructureTemporalShape
Validates gUFO temporal constraints for platform infrastructure.
Instances of cacontology-infrastructure:PlatformInfrastructure can have the following properties:
PROPERTY |
MIN COUNT |
MAX COUNT |
TYPE |
|
|---|---|---|---|---|
| cacontology-infrastructure:PlatformInfrastructure | ||||
| cacontology-infrastructure:hasInfrastructureBeginPoint | 1 |
xsd:dateTimeStamp
|
||
| cacontology-infrastructure:hasInfrastructureEndPoint | 1 |
xsd:dateTimeStamp
|
||
| cacontology-infrastructure:hasInfrastructurePerformance | 1 |
xsd:string
|
||
| cacontology-infrastructure:hasInfrastructureReliability | 1 |
xsd:double
|
||
| cacontology-infrastructure:hasInfrastructureScalability | 1 |
xsd:string
|
||
| cacontology-infrastructure:hasInfrastructureVulnerability | 1 |
xsd:string
|
||
| 0 | 1 |
xsd:string
|
||
@prefix cacontology-infrastructure: <https://cacontology.projectvic.org/infrastructure#> .
@prefix cacontology-infrastructure-shapes: <https://cacontology.projectvic.org/infrastructure/shapes#> .
@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-infrastructure-shapes:InfrastructureTemporalShape a sh:NodeShape ;
rdfs:label "Infrastructure Temporal Shape"@en ;
rdfs:comment "Validates gUFO temporal constraints for platform infrastructure."@en ;
sh:property [ sh:datatype xsd:dateTimeStamp ;
sh:maxCount 1 ;
sh:message "Infrastructure may have begin point timestamp."@en ;
sh:path cacontology-infrastructure:hasInfrastructureBeginPoint ],
[ sh:datatype xsd:dateTimeStamp ;
sh:maxCount 1 ;
sh:message "Infrastructure may have end point timestamp."@en ;
sh:path cacontology-infrastructure:hasInfrastructureEndPoint ] ;
sh:sparql [ sh:message "Infrastructure end must be after begin when both are specified (gUFO temporal constraint)."@en ;
sh:select """
SELECT $this
WHERE {
$this cacontology-infrastructure:hasInfrastructureBeginPoint ?start ;
cacontology-infrastructure:hasInfrastructureEndPoint ?end .
FILTER (?end <= ?start)
}
""" ] ;
sh:targetClass cacontology-infrastructure:PlatformInfrastructure .