Re: PROV-ISSUE-45: isDerivedFrom and IVPof are transitive. [Conceptual Model]

Khalid

I don't think we have ever agreed on that, but I should really check the voting history. The latest definition of IVP-of (or 
complement-of) is sufficiently precise (i.e., algorithmic) that transitivity follows, but derivation is purely asserted and as such 
there is no ground to say that it is transitive -- unless we say axiomatically that it should be.

-Paolo

>
> PROV-ISSUE-45: isDerivedFrom and IVPof are transitive. [Conceptual Model]
>
> http://www.w3.org/2011/prov/track/issues/45
>
> Raised by: Khalid Belhajjame
> On product: Conceptual Model
>
>
> If we agree that "isDerivedFrom" and "IVPof" are transitive, then I would suggest that this should be specified in the model working draft.
>
> khalid