ISSUE-643: Include additional constraint hadMember implies hadDictionaryMember with unknown key

TomDN

Include additional constraint hadMember implies hadDictionaryMember with unknown key

State:
CLOSED
Product:
PROV-DICTIONARY
Raised by:
Tom De Nies
Opened on:
2013-03-07
Description:
Originally raised by Stian in his review, but agreed to postpone to next draft.

Should we add the following constraint?
IF hadMember(d, e) and 'Dictionary' \in typeOf(d) THEN hadDictionaryMember(d, e, "k") with k and unknown key.

In Stian's original email:
Also I don't quite understand this. So a prov:Dictionary kind of
collection can have members that don't have keys?

entity(d, [prov:type='prov:Dictionary' ])
// implies:
entity(d, [prov:type='prov:Collection ])

hadDictionaryMember(d, e1, "k1")
// implies:
hadMember(d, e1)

// But what if we also see?
hadMember(d, e3)
// are you saying this would NOT imply the below?
hadDictionaryMember(d, e3, ?unknownKey)

If so then I am a bit confused - a prov:Dictionary to be useful should
be a constrained prov:Collection in which every member is associated
with a key. This should be added to the Conceptual Definition of
Dictionary above.

If there is no such implication (of course the key is unknown until
stated otherwise), I am not sure in which cases such a data type could
be useful. It would be like describing an array type of collection,
but where some items are allowed to not have a position. (which is
quite different from saying they have an unknown position!)
Related Actions Items:
No related actions
Related emails:
  1. Re: PROV-ISSUE-643 (TomDN): Include additional constraint hadMember implies hadDictionaryMember with unknown key [PROV-DICTIONARY] (from tom.denies@ugent.be on 2013-03-28)
  2. Re: PROV-ISSUE-643 (TomDN): Include additional constraint hadMember implies hadDictionaryMember with unknown key [PROV-DICTIONARY] (from soiland-reyes@cs.manchester.ac.uk on 2013-03-25)
  3. Re: PROV-ISSUE-643 (TomDN): Include additional constraint hadMember implies hadDictionaryMember with unknown key [PROV-DICTIONARY] (from tom.denies@ugent.be on 2013-03-25)
  4. Re: PROV-ISSUE-643 (TomDN): Include additional constraint hadMember implies hadDictionaryMember with unknown key [PROV-DICTIONARY] (from l.moreau@ecs.soton.ac.uk on 2013-03-25)
  5. Re: PROV-ISSUE-643 (TomDN): Include additional constraint hadMember implies hadDictionaryMember with unknown key [PROV-DICTIONARY] (from tom.denies@ugent.be on 2013-03-22)
  6. PROV-ISSUE-643 (TomDN): Include additional constraint hadMember implies hadDictionaryMember with unknown key [PROV-DICTIONARY] (from sysbot+tracker@w3.org on 2013-03-07)

Related notes:

No additional notes.

Display change log ATOM feed


Chair, Staff Contact
Tracker: documentation, (configuration for this group), originally developed by Dean Jackson, is developed and maintained by the Systems Team <w3t-sys@w3.org>.
$Id: 643.html,v 1.1 2013-06-20 07:37:58 vivien Exp $