ISSUE-56: Derivation as defined is not transitive
derivation-definition-does-not-imply-transitivity
Derivation as defined is not transitive
- State:
- CLOSED
- Product:
- prov-dm
- Raised by:
- Graham Klyne
- Opened on:
- 2011-07-29
- Description:
- [[ Given an assertion isDerivedFrom(B,A), one can infer that the use
of characterized entity denoted by A precedes the generation of the
characterized entity denoted by B. ]]
Where does this notion of "use" come from in the absence of some
referenced activity?
Concerning transitivity of derivation:
Suppose:
A has attributes a0, a1
B having attributes b0, b1 is derived from A, with b0 being dependent on a0
C having attributes c0, c1, is derived from B with c1 being dependent on b1
So none of the attributes of C can be said to be directly or
indirectly dependent on attributes of A, which by the given definition
is a requirement for derivation of C from A. Thus, as defined,
derivation cannot be transitive.
I don't really know if derivation should or should not be transitive,
but the above seems to me like a problem of spurious
over-specification. My suggestion for now would be to focus on what
really matters and see what logical properties fall out later.
- Related Actions Items:
- No related actions
- Related emails:
- Re: prov-o rec confusion (from p.t.groth@vu.nl on 2013-01-25)
- RE: prov-o rec confusion (from Kerry.Taylor@csiro.au on 2013-01-25)
- Re: prov-o rec confusion (from p.t.groth@vu.nl on 2013-01-21)
- Re: PROV-ISSUE-56 (derivation-definition-does-not-imply-transitivity): Derivation as defined is not transitive [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2011-08-22)
- Re: PROV-ISSUE-56 (derivation-definition-does-not-imply-transitivity): Derivation as defined is not transitive [Conceptual Model] (from Khalid.Belhajjame@cs.man.ac.uk on 2011-08-04)
- Re: PROV-ISSUE-56 (derivation-definition-does-not-imply-transitivity): Derivation as defined is not transitive [Conceptual Model] (from GK@ninebynine.org on 2011-08-04)
- Re: PROV-ISSUE-56 (derivation-definition-does-not-imply-transitivity): Derivation as defined is not transitive [Conceptual Model] (from GK@ninebynine.org on 2011-08-04)
- Re: PROV-ISSUE-56 (derivation-definition-does-not-imply-transitivity): Derivation as defined is not transitive [Conceptual Model] (from GK@ninebynine.org on 2011-08-04)
- RE: PROV-ISSUE-67 (single-execution): Why is there a difference in what is represented by one vs multiple executions? [Conceptual Model] (from MYERSJ4@rpi.edu on 2011-08-03)
- Re: PROV-ISSUE-67 (single-execution): Why is there a difference in what is represented by one vs multiple executions? [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2011-08-03)
- RE: PROV-ISSUE-67 (single-execution): Why is there a difference in what is represented by one vs multiple executions? [Conceptual Model] (from MYERSJ4@rpi.edu on 2011-08-03)
- RE: PROV-ISSUE-67 (single-execution): Why is there a difference in what is represented by one vs multiple executions? [Conceptual Model] (from MYERSJ4@rpi.edu on 2011-08-03)
- Re: PROV-ISSUE-67 (single-execution): Why is there a difference in what is represented by one vs multiple executions? [Conceptual Model] (from Paolo.Missier@ncl.ac.uk on 2011-08-03)
- Re: PROV-ISSUE-67 (single-execution): Why is there a difference in what is represented by one vs multiple executions? [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2011-08-03)
- Re: PROV-ISSUE-56 (derivation-definition-does-not-imply-transitivity): Derivation as defined is not transitive [Conceptual Model] (from Paolo.Missier@ncl.ac.uk on 2011-08-02)
- Re: PROV-ISSUE-56 (derivation-definition-does-not-imply-transitivity): Derivation as defined is not transitive [Conceptual Model] (from reza.bfar@oracle.com on 2011-08-02)
- RE: PROV-ISSUE-56 (derivation-definition-does-not-imply-transitivity): Derivation as defined is not transitive [Conceptual Model] (from stephen.cresswell@tso.co.uk on 2011-08-02)
- Re: PROV-ISSUE-56 (derivation-definition-does-not-imply-transitivity): Derivation as defined is not transitive [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2011-07-29)
- PROV-ISSUE-56 (derivation-definition-does-not-imply-transitivity): Derivation as defined is not transitive [Conceptual Model] (from sysbot+tracker@w3.org on 2011-07-29)
Related notes:
isDerivedFrom is an assertion, and no transitivity here.
dependsOn is defined to be transitive.
Display change log