]> ?A ?B ∨Object ∨Role ∨hasRole ∨isRoleOf &ar;Agent ?B subClassOf ?A ∨isRoleOf range ∨Object ∨hasRole domain ∨Object ∨hasRole range ∨Role ∨isRoleOf domain ∨Role &ar;Agent subClassOf ∨Object &ar;Agent disjointWith ∨Role ?C ?D ∨Object ?p ?q &ar;Agent ?C subClassOf &ar;Agent ?D subClassOf &owl;Thing &ar;Agent subClassOf ∨Object ?q range ∨Object ?q domain &owl;Thing ?p range &owl;Thing ?p domain ∨Object &ann;hasRole &ann;isRoleOf