- From: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
- Date: Wed, 18 Apr 2012 07:51:06 +0100
- To: public-prov-wg@w3.org, Stian Soiland-Reyes <soiland-reyes@cs.manchester.ac.uk>
Hi Stian, Can we close this issue now? Regards, Luc On 04/02/2012 03:58 PM, Luc Moreau wrote: > Hi Stian, > > If you follow [1] below, you will now find our proposed answer to > optional arguments. > It contains explicit links to prov-dm part 2. > > I propose to close this issue pending your review. > Regards, > Luc > > > On 03/30/2012 04:12 PM, Luc Moreau wrote: >> >> Hi Stian, >> >> I have been thinking about your suggestion on optional arguments. >> I looked at all the optional arguments [1] in prov-dm. >> >> Most of them, I believe, imply existential quantification. >> >> It would be nice to have this confirmed, and then we can write it up >> in part 2. >> >> Luc >> >> [1] http://dvcs.w3.org/hg/prov/raw-file/default/model/optional.html >> >> On 13/03/2012 11:05, Provenance Working Group Issue Tracker wrote: >>> PROV-ISSUE-311 (clarify-optionals): Clarify optional arguments in DM >>> [prov-dm] >>> >>> http://www.w3.org/2011/prov/track/issues/311 >>> >>> Raised by: Stian Soiland-Reyes >>> On product: prov-dm >>> >>> There seems to be some confusion over any of the 'optional' >>> arguments in >>> PROV-DM/PROV-N. >>> >>> It is unclear if this means that the argument is *implied* (ie. >>> existential quantification/bnodes in OWL/RDF) or not applicable/not >>> present (NIL). >>> >>> It might be good to go through all of the optionals in PROV-DM and >>> make sure they make that clear. >>> >>> For instance: >>>> Generation, written wasGeneratedBy(id,e,a,t,attrs) in PROV-N, has >>>> the following components: >>>> id: an optional identifier for a generation; >>>> entity: an identifier for a created entity; >>>> activity: an optional identifier for the activity that creates the >>>> entity; >>>> time: an optional "generation time", the time at which the entity >>>> was completely created; >>>> attributes: an optional set of attribute-value pairs that describes >>>> the modalities of generation of this entity by this activity. >>> Change to: >>> >>> >>>> Generation, written wasGeneratedBy(id,e,a,t,attrs) in PROV-N, has >>>> the following components: >>>> id: an optional identifier for a generation, if unspecified the >>>> identifier is not known; >>>> entity: an identifier for a created entity; >>>> activity: an optional identifier for the activity that creates the >>>> entity, if unspecified activity is still implied, but unknown; >>>> time: an optional "generation time", the time at which the entity >>>> was completely created, if unspecified the time is unknown or not >>>> applicable; >>>> attributes: an optional set of attribute-value pairs that describes >>>> the modalities of generation of this entity by this activity, if >>>> unspecified an empty set is implied. >>> >>> >>> >> > -- 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
Received on Wednesday, 18 April 2012 06:51:45 UTC