⤏

owl:TransitiveProperty
The class of transitive properties.

∈ type
🔴 Class ∃ Resource 🔴 Class
⊆ subClassOf
🔤 ObjectProperty ∃ Resource → Property


Inference Rules

owl:TransitiveProperty is a class of transitive properties

?y :predicate ?z
:predicate rdf:type owl:Transitive­Property
?x :predicate ?y
?x :predicate ?z
⇒
⋯ seeAlso Inference rules for RDF(S) and OWL in N3Logic 📥