@prefix log: . @prefix owl: . @prefix rdfs: . @prefix rdf: . {?P a owl:TransitiveProperty. ?S ?P ?X. ?X ?P ?O.} => {?S ?P ?O}.