- From: Provenance Working Group Issue Tracker <sysbot+tracker@w3.org>
- Date: Tue, 14 Aug 2012 16:05:27 +0000
- To: public-prov-wg@w3.org
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.
Received on Tuesday, 14 August 2012 16:05:28 UTC