Ontology Version: 2.2.0

cacontology-gufo:PhaseShape leaf node


URI

https://cacontology.projectvic.org/gufo#PhaseShape

Label

gUFO Phase Shape

Target Classes (1)

Implementation

@prefix cacontology-gufo: <https://cacontology.projectvic.org/gufo#> .
@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-gufo:PhaseShape a sh:NodeShape ;
    rdfs:label "gUFO Phase Shape"@en ;
    sh:property [ sh:hasValue gufo:Phase ;
            sh:message "Phase must be typed as gUFO Phase (anti-rigid sortal)"@en ;
            sh:minCount 1 ;
            sh:path rdf:type ],
        [ sh:datatype xsd:dateTimeStamp ;
            sh:maxCount 1 ;
            sh:message "Phase can have at most one begin point"@en ;
            sh:path cacontology-gufo:hasPhaseBeginPoint ],
        [ sh:datatype xsd:dateTimeStamp ;
            sh:maxCount 1 ;
            sh:message "Phase can have at most one end point"@en ;
            sh:path cacontology-gufo:hasPhaseEndPoint ] ;
    sh:sparql [ sh:message "Phase begin point must precede end point"@en ;
            sh:prefixes [ sh:declare [ sh:namespace "https://cacontology.projectvic.org/gufo#"^^xsd:anyURI ;
                            sh:prefix "cacontology-gufo" ] ] ;
            sh:select """
            PREFIX cacontology-gufo: <https://cacontology.projectvic.org/gufo#>
            SELECT ?this
            WHERE {
                ?this cacontology-gufo:hasPhaseBeginPoint ?begin ;
                      cacontology-gufo:hasPhaseEndPoint ?end .
                FILTER (?begin >= ?end)
            }
        """ ] ;
    sh:targetClass gufo:Phase .