ISSUE-22: Treatment of recursive shape definitions

recursion

Treatment of recursive shape definitions

State:

CLOSED

Product:

SHACL Spec

Raised by:

Richard Cyganiak

Opened on:

2015-03-28

Description:

A shape definition may refer to itself, either directly or indirectly. For example, in a bug tracker, issues may depend on other issues. Such shapes are problematic if there are cycles in the data. Before one can determine if a node belongs to the shape, one may first have to know whether it belongs to the shape.

Proposals for treating this include:

• Doing something very clever in the Semantics
• Syntactic conditions that outlaws recursive shape defintions
• Allowing recursive shape definitions, but doing something to treat them as informative documentation only

Related Actions Items:

• ACTION-29 on Arthur Ryman to Provide a proposal for recursion (from OSLC + shex static analysis) - due 2015-09-15, closed

Related emails:

1. Re: RDF Data Shapes WG agenda for 4 October 2016 (from holger@topquadrant.com on 2016-10-04)
2. Recursion (ISSUE-22) (from kontokostas@informatik.uni-leipzig.de on 2016-09-25)
3. Re: ISSUE-22: Suggested revision of wording on recursion (from kontokostas@informatik.uni-leipzig.de on 2016-06-12)
4. ISSUE-22: Suggested revision of wording on recursion (from holger@topquadrant.com on 2016-04-14)
5. Re: ISSUE-131: Cleaned up definition of sh:hasShape (from lehors@us.ibm.com on 2016-04-12)
6. Re: ISSUE-131: Cleaned up definition of sh:hasShape (from holger@topquadrant.com on 2016-04-11)
7. Re: ISSUE-22 and ISSUE-23 (from arthur.ryman@gmail.com on 2016-01-22)
8. Re: ISSUE-22 and ISSUE-23 (from pfpschneider@gmail.com on 2016-01-21)
9. Re: ISSUE-22 and ISSUE-23 (from arthur.ryman@gmail.com on 2016-01-20)
10. Re: ISSUE-22 and ISSUE-23 (from pfpschneider@gmail.com on 2016-01-19)
11. ISSUE-22 and ISSUE-23 (from arthur.ryman@gmail.com on 2016-01-19)
12. Re: ISSUE-22 Recursion - Status of Core SHACL Semantics draft (from pfpschneider@gmail.com on 2015-11-17)
13. Re: Shape Expressions Schemas (was Re: ISSUE-22 Recursion - Status of Core SHACL Semantics draft) (from iovka.boneva@univ-lille1.fr on 2015-11-17)
14. Re: ISSUE-22 Recursion - Status of Core SHACL Semantics draft (from eric@w3.org on 2015-11-17)
15. Re: ISSUE-22 Recursion - Status of Core SHACL Semantics draft (from pfpschneider@gmail.com on 2015-11-16)
16. Re: ISSUE-22 Recursion - Status of Core SHACL Semantics draft (from iovka.boneva@univ-lille1.fr on 2015-11-16)
17. Re: Shape Expressions Schemas (was Re: ISSUE-22 Recursion - Status of Core SHACL Semantics draft) (from arthur.ryman@gmail.com on 2015-11-15)
18. Re: ISSUE-22 Recursion - Status of Core SHACL Semantics draft (from pfpschneider@gmail.com on 2015-11-13)
19. Shape Expressions Schemas (was Re: ISSUE-22 Recursion - Status of Core SHACL Semantics draft) (from pfpschneider@gmail.com on 2015-11-12)
20. ISSUE-22 Recursion - Status of Core SHACL Semantics draft (from arthur.ryman@gmail.com on 2015-11-11)
21. Re: Core SHACL Semantics http://w3c.github.io/data-shapes/semantics/ (from arthur.ryman@gmail.com on 2015-11-05)
22. Re: ISSUE-22: Proposal based on sh:hasShape (from arthur.ryman@gmail.com on 2015-06-25)
23. Re: ISSUE-22: Proposal based on sh:hasShape (from arthur.ryman@gmail.com on 2015-06-25)
24. Re: ISSUE-22: Proposal based on sh:hasShape (from pfpschneider@gmail.com on 2015-06-25)
25. Re: ISSUE-22: Proposal based on sh:hasShape (from holger@topquadrant.com on 2015-06-25)
26. Re: ISSUE-22: Proposal based on sh:hasShape (from arthur.ryman@gmail.com on 2015-06-24)
27. Re: RDF Data Shapes WG agenda for 18 June 2015 (from lehors@us.ibm.com on 2015-06-17)
28. Re: RDF Data Shapes WG agenda for 18 June 2015 (from pfpschneider@gmail.com on 2015-06-17)
29. Re: ISSUE-22: Proposal based on sh:hasShape (from pfpschneider@gmail.com on 2015-06-17)
30. Re: ISSUE-22: Proposal based on sh:hasShape (from holger@topquadrant.com on 2015-06-17)
31. Re: ISSUE-22: Proposal based on sh:hasShape (from pfpschneider@gmail.com on 2015-06-16)
32. Re: ISSUE-22: Proposal based on sh:hasShape (from holger@topquadrant.com on 2015-06-16)
33. Re: ISSUE-22: Proposal based on sh:hasShape (from pfpschneider@gmail.com on 2015-06-15)
34. Re: ISSUE-22: Proposal based on sh:hasShape (from holger@topquadrant.com on 2015-06-15)
35. Re: ISSUE-22: Proposal based on sh:hasShape (from holger@topquadrant.com on 2015-06-15)
36. Re: ISSUE-22: Proposal based on sh:hasShape (from pfpschneider@gmail.com on 2015-06-14)
37. Re: ISSUE-22: Proposal based on sh:hasShape (from pfpschneider@gmail.com on 2015-06-14)
38. Re: ISSUE-22: Proposal based on sh:hasShape (from holger@topquadrant.com on 2015-06-14)
39. Re: ISSUE-22: Proposal based on sh:hasShape (from holger@topquadrant.com on 2015-06-12)
40. Re: ISSUE-22: Proposal based on sh:hasShape (from holger@topquadrant.com on 2015-06-12)
41. Re: ISSUE-22: Proposal based on sh:hasShape (from holger@topquadrant.com on 2015-06-12)
42. Re: ISSUE-22: Proposal based on sh:hasShape (from pfpschneider@gmail.com on 2015-06-11)
43. Re: ISSUE-22: Proposal based on sh:hasShape (from lehors@us.ibm.com on 2015-06-11)
44. Re: ISSUE-22: Proposal based on sh:hasShape (from pfpschneider@gmail.com on 2015-06-11)
45. Re: ISSUE-22: Proposal based on sh:hasShape (from lehors@us.ibm.com on 2015-06-11)
46. Re: ISSUE-22: Proposal based on sh:hasShape (from simon.steyskal@wu.ac.at on 2015-06-11)
47. ISSUE-22: Proposal based on sh:hasShape (from holger@topquadrant.com on 2015-06-11)
48. Re: shapes-ISSUE-66 (ill-founded): SHACL should not be ill-founded [SHACL Spec] (from holger@topquadrant.com on 2015-06-11)
49. Re: implementing today's resolution (from holger@topquadrant.com on 2015-06-01)
50. Re: shapes-ISSUE-22 (recursion): Treatment of recursive shape definitions [SHACL Spec] (from pfpschneider@gmail.com on 2015-04-02)
51. Re: shapes-ISSUE-22 (recursion): Treatment of recursive shape definitions [SHACL Spec] (from arthur.ryman@gmail.com on 2015-04-02)
52. shapes-ISSUE-22 (recursion): Treatment of recursive shape definitions [SHACL Spec] (from sysbot+tracker@w3.org on 2015-03-28)

Related notes:

Display change log