W3C home > Mailing lists > Public > public-prov-wg@w3.org > June 2012

Re: ACTION-91: comment regarding completeness

From: Paolo Missier <Paolo.Missier@ncl.ac.uk>
Date: Fri, 08 Jun 2012 16:19:25 +0100
Message-ID: <4FD217FD.2070503@ncl.ac.uk>
To: Timothy Lebo <lebot@rpi.edu>
CC: Provenance Working Group WG <public-prov-wg@w3.org>, Luc Moreau <L.Moreau@ecs.soton.ac.uk>
Tim

On 6/8/12 1:51 PM, Timothy Lebo wrote:
>
> On Jun 8, 2012, at 8:19 AM, Paolo Missier wrote:
>
>> Luc
>>> The attributecomplete <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 themembership 
>>> <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 attributecomplete <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.
>
>
> ^^^ 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?

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


-- 
-----------  ~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
Received on Friday, 8 June 2012 15:19:51 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:58:16 UTC