- From: Eric Prud'hommeaux via GitHub <sysbot+gh@w3.org>
- Date: Sun, 14 Jan 2018 22:37:21 +0000
- To: public-shex-dev@w3.org
The intent was to say there there is *some* shapeMap `m` which is consistent through the entire validation of n@s. That said, I'm not entirely sure it's required. I started to make the following argument but realized that it's about cardinality, not about consistency of `m`.
> ### bogus argument:
> Validation of data:
> ```
> <n> <p> 2 .
> ```
> against schema:
> ```
> <S1> { <p> @<S2> ; <p> @<S3> }
> <S2> [1 2]
> <S3> [2 3]
> ```
> could be (incorrectly) satisfied if 2 were assigned to two different shapes.
The flaw in this argument is that we don't use the shapeMap to test for cardinality conformance.
--
GitHub Notification of comment by ericprud
Please view or discuss this issue at https://github.com/shexSpec/shex/issues/80#issuecomment-357548646 using your GitHub account
Received on Sunday, 14 January 2018 22:37:24 UTC