PREFIX owl: <http://www.w3.org/2002/07/owl#>
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>

{?C owl:hasValue ?V. ?C owl:onProperty ?P. ?U a ?C} => {?U ?P ?V}.
{?C owl:hasValue ?V. ?C owl:onProperty ?P. ?U ?P ?V} => {?U a ?C}.
{?C owl:hasValue ?V. ?C owl:onProperty ?P. ?D owl:hasValue ?V. ?D owl:onProperty ?Q. ?P rdfs:subPropertyOf ?Q} => {?C rdfs:subClassOf ?D}.
{?C owl:hasValue ?V. ?C owl:onProperty ?P. ?X ?P ?Y. ?X a ?C. ?V owl:differentFrom ?Y} => false.
