Re: PROV-ISSUE-311 (clarify-optionals): Clarify optional arguments in DM [prov-dm]

Following section 4.1 in PROV-Constraints and your clarifications I
believe this issue can be closed (and I have done so).

James seems to have a separate issue with the parsing of optionals in
PROV-N, which I can very much agree with, but it should be raised
separately.


On Wed, Apr 18, 2012 at 7:51 AM, Luc Moreau <L.Moreau@ecs.soton.ac.uk> wrote:
> 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
>



-- 
Stian Soiland-Reyes, myGrid team
School of Computer Science
The University of Manchester

Received on Thursday, 3 May 2012 13:31:38 UTC