- From: Arthur Ryman <arthur.ryman@gmail.com>
- Date: Sun, 15 Nov 2015 07:28:21 -0500
- To: "Peter F. Patel-Schneider" <pfpschneider@gmail.com>, Iovka Boneva <iovka.boneva@univ-lille1.fr>
- Cc: "public-data-shapes-wg@w3.org" <public-data-shapes-wg@w3.org>
Peter, That question should be answered by Iovka. -- Arthur On Thu, Nov 12, 2015 at 11:10 PM, Peter F. Patel-Schneider <pfpschneider@gmail.com> wrote: > 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 Sunday, 15 November 2015 12:28:50 UTC