complete definition of Shape Expressions

Is there a current complete definition of Shape Expressions?

It appears that the two current controlling documents are the Shape
Expressions (ShEx) Primer, http://shexspec.github.io/primer/, and Semantics
of Shape Expressions Schemas, http://shexspec.github.io/semantics/.  The
former appears non-normative.  It mentions data validation as something that
Shape Expressions are supposed to be able to do.  The latter discusses the
syntax of Shape Expressions schemas and the declarative semantics of Shape
Expressions schemas.  There is no discussion of how validation is controlled
in Shape Expressions or even any definition of validation at all.  Instead
there is a notion of a graph satisfying a Shape Expressions schema but
satisfaction of a Shape Expression schema is not mentioned in the primer.

How does validation progress in Shape Expressions?

peter



PS: From the definition of satisfaction and the Certain Global Typing
Witness theorem every Shape Expressions schema is satisfied by every RDF
graph.

Received on Wednesday, 6 January 2016 23:14:51 UTC