cacontology-educational-shapes:AcademicTermPhaseGUFOShape leaf node

@prefix cacontology-educational: <https://cacontology.projectvic.org/educational#> .
@prefix cacontology-educational-shapes: <https://cacontology.projectvic.org/educational/shapes#> .
@prefix cacontology-gufo: <https://cacontology.projectvic.org/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-educational-shapes:AcademicTermPhaseGUFOShape a sh:NodeShape ;
    rdfs:label "gUFO Academic Term Phase Shape"@en ;
    rdfs:comment "Validates academic term phase instances with gUFO anti-rigidity constraints and academic calendar alignment."@en ;
    sh:property [ sh:datatype xsd:dateTimeStamp ;
            sh:maxCount 1 ;
            sh:message "Academic term phase can have at most one begin point"@en ;
            sh:path cacontology-gufo:beginTimePoint ],
        [ sh:datatype xsd:dateTimeStamp ;
            sh:maxCount 1 ;
            sh:message "Academic term phase can have at most one end point"@en ;
            sh:path cacontology-gufo:endTimePoint ],
        [ sh:datatype xsd:string ;
            sh:in ( "fall" "spring" "summer" "winter" "semester" "quarter" "trimester" ) ;
            sh:message "Term type must be a valid academic term"@en ;
            sh:path cacontology-educational:termType ] ;
    sh:sparql [ sh:message "Academic term begin point must precede end point"@en ;
            sh:select """
            SELECT ?this
            WHERE {
                ?this cacontology-gufo:beginTimePoint ?begin ;
                      cacontology-gufo:endTimePoint ?end .
                FILTER (?begin >= ?end)
            }
        """ ] ;
    sh:targetClass cacontology-educational:AcademicTermPhase .