@prefix log: . @prefix rdfs: . @prefix rdf: . {?C rdfs:subClassOf ?D. ?X a ?C} => {?X a ?D}. {?C rdfs:subClassOf ?D. ?D rdfs:subClassOf ?E} => {?C rdfs:subClassOf ?E}. {?C rdfs:subClassOf ?D. ?P rdfs:domain ?C} => {?P rdfs:domain ?D}. {?C rdfs:subClassOf ?D. ?P rdfs:range ?C} => {?P rdfs:range ?D}.