Ontology Version: 2.2.0

cacontology-gufo:FoundationalTypeConsistencyShape leaf node


URI

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

Label

gUFO Foundational Type Consistency Shape

Implementation

@prefix cacontology-gufo: <https://cacontology.projectvic.org/gufo#> .
@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:FoundationalTypeConsistencyShape a sh:NodeShape ;
    rdfs:label "gUFO Foundational Type Consistency Shape"@en ;
    sh:sparql [ sh:message "All gUFO entities must have proper foundational typing"@en ;
            sh:prefixes [ sh:declare [ sh:namespace "http://purl.org/nemo/gufo#"^^xsd:anyURI ;
                            sh:prefix "gufo" ] ] ;
            sh:select """
            SELECT ?entity
            WHERE {
                {
                    ?entity a gufo:Kind .
                    FILTER NOT EXISTS { ?entity a gufo:Object . }
                } UNION {
                    ?entity a gufo:Phase .
                    FILTER NOT EXISTS { ?entity a gufo:AntiRigidType . }
                } UNION {
                    ?entity a gufo:Role .
                    FILTER NOT EXISTS { ?entity a gufo:AntiRigidType . }
                } UNION {
                    ?entity a gufo:Event .
                    FILTER NOT EXISTS { ?entity a gufo:Perdurant . }
                } UNION {
                    ?entity a gufo:Situation .
                    FILTER NOT EXISTS { ?entity a gufo:SituationType . }
                }
            }
        """ ] ;
    sh:targetNode cacontology-gufo:Investigation .