Re: ACTION-91: comment regarding completeness

On Jun 8, 2012, at 11:19 AM, Paolo Missier wrote:

> Tim
> 
> On 6/8/12 1:51 PM, Timothy Lebo wrote:
>> 
>> 
>> On Jun 8, 2012, at 8:19 AM, Paolo Missier wrote:
>> 
>>> Luc
>>>> The attribute complete provides an indication that the dictionary membership is entirely described by the membership 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 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.
>> 
>> 
>> ^^^ This kind of "future proofing" is what raised the "completeness concerns", so I suggest toning this down.
>> As I've said before, avoiding the OWA's "anything can come down the road" and instead focusing on "this is believed to be true, according to the asserter" eases the completeness objections.
> no problems with that, but as I pointed out in past discussions on this, this is true in general for /all/ provenance assertions, not just collections... right?

I guess so.
Which is why we don't have a "complete" flag on Entity, right?

So what you're doing is saying "if you ever try to talk about _my_ dictionary, you're talking about a different dictionary!"?

-Tim



> 
> -Paolo
> 
> 
> 
> 
>> 
>> -Tim
>> 
>> 
>> 
>>> - 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 Kingdom                     http://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
>> 
> 
> 
> -- 
> -----------  ~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