ISSUE-66: SHACL spec ill-founded due to non-convergence on data loops
non-convergence
SHACL spec ill-founded due to non-convergence on data loops
- State:
- CLOSED
- Product:
- SHACL Spec
- Raised by:
- Peter Patel-Schneider
- Opened on:
- 2015-06-10
- Description:
- The current SHACL spec does not converge on the following data
ex:i rdf:type ex:C .
ex:i ex:p ex:i .
with the shape
exs:S rdf:type sh:Shape;
sh:classScope ex:C ;
sh:property [ sh:predicate ex:p ;
sh:minCount 1 ; sh:maxCount 1 ;
sh:valueShape exs:S ] .
There is no way to determine whether ex:i has a shape violation.
- Related Actions Items:
- No related actions
- 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: ISSUE-76: Can errors be treated as false? (from holger@topquadrant.com on 2015-08-06)
- Re: ISSUE-76: Can errors be treated as false? (from pfpschneider@gmail.com on 2015-08-05)
- Re: Proposal to close ISSUE-29 as a duplicate (from holger@topquadrant.com on 2015-07-29)
- Re: Proposal to close ISSUE-29 as a duplicate (from pfpschneider@gmail.com on 2015-07-28)
- Re: Proposal to close ISSUE-29 as a duplicate (from pfpschneider@gmail.com on 2015-07-28)
- Proposal to close ISSUE-29 as a duplicate (from holger@topquadrant.com on 2015-07-28)
- ISSUE-66 Wiki Page Created (from arthur.ryman@gmail.com on 2015-07-16)
- Re: ISSUE-66: Extended proposal for recursion (from pfpschneider@gmail.com on 2015-07-10)
- Re: ISSUE-66: Extended proposal for recursion (from holger@topquadrant.com on 2015-07-10)
- Re: ISSUE-66: Extended proposal for recursion (from holger@topquadrant.com on 2015-07-10)
- ISSUE-66: Extended proposal for recursion (from holger@topquadrant.com on 2015-07-10)
- Re: mentions of recursive shapes (from holger@topquadrant.com on 2015-07-10)
- Re: ISSUE-66: Extended proposal for recursion (from pfpschneider@gmail.com on 2015-07-09)
- Re: ISSUE-66: Extended proposal for recursion (from pfpschneider@gmail.com on 2015-07-09)
- mentions of recursive shapes (from pfpschneider@gmail.com on 2015-07-09)
- Re: ISSUE-22: Proposal based on sh:hasShape (from holger@topquadrant.com on 2015-06-12)
- Re: ISSUE-22: Proposal based on sh:hasShape (from pfpschneider@gmail.com on 2015-06-11)
- Re: ISSUE-22: Proposal based on sh:hasShape (from lehors@us.ibm.com on 2015-06-11)
- Re: ISSUE-22: Proposal based on sh:hasShape (from pfpschneider@gmail.com on 2015-06-11)
- Re: ISSUE-22: Proposal based on sh:hasShape (from lehors@us.ibm.com on 2015-06-11)
- Re: shapes-ISSUE-66 (ill-founded): SHACL should not be ill-founded [SHACL Spec] (from holger@topquadrant.com on 2015-06-11)
- shapes-ISSUE-66 (ill-founded): SHACL should not be ill-founded [SHACL Spec] (from sysbot+tracker@w3.org on 2015-06-10)
Related notes:
Closed at V F2F5 as part of change to initial spec without recursion. ISSUE-23 has a bit that talks about data loops which will cover this problem for reintroduction of recursion.
Peter Patel-Schneider, 16 Dec 2015, 18:57:55RESOLUTION: Close ISSUE-66 as being covered (for now) by the previous resolution. Recursion in shapes will need to cover data loops, as indicated in ISSUE-22
See: http://www.w3.org/2015/12/16-shapes-minutes.html#resolution05
Display change log