2015/11/02 by Arthur Ryman, Ryman, Arthur
Computer Science · #Artificial Intelligence (cs.AI) #Databases (cs.DB) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #cs.AI #cs.DB #cs.LO
paper · pdf · doi:10.48550/arxiv.1511.00384
57 pages, Invited Expert contribution to the W3C RDF Data Shapes Working Group
arxiv created 2015/11/02 · openalex publication_date 2015/11/02 · arxiv updated 2015/11/03 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.