โค

owl:TransitiveProperty
The class of transitive properties.



Inference Rules

owl:TransitiveProperty is a class of transitive properties

?y :predicate ?z
?x :predicate ?y
?x :predicate ?z
โ‡’