Forall ?x ?p ?y ?z 
    (
    ?x[?p->?z] :- And( ?p[rdf:type->owl:TransitiveProperty] ?x[?p->?y] ?y[?p->?z] )
    )