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: Mon, 19 Sep 2011 20:38:51 +0100
Message-ID: <EMEW3|e814fdb6c550cd636c5b9256350c3e4fn8IKd808L.Moreau|ecs.soton.ac.uk|4E779A4B.7080108@ecs.soton.ac.uk>
To: public-prov-wg@w3.org
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 Monday, 19 September 2011 19:39:44 GMT

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