PROV-ISSUE-199: Section 6.2 (PROV-DM as on Dec 5) [prov-dm]

PROV-ISSUE-199: Section 6.2 (PROV-DM as on Dec 5) [prov-dm]

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

Raised by: Satya Sahoo
On product: prov-dm

Hi,
The following are my comments for Section 6.2 of the PROV-DM (as on Dec 5):

Section 6.2
1. "If wasDerivedFrom(e2,e1,a,g2,u1) holds, for some a, g2, u1, then tracedTo(e2,e1) also holds." 

Comment: What information is lost if we verbatim replaced tracedTo with wasDerivedFrom in the above example?

2. "If wasDerivedFrom(e2,e1) holds, then tracedTo(e2,e1) also holds."

Comment: So, wasDerivedFrom and tracedTo as effectively interchangeable? If a domain-specific application can assert derivation to be transitive as described earlier in Section 5.3.3.2, then why is traceability required to be defined by the DM?

Thanks.

Best,
Satya

Received on Wednesday, 7 December 2011 02:21:17 UTC