# The pattern's own scenario: students have the duty of giving exams. The role 'student' - a
# concept that classifies people, not a person - has the task 'sitting the end-of-term exam'.
# The pattern's whole shape is this one edge, and Role and Task are declared disjoint.

@prefix taskrole: <http://www.ontologydesignpatterns.org/cp/owl/taskrole.owl#> .
@prefix ex: <https://w3id.org/ontoboard/example/role-task#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

ex:StudentRole a owl:NamedIndividual , taskrole:Role ;
    rdfs:label "student, the role an enrolled person plays" ;
    taskrole:hasTask ex:SittingTheEndOfTermExam .

ex:SittingTheEndOfTermExam a owl:NamedIndividual , taskrole:Task ;
    rdfs:label "sitting the end-of-term exam" .

# Only one direction of each inverse pair is asserted: hasTask/isTaskOf. A reasoner adds the other.