W3C home > Mailing lists > Public > public-prov-wg@w3.org > September 2011

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

From: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
Date: Wed, 21 Sep 2011 20:37:46 +0000
To: Khalid Belhajjame <Khalid.Belhajjame@cs.man.ac.uk>
CC: "public-prov-wg@w3.org" <public-prov-wg@w3.org>
Message-ID: <EMEW3|f69c88dd8125bf9b2adbcc4066c1196en8KLcE08L.Moreau|ecs.soton.ac.uk|38C07228-9360-48AE-9F32-06457A68830D@ecs.soton.ac.uk>
Hi khalid,

The assertion "pe1 was used (consumed) by a second process execution pe2" is not valid since entities only can be used.

There simply a type error.

Professor Luc Moreau
Electronics and Computer Science
University of Southampton
Southampton SO17 1BJ
United Kingdom


On 21 Sep 2011, at 17:56, "Khalid Belhajjame" <Khalid.Belhajjame@cs.man.ac.uk> wrote:

> 
> Hi,
> 
> The issue raised by Tim was a follow up of few emails that were exchanged between the members of the formal model sub-group.
> 
> To illustrate the transitivity that is meant, consider an entity e0 that is used by a process execution pe1, and consider that pe1 was used (consumed) by a second process execution pe2. pe1 is, therefore, both a process execution and an entity.
> 
> The question raised by the issue is whether we can state that pe2 used e0? Tim was suggesting the use of "eventuallyUsed" instead of used in this context.
> 
> The same above observation applies to generation.
> 
> Note that in the above it is assumed that the classes prov:Entity and prov:ProcessExecution are not necessarily disjoint.
> 
> Now, in your answer, you were suggesting that:
>  used(pe,e) or  (used(pe,e1) and dependedOn(e1,e)) implies eventuallyUsed(pe,e).
> 
> I quite like this. And I think we can extend it for the case of generation. That is:
> 
> wasGeneratedBy(e,pe) or (wasGeneratedBy(e1,pe) and dependedOn(e,e1)) implies wasEventuallyGeneratedBy(e,pe)
> 
> Thanks, khalid
> 
> On 19/09/2011 20:38, Luc Moreau wrote:
>> Hi Tim,
>> 
>> What do you mean by transitive here, given that domain  is ProcessExecution and
>> range Entity?
>> 
>> 
>> Maybe, you would like to define
>> eventuallyUsed(pe,e) if
>>  used(pe,e)
>>  or
>>  used(pe,e1) and dependedOn(e1,e)
>> 
>> Luc
>> 
>> 
>> On 19/09/11 19:35, Provenance Working Group Issue Tracker wrote:
>>> PROV-ISSUE-99: prov:eventuallyUsed - a transitive version of prov:used. [Formal Model]
>>> 
>>> http://www.w3.org/2011/prov/track/issues/99
>>> 
>>> Raised by: Timothy Lebo
>>> On product: Formal Model
>>> 
>>> To clarify whether used is transitive or not, I propose a transitive superproperty "eventuallyUsed" to make the distinction clear.
>>> 
>>> The corresponding considerations also need to be made for the conceptual document.
>>> 
>>> The OWL axioms related to this property are at
>>> https://dvcs.w3.org/hg/prov/file/tip/ontology/components/eventuallyUsed.ttl: 
>>> 
>>> prov:eventuallyUsed
>>>    a owl:ObjectProperty, owl:TransitiveProperty;
>>> .
>>> 
>>> prov:used rdfs:subPropertyOf prov:eventuallyUsed .
>>> 
>>> 
>>> 
>>> 
>> 
>> 
> 
Received on Wednesday, 21 September 2011 20:38:49 GMT

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