General Role Inclusion with OWL can simply be encoded. One can for instance state the
hasFriendsFoe Property is a
ObjectProperty which has also the
owl:PropertyChainAxiom which means that one defines a General Property Chain or a General Role Inclusion of two simple Properties where one connects
OWL enables Property Chaining (general property inclusion)
:hasFriends a owl:ObjectProperty ; owl:PropertyChainAxiom ( :hasFriend :hasFoe ) .
Not allowed for Datatype Properties