Rule for transitive property

<cos:rule>
 <cos:if>
    ?p rdf:type owl:TransitiveProperty
    ?x ?p ?y
    ?y ?p ?z
 </cos:if>
 <cos:then>
    ?x ?p ?z
 </cos:then>
</cos:rule>