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

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

From: Provenance Working Group Issue Tracker <sysbot+tracker@w3.org>
Date: Mon, 19 Sep 2011 18:35:02 +0000
To: public-prov-wg@w3.org
Message-Id: <E1R5igI-0000Ta-BQ@barney.w3.org>

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 18:35:07 GMT

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