PROV-ISSUE-114 (Tlebo): is prov:wasDerivedFrom rdfs:subPropertyOf prov:dependedOn? [Formal Model]

PROV-ISSUE-114 (Tlebo): is prov:wasDerivedFrom rdfs:subPropertyOf prov:dependedOn? [Formal Model]

http://www.w3.org/2011/prov/track/issues/114

Raised by: Timothy Lebo
On product: Formal Model

if:

:e_2 prov:wasDerivedFrom :e_1,

"e_2 is transformed from, created from, or affected by e_1."

Would this also imply:

"e_1 cannot be generated without the existence of e_1."

:e_2 prov:dependedOn :e_1 .


If so, then prov:wasDerivedFrom is a subproperty of prov:dependedOn.

Received on Tuesday, 4 October 2011 23:15:12 UTC