Ontology Version: 2.2.0

cacontology-infrastructure-shapes:InfrastructureObjectTypeValidationShape leaf node


URI

https://cacontology.projectvic.org/infrastructure/shapes#InfrastructureObjectTypeValidationShape

Label

Infrastructure Object Type Validation Shape

Description

Validates gUFO Object type consistency for platform infrastructure.

Shape Properties

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

Implementation

@prefix cacontology-infrastructure: <https://cacontology.projectvic.org/infrastructure#> .
@prefix cacontology-infrastructure-shapes: <https://cacontology.projectvic.org/infrastructure/shapes#> .
@prefix gufo: <http://purl.org/nemo/gufo#> .
@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 xsd: <http://www.w3.org/2001/XMLSchema#> .
cacontology-infrastructure-shapes:InfrastructureObjectTypeValidationShape a sh:NodeShape ;
    rdfs:label "Infrastructure Object Type Validation Shape"@en ;
    rdfs:comment "Validates gUFO Object type consistency for platform infrastructure."@en ;
    sh:property [ sh:hasValue gufo:Object ;
            sh:message "Platform infrastructure must be typed as gUFO Object."@en ;
            sh:minCount 1 ;
            sh:path rdf:type ] ;
    sh:sparql [ sh:message "Infrastructure objects must be properly typed as gUFO Object and extend UCO Observable."@en ;
            sh:select """
            SELECT $this
            WHERE {
                $this rdf:type gufo:Object .
                FILTER NOT EXISTS {
                    $this rdf:type ?obsClass .
                    ?obsClass rdfs:subClassOf* uco-observable:ObservableObject .
                }
            }
        """ ] ;
    sh:targetClass cacontology-infrastructure:PlatformInfrastructure .