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:
  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: ISSUE-76: Can errors be treated as false? (from holger@topquadrant.com on 2015-08-06)
  6. Re: ISSUE-76: Can errors be treated as false? (from pfpschneider@gmail.com on 2015-08-05)
  7. Re: Proposal to close ISSUE-29 as a duplicate (from holger@topquadrant.com on 2015-07-29)
  8. Re: Proposal to close ISSUE-29 as a duplicate (from pfpschneider@gmail.com on 2015-07-28)
  9. Re: Proposal to close ISSUE-29 as a duplicate (from pfpschneider@gmail.com on 2015-07-28)
  10. Proposal to close ISSUE-29 as a duplicate (from holger@topquadrant.com on 2015-07-28)
  11. ISSUE-66 Wiki Page Created (from arthur.ryman@gmail.com on 2015-07-16)
  12. Re: ISSUE-66: Extended proposal for recursion (from pfpschneider@gmail.com on 2015-07-10)
  13. Re: ISSUE-66: Extended proposal for recursion (from holger@topquadrant.com on 2015-07-10)
  14. Re: ISSUE-66: Extended proposal for recursion (from holger@topquadrant.com on 2015-07-10)
  15. ISSUE-66: Extended proposal for recursion (from holger@topquadrant.com on 2015-07-10)
  16. Re: mentions of recursive shapes (from holger@topquadrant.com on 2015-07-10)
  17. Re: ISSUE-66: Extended proposal for recursion (from pfpschneider@gmail.com on 2015-07-09)
  18. Re: ISSUE-66: Extended proposal for recursion (from pfpschneider@gmail.com on 2015-07-09)
  19. mentions of recursive shapes (from pfpschneider@gmail.com on 2015-07-09)
  20. Re: ISSUE-22: Proposal based on sh:hasShape (from holger@topquadrant.com on 2015-06-12)
  21. Re: ISSUE-22: Proposal based on sh:hasShape (from pfpschneider@gmail.com on 2015-06-11)
  22. Re: ISSUE-22: Proposal based on sh:hasShape (from lehors@us.ibm.com on 2015-06-11)
  23. Re: ISSUE-22: Proposal based on sh:hasShape (from pfpschneider@gmail.com on 2015-06-11)
  24. Re: ISSUE-22: Proposal based on sh:hasShape (from lehors@us.ibm.com on 2015-06-11)
  25. Re: shapes-ISSUE-66 (ill-founded): SHACL should not be ill-founded [SHACL Spec] (from holger@topquadrant.com on 2015-06-11)
  26. 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:55

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

Arnaud Le Hors, 16 Dec 2015, 22:22:02

Display change log ATOM feed


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: 66.html,v 1.1 2018/11/26 09:03:41 carine Exp $