Re: PROV-ISSUE-643 (TomDN): Include additional constraint hadMember implies hadDictionaryMember with unknown key [PROV-DICTIONARY]

The inference has been added:
https://dvcs.w3.org/hg/prov/raw-file/default/dictionary/Overview.html#cmembership-dmembership-inference

Issue marked pending review.

Tom


2013/3/25 Stian Soiland-Reyes <soiland-reyes@cs.manchester.ac.uk>

> On Mon, Mar 25, 2013 at 11:14 AM, Luc Moreau <l.moreau@ecs.soton.ac.uk>
> wrote:
> > IF hadMember(d, e) and 'Dictionary' \in typeOf(d) THEN there exists a
> key k
> > such that hadDictionaryMember(d, e, k)
> >
> > - "there exists a key" ... rather than an unknown key  (if fact it can be
> > known!)
> > - not write "k" but k : a key is a prov-dm literal.
>
> +1
>
> I guess we don't need to clarify that there could be multiple keys for
> the same member - the above does not require there to be a single such
> key (although it might wrongly hint at that..).
>
> --
> Stian Soiland-Reyes, myGrid team
> School of Computer Science
> The University of Manchester
>
>