ISSUE-364: Collection constraint has wrong syntax for memberOf

collection-constraints-bugs

Collection constraint has wrong syntax for memberOf

State:
CLOSED
Product:
prov-dm-constraints
Raised by:
Stian Soiland-Reyes
Opened on:
2012-04-25
Description:
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.
Related Actions Items:
No related actions
Related emails:
  1. Re: PROV-ISSUE-364 (collection-constraints-bugs): Collection constraint has wrong syntax for memberOf [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-07-18)
  2. Re: PROV-ISSUE-364 (collection-constraints-bugs): Collection constraint has wrong syntax for memberOf [prov-dm-constraints] (from L.Moreau@ecs.soton.ac.uk on 2012-05-31)
  3. PROV-ISSUE-364 (collection-constraints-bugs): Collection constraint has wrong syntax for memberOf [prov-dm-constraints] (from sysbot+tracker@w3.org on 2012-04-25)

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: 364.html,v 1.1 2013-06-20 07:37:39 vivien Exp $