https://ontology.caseontology.org/icac/educational-exploitation/shapes/EducatorRoleGUFOShape
Validates educator role instances with gUFO anti-rigidity constraints and temporal employment constraints.
@prefix cacontology-educational: <https://ontology.caseontology.org/icac/educational-exploitation/> .
@prefix cacontology-educational-shapes: <https://ontology.caseontology.org/icac/educational-exploitation/shapes/> .
@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-educational-shapes:EducatorRoleGUFOShape a sh:NodeShape ;
rdfs:label "gUFO Educator Role Shape"@en ;
rdfs:comment "Validates educator role instances with gUFO anti-rigidity constraints and temporal employment constraints."@en ;
sh:property [ sh:hasValue gufo:Role ;
sh:message "Educator role must be typed as gUFO Role (anti-rigid)"@en ;
sh:minCount 1 ;
sh:path rdf:type ],
[ sh:datatype xsd:dateTimeStamp ;
sh:maxCount 1 ;
sh:message "Educator role can have at most one employment begin point"@en ;
sh:path cacontology-gufo:employmentBeginTimePoint ],
[ sh:datatype xsd:dateTimeStamp ;
sh:maxCount 1 ;
sh:message "Educator role can have at most one employment end point"@en ;
sh:path cacontology-gufo:employmentEndTimePoint ],
[ sh:datatype xsd:nonNegativeInteger ;
sh:maxInclusive 85 ;
sh:message "Educator age must be between 18 and 85"@en ;
sh:minInclusive 18 ;
sh:path cacontology-educational:educatorAge ],
[ sh:datatype xsd:decimal ;
sh:maxInclusive 60 ;
sh:message "Years of experience must be between 0 and 60"@en ;
sh:minInclusive 0 ;
sh:path cacontology-educational:yearsOfExperience ] ;
sh:sparql [ sh:message "Employment begin point must precede end point"@en ;
sh:select """
SELECT ?this
WHERE {
?this cacontology-gufo:employmentBeginTimePoint ?begin ;
cacontology-gufo:employmentEndTimePoint ?end .
FILTER (?begin >= ?end)
}
""" ] ;
sh:targetClass cacontology-educational:EducatorRole .