[shex] Type mismatch in 5.2 Validation Definition

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

== Type mismatch in 5.2 Validation Definition ==
The definition of **isValid** states:

The expression isValid(G, m) indicates that for every **nodeSelector/shapeLabel pair (n, s) in m**, s has a corresponding shape expression se and satisfies(n, se, G, *m*)


The signature for `satisfies` states that:

The expression satisfies(n, se, G, m) indicates that a node n and graph G satisfy a shape expression se with **shapeMap m**

 *m* is not formally defined  in `isValid` but it can be inferred to contain a set of nodeSelector/shapeLabel pairs, which *could* imply that it is a Query or a Fixed Shape Map.  It doesn't explain, however, how an *element* in *m* becomes a shapeMap unto itself.  Perhaps the intent is, for each element in the `isValid` Query Shape Map, to create a Result Shape Map with a single entry? 


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

Received on Saturday, 30 December 2017 18:02:27 UTC