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

OK, then I assume it is safe to close.

--James

On Aug 16, 2012, at 3:42 PM, Timothy Lebo wrote:

> 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.
>