W3C home > Mailing lists > Public > public-prov-wg@w3.org > March 2013

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

From: Tom De Nies <tom.denies@ugent.be>
Date: Thu, 28 Mar 2013 18:15:44 +0100
Message-ID: <CA+=hbbfOXvbBcFMBrNnOOKoXx3t-B__XsbZ+zKUVr2R1yT9zyw@mail.gmail.com>
To: Stian Soiland-Reyes <soiland-reyes@cs.manchester.ac.uk>
Cc: Luc Moreau <l.moreau@ecs.soton.ac.uk>, public-prov-wg@w3.org
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
>
>
Received on Thursday, 28 March 2013 17:16:14 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:58:23 UTC