W3C home > Mailing lists > Public > public-prov-wg@w3.org > August 2012

Re: PROV-ISSUE-478: informative "type table" [prov-dm-constraints]

From: Timothy Lebo <lebot@rpi.edu>
Date: Thu, 16 Aug 2012 10:42:38 -0400
Cc: Provenance Working Group <public-prov-wg@w3.org>
Message-Id: <7F2F086B-D550-487D-89E1-2CE87D630A6F@rpi.edu>
To: James Cheney <jcheney@inf.ed.ac.uk>
Thanks, James. I think that will be very helpful for the uninitiated reader.

Regards,
Tim

On Aug 16, 2012, at 10:39 AM, James Cheney wrote:

> Hi all, 
> 
> I have added a draft of a typing constraint summary table and expository text [1].  Tim, please let me know if this suffices or if you have further suggestions.  This is in any case a non-blocking issue for last call release as far as I am aware.
> 
> Marked "pending review", will close if there is no discussion in the next few days.
> 
> --James
> 
> [1] http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#typing
> 
> On Aug 14, 2012, at 5:05 PM, Provenance Working Group Issue Tracker wrote:
> 
>> PROV-ISSUE-478: informative "type table" [prov-dm-constraints]
>> 
>> http://www.w3.org/2011/prov/track/issues/478
>> 
>> Raised by: Timothy Lebo
>> On product: prov-dm-constraints
>> 
>> "putting a table or figure that summarizes the typing constraints early in
>> PROV-CONSTRAINTS (in the non-normative section)"
>> 
>> 
>> http://dvcs.w3.org/hg/prov/raw-file/default/model/comments/issue-459-tim.txt
>> 
>> 
>>> 
>>> 
>>> 65)
>>> 
>>> 
>>> Putting constraint 54 much earlier in the document may help others
>>> read all other prov-n assertions in this document.
>>> 
>>> Suggest to put it much sooner in the document.
>>> 
>> 
>> I assume you mean (typing)?  This constraint is introduced
>> in the appropriate place for where it happens in constraint checking,
>> and it relies on notation not introduced until this point.
>> 
>> Moreover, I believe these constraints are effectively stated
>> informally in PROV-DM.  I am happy to address it by putting a table or
>> figure that summarizes the typing constraints early in
>> PROV-CONSTRAINTS (in the non-normative section), if that helps.
>> 
>> A new section 2.3 was introduced with the figure.
>> @James: to add text - this is editorial.
>> 
>> 
>> 
>> 
>> 
> 
> The University of Edinburgh is a charitable body, registered in
> Scotland, with registration number SC005336.


Received on Thursday, 16 August 2012 14:43:17 UTC

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