(triple ex:P rdf:type owl:TransitiveProperty)
(triple ex:Q rdf:type rdf:Property)
(triple ex:R rdf:type rdf:Property)
(triple :a ex:P :b)
(triple :b ex:P :c)
(triple :d ex:Q :e)
(triple :f ex:R :g)
(triple :a ex:P :c)