Z Specification for the W3C Editor's Draft Core SHACL Semantics
2015-11-02Code Available0· sign in to hype
Arthur Ryman
Code Available — Be the first to reproduce this paper.
ReproduceCode
- github.com/agryman/z-core-shacl-semanticsOfficialIn papernone★ 0
Abstract
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.