[shex] [Validating RDF Data] Example 91: Validating data before and after inference (#100)

mistermboy has just created a new issue for https://github.com/shexSpec/shex:

== [Validating RDF Data] Example 91:  Validating data before and after inference ==
This is a simplification of the example 91 of the [Validating RDF Data book](https://book.validatingrdf.com/bookHtml010.html) :
```
:TeacherAfter EXTRA a {
 :teaches    { a [:Course] } @:Course
}
```
I am wondering if the '@:Course' is correct because I was looking at the grammars and I think there is none that allows writing a 'shapeRef' after an 'inlineShapeExpression'

```
[43] unaryTripleExpr ::=('$' tripleExprLabel)? (tripleConstraint|bracketedTripleExpr) 
                        | include

[44] bracketedTripleExpr ::= 
     '(' tripleExpression ')' cardinality? annotation* semanticActions

[45] tripleConstraint ::= 
senseFlags? predicate inlineShapeExpression cardinality? annotation* semanticActions

[57] include ::= '&' tripleExprLabel
```

[Master   branch grammar](https://github.com/shexSpec/grammar/blob/master/bnf) 
[Shex2.1 branch grammar](https://github.com/shexSpec/grammar/blob/shex2.1/bnf)
[Shex.io grammar](http://shex.io/shex-semantics/#shexc)

Please view or discuss this issue at https://github.com/shexSpec/shex/issues/100 using your GitHub account

Received on Monday, 10 February 2020 11:44:26 UTC