ISSUE-136: Collection not stated as functional

collection-functional

Collection not stated as functional

State:

CLOSED

Product:

prov-dm

Raised by:

Stian Soiland-Reyes

Opened on:

2011-10-29

Description:

http://www.w3.org/TR/prov-dm/#expression-Collection introduces relations for expressing collection addition by using three statements

wasAddedTo_Coll(c2,c1)
wasAddedTo_Key(c2,k1)
wasAddedTo_Entity(c2,e1)

Saying that c2 is the content of c1 - but with e1 added under the key k1.

It is not stated that the relations are functional - thus it would be valid to also say *for the same collection c2*:

wasAddedTo_Key(c2,k2)
wasAddedTo_Entity(c2,e2)


But now assuming order of assertions in PROV-ASN don't matter - we don't know if it is (k2,e2) and (k1,e1) that was added, alternatively (k1,e2) and (k2,e1).


My rough interpretation is that these assertions are meant to be functional - so that you can only add one key->entity at a time. If this is true, it should be stated in PROV-DM.

If it is not - then a different way to associate the key to the value is needed, like a new "CollectionEntry" entity with attributes "key:, "value" and possibly "collection".

Related Actions Items:

No related actions

Related emails:

1. Re: Collections: issue-136 and issue-137 (from soiland-reyes@cs.manchester.ac.uk on 2012-04-25)
2. Re: PROV-ISSUE-136 (collection-functional): Collection not stated as functional [Data Model] (from soiland-reyes@cs.manchester.ac.uk on 2012-04-25)
3. Collections: issue-136 and issue-137 (from L.Moreau@ecs.soton.ac.uk on 2012-04-18)
4. Re: closing old collection issues -> the question of monotonicity of provenance (from Paolo.Missier@ncl.ac.uk on 2012-03-29)
5. Re: closing old collection issues (from soiland-reyes@cs.manchester.ac.uk on 2012-03-29)
6. Re: closing old collection issues (from L.Moreau@ecs.soton.ac.uk on 2012-03-28)
7. Re: closing old collection issues (from satya.sahoo@case.edu on 2012-03-28)
8. Re: closing old collection issues (from L.Moreau@ecs.soton.ac.uk on 2012-03-28)
9. closing old collection issues (from Paolo.Missier@ncl.ac.uk on 2012-03-28)
10. Re: PROV-ISSUE-138 (collection-collision): Collection does not describe multiple additions/replacements [Data Model] (from soiland-reyes@cs.manchester.ac.uk on 2012-02-22)
11. Re: PROV-ISSUE-136 (collection-functional): Collection not stated as functional [Data Model] (from soiland-reyes@cs.manchester.ac.uk on 2012-02-22)
12. Re: PROV-ISSUE-135 (collection-names): Collection relations have confusing names [Data Model], ISSUE-137, (from soiland-reyes@cs.manchester.ac.uk on 2012-02-22)
13. PROV-ISSUE-136 (collection-functional): Collection not stated as functional [Data Model] (from sysbot+tracker@w3.org on 2011-10-29)

Related notes:

Display change log