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

This issue seems to be either addressed, or overtaken by events (since the example is no longer in prov-constraints).  It was still marked as pending review; I have closed it now.

--James
On May 31, 2012, at 11:52 PM, Luc Moreau wrote:

> 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.
>> 
>> 
>> 
>> 
>>   
> 
> 


-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

Received on Wednesday, 18 July 2012 17:42:21 UTC