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