ISSUE-126: Section 5.3.3.2 "Process Execution Independent Derivation Expression."

Section 5.3.3.2 "Process Execution Independent Derivation Expression."

State:

CLOSED

Product:

prov-dm

Raised by:

Satya Sahoo

Opened on:

2011-10-16

Description:

Hi,
This is a review comment for Section 5.3.3.2 "Process Execution Independent Derivation Expression." in the PROV-DM document (in mercurial fpwd head on Oct 15, 2011).

Issue: The current definition for "Process Execution Independent Derivation Expression." Section 5.3.3.2 states that:
"A process execution independent derivation expression is a representation of a derivation, which occurred by any means whether direct or not, and regardless of any activity in the world."

a) Does the above definition mean that an Entity instance e1 can be derived from another Entity instance e2 without the existence of "transformed from, created from, or affected by" activities?

b) If the above definition just means that there exists some PE linked to the derivation of e2 from e1, but a provenance application may not be aware of it, then how does it relate to the constraint "derivation-process-execution" defined for "Process Execution Linked Derivation Assertion" in Section 5.3.3.1?

The current definition of "wasDerivedFrom" states that there was an activity of "transformed from, created from, or affected by" that links the two Entity instances, which is *summarized* by the wasDerivedFrom property. Hence, "Process Execution Independent Derivation Expression" is not consistent with current definition of derivation.

Related Actions Items:

No related actions

Related emails:

1. Re: PROV-ISSUE-126: Section 5.3.3.2 'Process Execution Independent Derivation Expression.' [Data Model] (from L.Moreau@ecs.soton.ac.uk on 2012-01-11)
2. Re: PROV-ISSUE-126: Section 5.3.3.2 'Process Execution Independent Derivation Expression.' [Data Model] (from satya.sahoo@case.edu on 2012-01-11)
3. Re: PROV-ISSUE-126: Section 5.3.3.2 'Process Execution Independent Derivation Expression.' [Data Model] (from lebot@rpi.edu on 2011-12-02)
4. Re: PROV-ISSUE-126: Section 5.3.3.2 'Process Execution Independent Derivation Expression.' [Data Model] (from L.Moreau@ecs.soton.ac.uk on 2011-11-30)
5. Re: PROV-ISSUE-126: Section 5.3.3.2 'Process Execution Independent Derivation Expression.' [Data Model] (from lebot@rpi.edu on 2011-11-16)
6. Re: PROV-ISSUE-126: Section 5.3.3.2 'Process Execution Independent Derivation Expression.' [Data Model] (from l.moreau@ecs.soton.ac.uk on 2011-11-08)
7. PROV-ISSUE-126: Section 5.3.3.2 'Process Execution Independent Derivation Expression.' [Data Model] (from sysbot+tracker@w3.org on 2011-10-16)

Related notes:

No additional notes.

Display change log