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:

1. Re: prov-o rec confusion (from p.t.groth@vu.nl on 2013-01-25)
2. RE: prov-o rec confusion (from Kerry.Taylor@csiro.au on 2013-01-25)
3. Re: prov-o rec confusion (from p.t.groth@vu.nl on 2013-01-21)
4. 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)
5. 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)
6. 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)
7. 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)
8. 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)
9. 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)
10. 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)
11. 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)
12. 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)
13. 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)
14. 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)
15. 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)
16. 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)
17. 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)
18. 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)
19. 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:

Display change log