Z Specification for the W3C Editor's Draft Core SHACL Semantics
Databases
2015-11-03 v1 Artificial Intelligence
Logic in Computer Science
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.
Cite
@article{arxiv.1511.00384,
title = {Z Specification for the W3C Editor's Draft Core SHACL Semantics},
author = {Arthur Ryman},
journal= {arXiv preprint arXiv:1511.00384},
year = {2015}
}
Comments
57 pages, Invited Expert contribution to the W3C RDF Data Shapes Working Group