ACTION-29: Provide a proposal for recursion (from OSLC + shex static analysis)
Provide a proposal for recursion (from OSLC + shex static analysis)
- State:
- closed
- Person:
- Arthur Ryman
- Due on:
- September 15, 2015
- Created on:
- September 8, 2015
- Associated Issue:
- recursion
- Related emails:
- Re: ACTION-29 Recursion: Wrap Up (from jamsden@us.ibm.com on 2016-02-24)
- Re: ACTION-29 Recursion: Wrap Up (from pfpschneider@gmail.com on 2016-02-24)
- Re: ACTION-29 Recursion: Wrap Up (from holger@topquadrant.com on 2016-02-24)
- ACTION-29 Recursion: Wrap Up (from arthur.ryman@gmail.com on 2016-02-23)
- Re: ACTION-29 Z Specification for the W3C Editor's Draft Core SHACL Semantics (from pfpschneider@gmail.com on 2015-11-04)
- Re: ACTION-29 Z Specification for the W3C Editor's Draft Core SHACL Semantics (from arthur.ryman@gmail.com on 2015-11-04)
- Re: ACTION-29 Z Specification for the W3C Editor's Draft Core SHACL Semantics (from pfpschneider@gmail.com on 2015-11-04)
- Re: ACTION-29 "Recursion in RDF Data Shape Languages" v2 (from arthur.ryman@gmail.com on 2015-11-04)
- Re: ACTION-29 "Recursion in RDF Data Shape Languages" v2 (from pfpschneider@gmail.com on 2015-11-04)
- ACTION-29 Issues found in your draft of Core SHACL Semantics (from arthur.ryman@gmail.com on 2015-11-04)
- ACTION-29 Z Specification for the W3C Editor's Draft Core SHACL Semantics (from arthur.ryman@gmail.com on 2015-11-04)
- ACTION-29 "Recursion in RDF Data Shape Languages" v2 (from arthur.ryman@gmail.com on 2015-11-04)
- shapes-ACTION-29: Provide a proposal for recursion (from oscl + shex static analysis) (from sysbot+tracker@w3.org on 2015-09-08)
Related notes:
Recursion involving just sh:valueShape and sh:and can be given a well-founded meaning.
See "Recursion in RDF Data Shape Languages" at http://arxiv.org/abs/1505.04972
Recursion involving sh:not and sh:or is more complex.
A meaning has been proposed in the W3C Editor's Draft of "Core SHACL Semantics" at http://w3c.github.io/data-shapes/semantics/
However, this draft has some issues. The draft has been formalized in Z and the issues found are listed in
"Z Specification for the W3C Editor's Draft Core SHACL Semantics" at http://arxiv.org/abs/1511.00384
This action is way overdue and I do not see my being able to find time to do this work. I am therefore closing it.
Arthur Ryman, 24 Feb 2016, 02:26:30Display change log.