@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix s: <http://www.w3.org/2000/01/rdf-schema#>.
{ [] [ s:range ?C] ?O } => { ?O a ?C }.
{ ?S a [owl:onProperty ?P; owl:someValuesFrom ?C] }
 => { ?S ?P [ a ?C ] }.