Re: Changes to prov:Dictionary

On Jun 6, 2012, at 9:49 AM, Luc Moreau wrote:

> Hi Tim,
> 
> It's specifically your last point.

Thanks.

> Being to express whether membership was complete
> was a request from Stian and Paolo I believe.

Yes, and the request to remove them has been expressed by just about everybody else that has given feedback.

Completeness centers around a "special" optional boolean attribute, which sits right next to the "attributes" argument that can just as easily be used:

       memberOf(id; c, {(key_1, e_1), ..., (key_n, e_n)}, cplt, attrs)

I recommend that the notion of completeness be pushed to project-specific extensions of PROV.



It is impossible to handle complete membership properly and simply in RDF or OWL. 

1) A proper treatment would make the ontology much less approachable, and few if any would actually use the completeness aspect. 

* And, to be honest, I'm not sure we'd get the modeling right.


2) A simple treatment would be simply wrong within the OWA. 

* Any kind of construct used (e.g. prov:CompleteCollection) can only be valid in a closed system, which is not the target audience of PROV.



-Tim

> 
> Luc
> 
> On 06/06/2012 02:31 PM, Timothy Lebo wrote:
>> 
>> Luc,
>> 
>> On Jun 6, 2012, at 12:48 AM, Luc Moreau wrote:
>> 
>>> 
>>> 
>>> On 5 Jun 2012, at 23:18, "Timothy Lebo" <lebot@rpi.edu> wrote:
>>> 
>>>> prov-wg (and prov-dm editors),
>>>> 
>>>> I've reviewed all of the materials (that I can find) regarding collective concerns about prov:Dictionary, and 
>>>> have committed changes to the latest PROV-O owl and html to address those concerns:
>>>> 
>>>> * https://dvcs.w3.org/hg/prov/raw-file/default/ontology/Overview.html
>>>> * http://dvcs.w3.org/hg/prov/raw-file/default/ontology/ProvenanceOntology.owl
>>>> 
>>>> The changes are summarized here:
>>>> 
>>>> http://www.w3.org/2011/prov/wiki/index.php?title=Eg-34-us-supreme-court-membership&oldid=7905#PROV-O_changes_made.2C_inspired_by_this_example
>>>> 
>>>> and repeated here:
>>>>  Added class prov:Collection, as subclass of Entity
>>>> Added property prov:hadMember domain prov:Collection range prov:Entity.
>>>> This supports both generic "simple set" prov:Collection and prov:Dictionary.
>>>> Made KeyValuePair a subclass of Entity
>>>> this follows from Set Collection :c prov:hadMember :my_member and the definition of Collection "A collection is an entity that has some members. The members are themselves entities").
>>>> Renamed prov:membership to prov:qualifiedMembership to follow qualification pattern naming.
>>>> prov:Membership became subclass of prov:EntityInvolvement (though, it could become subclass of prov:KeyValuePairInvolvement, itself a subclass of prov:EntityInvolvement. But we'll try to simplify and reuse prov:entity)
>>>> prov:member renamed to prov:pair and became a subproperty of prov:involvee
>>>> Added property chain (qualifiedMembership o prov:pair) rdfs:subClassOf prov:hadMember
>>>> Added prov:removed domain prov:Removal range prov:KeyValuePair
>>>> Removed prov:CompleteDictionary from DM and PROV-O.
>>> Why?  
>>> Luc
>> 
>> 
>> What in particular would you like to discuss.
>> As I said, this reflects a response to many concerns that have been raised by many people in many forms.
>> In an effort to maintain focus and to make progress, I recommend that these points, the latest prov-dm, and the latest prov-o update serve as the basis for these discussions.
>> 
>> -Tim
>> 
>> 
>>> 
>>> 
>>>> 
>>>> 
>>>> 
>>>> You'll notice the prov-o modeling of Dictionaries is not consistent with latest prov-dm.
>>>> 
>>>> The prov-o team would like to ask the prov-dm editors to reconsider how collections and dictionaries are defined, so that they reflect the latest prov-o modeling of the PROV concepts.
>>>> 
>>>> Regards,
>>>> Tim Lebo
>>>> 
>>>> 
>>>> 
>>>> 
>>>> 
>>>> cc tracker ISSUE-374 ISSUE-391
>> 
> 
> -- 
> 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