@prefix owl: <http://www.w3.org/2002/07/owl#>.

{ ?X a [ owl:onProperty ?P; owl:maxCardinality 1 ].
  ?X ?P ?V1, ?V2
} => { ?V1 = ?V2 }.