Z Specification for the W3C Editor's Draft Core SHACL Semantics

11/02/2015
by   Arthur Ryman, et al.
0

This article provides a formalization of the W3C Draft Core SHACL Semantics specification using Z notation. This formalization exercise has identified a number of quality issues in the draft. It has also established that the recursive definitions in the draft are well-founded. Further formal validation of the draft will require the use of an executable specification technology.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset