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

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

From: James Cheney <jcheney@inf.ed.ac.uk>
Date: Thu, 16 Aug 2012 15:39:09 +0100
Cc: Timothy Lebo <lebot@rpi.edu>
Message-Id: <C5F35A96-3361-4EDC-86E5-DB5243893547@inf.ed.ac.uk>
To: Provenance Working Group <public-prov-wg@w3.org>
('binary' encoding is not supported, stored as-is)
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:39:28 UTC

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