@prefix log: . @prefix owl: . @prefix rdfs: . @prefix rdf: . {?C owl:allValuesFrom ?Y. ?C owl:onProperty ?P. ?U a ?C. ?U ?P ?V} => {?V a ?Y}. {?C owl:allValuesFrom ?Y. ?C owl:onProperty ?P. ?D owl:allValuesFrom ?Z. ?D owl:onProperty ?P. ?Y rdfs:subClassOf ?Z} => {?C rdfs:subClassOf ?D}. {?C owl:allValuesFrom ?Y. ?C owl:onProperty ?P. ?D owl:allValuesFrom ?Y. ?D owl:onProperty ?Q. ?P rdfs:subPropertyOf ?Q} => {?C rdfs:subClassOf ?D}.