My question is similar to the question https://stackoverflow.com/questions/69979542/how-can-i-model-a-transitive-relationship-spanning-multiple-classes-in-protégé ,
but I think different and interesting enough to warrant its own question.
The common example of a transitive property relation: P(x,y) and P(y,z) => P(x,z) Mom hasAncestor Grandma and Magda hasAncestor Mom => Magda hasAncestor Grandma
Our model has many relations like this: P1(x,y) and P2(y,z) => P2(x,z) Magda hasWorkRole Program Manager and Program Manager hasTask T0220 => Magda hasTask T0220
Is there already a known term for this type of relation? (seems pretty common)
Is there a way to model this in OWL?