The classes GroupLeader and Supervisor equivalence
In the ontology, the class :GroupLeader is made as owl:equivalentClass to :Supervisor. This is not semantically correct. A supervisor is not always a group leader. I suggest to link the two classes using skos:relatedMatch.