construct can be used to state that two properties have the same property
extension. Syntactically, owl:equivalentProperty is a built-in OWL
rdf:Property as both its domain and range.
Not found any.
Property equivalence is not the same as property equality.
Equivalent properties have the same "values" (i.e., the same property
extension), but may have different intensional meaning (i.e., denote different
concepts). Property equality should be expressed with the
owl:sameAs construct. As this requires that
properties are treated as individuals, such axioms are only allowed in OWL