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