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:
  1. Re: ACTION-29 Recursion: Wrap Up (from jamsden@us.ibm.com on 2016-02-24)
  2. Re: ACTION-29 Recursion: Wrap Up (from pfpschneider@gmail.com on 2016-02-24)
  3. Re: ACTION-29 Recursion: Wrap Up (from holger@topquadrant.com on 2016-02-24)
  4. ACTION-29 Recursion: Wrap Up (from arthur.ryman@gmail.com on 2016-02-23)
  5. Re: ACTION-29 Z Specification for the W3C Editor's Draft Core SHACL Semantics (from pfpschneider@gmail.com on 2015-11-04)
  6. Re: ACTION-29 Z Specification for the W3C Editor's Draft Core SHACL Semantics (from arthur.ryman@gmail.com on 2015-11-04)
  7. Re: ACTION-29 Z Specification for the W3C Editor's Draft Core SHACL Semantics (from pfpschneider@gmail.com on 2015-11-04)
  8. Re: ACTION-29 "Recursion in RDF Data Shape Languages" v2 (from arthur.ryman@gmail.com on 2015-11-04)
  9. Re: ACTION-29 "Recursion in RDF Data Shape Languages" v2 (from pfpschneider@gmail.com on 2015-11-04)
  10. ACTION-29 Issues found in your draft of Core SHACL Semantics (from arthur.ryman@gmail.com on 2015-11-04)
  11. ACTION-29 Z Specification for the W3C Editor's Draft Core SHACL Semantics (from arthur.ryman@gmail.com on 2015-11-04)
  12. ACTION-29 "Recursion in RDF Data Shape Languages" v2 (from arthur.ryman@gmail.com on 2015-11-04)
  13. 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

Arthur Ryman, 4 Nov 2015, 10:51:08

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:30

Display change log.


Chair, Staff Contact
Tracker: documentation, (configuration for this group), originally developed by Dean Jackson, is developed and maintained by the Systems Team <w3t-sys@w3.org>.
$Id: 29.html,v 1.1 2018/11/26 09:03:23 carine Exp $