- From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
- Date: Thu, 12 Nov 2015 20:10:07 -0800
- To: Arthur Ryman <arthur.ryman@gmail.com>, "public-data-shapes-wg@w3.org" <public-data-shapes-wg@w3.org>
I was looking at Shape Expressions Schemas [1] and was puzzled by a particular statement about the motivating example. On page 3, the paper states: "On the other hand, even in presence of EXTRA, an issue shape can still be is:reproducedBy only one tester." I do not believe that this is correct. In the example, a node that validates under IssueShape could have an arbitrary number of values for is:reproducedBy that validate under TesterShape, so long as at most one of them do not validate under ProgrammerShape. Is my reasoning correct here? peter On 11/11/2015 07:50 PM, Arthur Ryman wrote: > I had a telecon with Iovka this week. She reviewed the issues I found > in the draft and did make one correction to the definition of > negshapes. > > Some of the issues I found were about the semantics of the oneOf > operator. However, Iovka said that this operator was problematic for > other reasons and has been dropped from the latest version of ShEx. > > Iovka said that the draft is no longer being maintained. Her latest > version of the semantics of ShEx is given in [1]. I pointed out that I > had proposed a different approach to positive recursion. [2] > > We agreed to look at each others articles and decide how to proceed. > > [1] http://arxiv.org/abs/1510.05555 > [2] http://arxiv.org/abs/1505.04972 > > -- Arthur >
Received on Friday, 13 November 2015 04:10:43 UTC