Re: ACTION-91: comment regarding completeness

Paolo,
Your suggested text is already in the definition of complete [1].
The new text is some comment following the discussion on the call yesterday.
Luc

[1] 
http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#membership.complete

On 06/08/2012 01:19 PM, Paolo Missier wrote:
> Luc
>> The attribute complete 
>> <http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#membership.complete> 
>> provides an /indication/ that the dictionary membership is entirely 
>> described by the membership 
>> <http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#dfn-memberof> 
>> relation. Separate provenance descriptions /may/ describe different 
>> membership. Such conflicting information is to be handled by 
>> application specific reasoning.
> This doesn't really do it for me. In particular I don't understand:
> - why is "indication" in italics? how is it to be interpreted?
> -" Separate provenance descriptions /may/ describe different 
> membership. Such conflicting information is to be handled by 
> application specific reasoning." this is trying to tell me something 
> in between the lines, it is not clear to me.
>
> I propose the following:
>
> "The attribute complete 
> <http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#membership.complete> 
> is optional. It is interpreted as follows:
> - if it is present and set to true, then c is known to include all and 
> only the members specified in the key-entity-set.
> - if it is present and set to false, then c is known to include more 
> members in addition to those specified in the key-entity-set,
> - if it is not present, then c is known to include all the members 
> specified in the key-entity-set, and possibly more."
>
> -Paolo
>
> On 6/8/12 9:03 AM, Paul Groth wrote:
>> Looks good to me
>>
>> On Jun 8, 2012, at 9:59, Luc Moreau<L.Moreau@ecs.soton.ac.uk>  wrote:
>>
>>      
>>> Hi all,
>>>
>>> Following ACTION-91, I wrote the following paragraph to clarify the
>>> attribute complete.
>>>
>>> http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#complete-attribute-note
>>>
>>> Feedback welcome.
>>> Cheers,
>>> Luc
>>>
>>> -- 
>>> Professor Luc Moreau
>>> Electronics and Computer Science   tel:   +44 23 8059 4487
>>> University of Southampton          fax:   +44 23 8059 2865
>>> Southampton SO17 1BJ               email:l.moreau@ecs.soton.ac.uk
>>> United Kingdomhttp://www.ecs.soton.ac.uk/~lavm
>>>
>>>
>>>        
>
>
> -- 
> -----------  ~oo~  --------------
> Paolo Missier -Paolo.Missier@newcastle.ac.uk,pmissier@acm.org
> School of Computing Science, Newcastle University,  UK
> http://www.cs.ncl.ac.uk/people/Paolo.Missier
>    

-- 
Professor Luc Moreau
Electronics and Computer Science   tel:   +44 23 8059 4487
University of Southampton          fax:   +44 23 8059 2865
Southampton SO17 1BJ               email: l.moreau@ecs.soton.ac.uk
United Kingdom                     http://www.ecs.soton.ac.uk/~lavm