- From: Provenance Working Group Issue Tracker <sysbot+tracker@w3.org>
- Date: Wed, 25 Apr 2012 08:27:00 +0000
- To: public-prov-wg@w3.org
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 Wednesday, 25 April 2012 08:27:03 UTC