search

shexSpec / shex

ShEx language issues, including new features for e.g. ShEx2.1
24 stars 8 forks source link

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

Closed mistermboy closed 4 years ago

mistermboy commented 4 years ago

This is a simplification of the example 91 of the Validating RDF Data book :

: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 Shex2.1 branch grammar Shex.io grammar

mistermboy commented 4 years ago

Closed (https://github.com/shexSpec/grammar/issues/15)