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

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

From: Provenance Working Group Issue Tracker <sysbot+tracker@w3.org>
Date: Tue, 14 Aug 2012 16:05:27 +0000
Message-Id: <E1T1JcV-0007ko-G7@nelson.w3.org>
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

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