- 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>
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 UTC