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

{ ?X ?P ?Y, ?Z.
  ?X a ?C.
  ?C owl:onProperty ?P; owl:maxCardinality 1.
} => { ?Y = ?Z }.

{ ?X ?P ?V.
  ?X a ?C.
  ?C owl:onProperty ?P; owl:allValuesFrom ?C2.
} => { ?V a ?C2 }.