W3C home > Mailing lists > Public > public-prov-wg@w3.org > March 2012

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

From: Timothy Lebo <lebot@rpi.edu>
Date: Mon, 5 Mar 2012 10:56:27 -0500
Cc: public-prov-wg@w3.org
Message-Id: <DDD92C18-7A6C-46F0-9C1B-FCF40F0C8644@rpi.edu>
To: Daniel Garijo <dgarijo@delicias.dia.fi.upm.es>
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
> 
> 
> 
Received on Monday, 5 March 2012 16:03:50 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 26 April 2012 13:06:58 GMT