W3C home > Mailing lists > Public > public-prov-wg@w3.org > December 2011

Re: PROV-ISSUE-124: Constraints on Used Relation (PROV-DM and PROV-OM) [Conceptual Model]

From: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
Date: Mon, 19 Dec 2011 09:02:35 +0000
Message-ID: <EMEW3|9e6b2f4ee8440542a3e5e531252ab9b2nBI92e08L.Moreau|ecs.soton.ac.uk|4EEEFDAB.9040802@ecs.soton.ac.uk>
To: Timothy Lebo <lebot@rpi.edu>
CC: public-prov-wg@w3.org
Hi Satya and Tim,

I am now closing this issue, pending review.
Constraints for attributes were removed in WD2, and interpretations have
now been moved in a separate section, clarifying the issue flagged here.

Feel free to reopen, if the issue is not addressed satisfactorily.

Cheers,
Luc

On 12/03/2011 12:38 AM, Timothy Lebo wrote:
> I have noticed the new distinctions using "interpretation" in the latest draft, and it has made it easier to see the difference.
>
> With regard to "moving all constraints to one section", I'm curious to see if this makes it more difficult to read and understand any one construct.
>
> I'll wait and see!
>
> Regards,
> Tim
>
>
> On Nov 29, 2011, at 4:40 AM, Luc Moreau wrote:
>
>    
>> Hi Tim,
>> Yes, to confirm, we will make the change, but it will be in the third working draft.
>> This said, the current document, already introduces 'interpretation' , wherever appropriate.
>>
>> Luc
>>
>> On 11/29/2011 09:21 AM, Paolo Missier wrote:
>>      
>>> Tim
>>>
>>> it does exist. Indeed there are numerous constraints that I call "non-actionable", such as "traceability assertion" for example, which describe semantics but cannot be used to make new assertions, or even to check consistency.
>>>
>>> There is a proposal to push all constraints into a separate section, and in that setting it will be easier to make this distinction.
>>>
>>> -Paolo
>>>
>>>
>>> On 11/22/11 7:58 PM, Timothy Lebo wrote:
>>>        
>>>> Luc and Paolo,
>>>>
>>>> Does this distinction among constraints still exist?
>>>>
>>>> If so, could/is it described in the latest DM?
>>>>
>>>> Thanks,
>>>> Tim
>>>>
>>>>
>>>>
>>>>          
>>>>>>> We are proposing to make a distinction between
>>>>>>>                
>>>>>> - inferences
>>>>>> - so-called constraints that are there for the purpose of interpretation
>>>>>> - constraints that need to be enforced in the data model to be "well formed".
>>>>>>              
>>>
>>>        
>> -- 
>> 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
>>
>>
>>
>>      
>    

-- 
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 Monday, 19 December 2011 09:03:20 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:51:05 UTC