An owl:SymmetricProperty is a property for which holds that if the pair (x,y) is
an instance of P, then the pair (y,x) is also an instance of P. Syntactically, a
property is defined as symmetric by making it an instance of the built-in OWL
a subclass of
A popular example of a symmetric property is the
The domain and range of a symmetric property are the same.