- From: Arthur Ryman <arthur.ryman@gmail.com>
- Date: Wed, 1 Jul 2015 10:33:55 -0400
- To: "public-data-shapes-wg@w3.org" <public-data-shapes-wg@w3.org>
Iovka/Eric, The semantics document [1] contains this clause in the definition of negshapes(S): * there is a shape label T1 and a shape triple constraint p::C, or an inverse shape triple constraints ^p::C in expr(T1, S), and T appears in C. This looks wrong since there is no negation involved. Is this clause correct? If so, please explain the reason for this definition. Thanks. BTW, I am working with the June 22 version, but I see that the latest is June 30. What are you changing? I'd appreciate revision bars and history. [1] http://w3c.github.io/data-shapes/semantics/#semantics_preliminaries -- Arthur
Received on Wednesday, 1 July 2015 14:34:22 UTC