(deftemplate triple (declare (ordered TRUE)))
(deftemplate error (slot message))

(defrule rule-0
	(triple ?p rdf:type owl:TransitiveProperty)
	(triple ?x ?p ?y)
	(triple ?y ?p ?z)
	=>
	(assert (triple ?x ?p ?z))
)