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

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