Rule for rdf:type

<cos:rule>
 <cos:if>
   ?x rdf:type ?c1
   ?c1 rdfs:subClassOf ?c2
 </cos:if>
 <cos:then>
   ?x rdf:type ?c2
 </cos:then>
</cos:rule>