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
class owl:SymmetricProperty,
a subclass of owl:ObjectProperty.
<rdfs:Class rdf:ID="SymmetricProperty">
<rdfs:label>SymmetricProperty</rdfs:label>
<rdfs:subClassOf rdf:resource="#ObjectProperty"/>
</rdfs:Class>
A popular example of a symmetric property is the friendOf
relation:
<owl:SymmetricProperty rdf:ID="friendOf">
<rdfs:domain rdf:resource="#Human"/>
<rdfs:range rdf:resource="#Human"/>
</owl:SymmetricProperty>
The domain and range of a symmetric property are the same.