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

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 UTC