Re: PROV-ISSUE-99: prov:eventuallyUsed - a transitive version of prov:used. [Formal Model]

Daniel,

Thanks for pointing this out.

I closed https://www.w3.org/2011/prov/track/issues/99 
because prov:tracedTo fulfills its request.

Regards,
Tim

On Mar 5, 2012, at 10:35 AM, Daniel Garijo wrote:

> Hi Tim,
> this issue is still raised against the ontology.
> In the current draft of the DM it is not stated whether this property should
> be transitive or not, so maybe the product of the issue should be changed
> to the DM.
> 
> What do you think?
> Best,
> Daniel
> 
> 2011/9/22 Paolo Missier <Paolo.Missier@ncl.ac.uk>
> Khalid
> 
> indeed, they are not transitive.
> but  dependedOn/2  is.  (see model section 5.3.3.3)
> not?
> 
> -Paolo
> 
> 
> 
> On 9/21/11 10:11 PM, Khalid Belhajjame wrote:
> On 21/09/2011 21:37, Luc Moreau wrote:
> Hi khalid,
> 
> The assertion "pe1 was used (consumed) by a second process execution pe2" is not valid since entities only can be used.
> Ok. So from the provenance ontology point of view, this implies that the
> classes Entity and ProcessExecution are disjoint. Which, in turns,
> implies that means that wasGeneratedBy and UsedBy are non transitive.
> 
> Khalid
> 
> 
>