#3 transitive_over property

open
nobody
None
5
2006-12-15
2006-12-15
John Day-Richter
No

OBO 1.3 should define a transitive_over property for transitive relationship types. This tag defines an additional relationship type (besides is_a and the original relationship type itself) over which a relationship type is transitive.

I suggest that the aggregate of all transitive_over tags for a given relationship type be treated as a union, so it is possible to define a relationship type as transitive over many other relationship types.

Discussion