ISSUE-22 Recursion - Status of Core SHACL Semantics draft

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 Thursday, 12 November 2015 03:51:03 UTC