- From: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
- Date: Mon, 19 Sep 2011 20:38:51 +0100
- 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 UTC