]> ?A ?B ∨Object ∨Role ∨hasRole ∨isRoleOf &ar;Agent Class: ?B SubClassOf: ?A ObjectProperty: isRoleOf Range: Object ObjectProperty: hasRole Domain: Object ObjectProperty: hasRole Range: Role ObjectProperty: isRoleOf Domain: Role Class: Agent SubClassOf: Object Class: Agent DisjointWith: Role ?C ?D ?E ∨Object ∨Role ∨hasRole ∨isRoleOf &ar;Agent Class: ?C SubClassOf: Agent Class: ?D SubClassOf: ?C Class: ?E SubClassOf: Role ObjectProperty: isRoleOf Range: Object ObjectProperty: hasRole Domain: Object ObjectProperty: hasRole Range: Role ObjectProperty: isRoleOf Domain: Role Class: Agent SubClassOf: Object Class: Agent DisjointWith: Role Class: ?D EquivalentTo: ( hasRole some ?E ) ?B+Role