Re: PROV-ISSUE-364 (collection-constraints-bugs): Collection constraint has wrong syntax for memberOf [prov-dm-constraints]

Hi Stian,
Typos fixed. I am now closing this issue.
Regards,
Luc

On 25/04/12 09:27, Provenance Working Group Issue Tracker wrote:
> PROV-ISSUE-364 (collection-constraints-bugs): Collection constraint has wrong syntax for memberOf [prov-dm-constraints]
>
> http://www.w3.org/2011/prov/track/issues/364
>
> Raised by: Stian Soiland-Reyes
> On product: prov-dm-constraints
>
> https://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#collection-constraints says:
>
> The following descriptions
>
>    derivedByInsertionFrom(c, c1, {("k1", e1)})
>    derivedByRemovalFrom(c, c2, {"k2"})
> have no interpretation. Nor have the following:
>    derivedByInsertionFrom(c, c1, {("k1", e1)})
>    memberOf(c, {"k2"}).
>
>
> The last line should be:
>    memberOf(c, {("k2", e2)})
>
> ..adding the entity and removing the dot.
>
>
>
>
>    

Received on Thursday, 31 May 2012 22:53:27 UTC