ISSUE-478: informative "type table"
type-table
informative "type table"
- State:
- CLOSED
- Product:
- prov-dm-constraints
- Raised by:
- Timothy Lebo
- Opened on:
- 2012-08-14
- Description:
- "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.
- Related Actions Items:
- No related actions
- Related emails:
- Re: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-09-04)
- Re: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-08-30)
- Re: PROV-ISSUE-478: informative 'type table' [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-08-16)
- Re: PROV-ISSUE-478: informative 'type table' [prov-dm-constraints] (from lebot@rpi.edu on 2012-08-16)
- Re: PROV-ISSUE-478: informative 'type table' [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-08-16)
- Re: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from lebot@rpi.edu on 2012-08-14)
- PROV-ISSUE-478: informative 'type table' [prov-dm-constraints] (from sysbot+tracker@w3.org on 2012-08-14)
Related notes:
No additional notes.
Display change log