ISSUE-62: Selection or filtering by arbitrary expressions and shapes

General selection or filtering

Selection or filtering by arbitrary expressions and shapes

State:
CLOSED
Product:
SHACL Spec
Raised by:
Holger Knublauch
Opened on:
2015-05-30
Description:
See also:

https://www.w3.org/2014/data-shapes/wiki/Requirements#Selection_by_expression

Peter's proposal has facilities to establish a connection between resources and their shapes via sh:shapeScope and sh:sparqlScope. These can be used stand-alone, i.e. they are evaluated across the whole graph to find matching resources, leading to bindings of the focus node.

The SHACL proposal has a similar facility via sh:scopeShape, but is more limiting: it can only be used in conjunction with a previous scoping (via rdf:type/sh:scopeClass or sh:nodeShape). The reason for this limitation is that (I don't think) there is a reliable way to ensure that the focus node (?this) will always be bound in Peter's approach, since some shapes can only be evaluated when a focus node is already present. To simulate Peter's use cases, one would simply associate such shapes on rdfs:Resource, making it applicable to every resource that has any rdf:type in the graph:

# Shape applies to everything that has an rdfs:label
ex:MyShape
sh:scopeClass rdfs:Resource ;
sh:scopeShape [
sh:property [
sh:predicate rdfs:label ;
sh:minCount 1 ;
]
]

To make this easier to understand, I suggest renaming sh:scopeShape to sh:filterShape, because it narrows down the scope specified via sh:scopeClass.
Related Actions Items:
No related actions
Related emails:
  1. Re: Shall we add sh:InversePropertyScope and sh:AllObjectsScope? (from holger@topquadrant.com on 2015-09-06)
  2. Re: Shall we add sh:InversePropertyScope and sh:AllObjectsScope? (from kcoyle@kcoyle.net on 2015-09-05)
  3. Re: Shall we add sh:InversePropertyScope and sh:AllObjectsScope? (from lehors@us.ibm.com on 2015-09-05)
  4. Re: Shall we add sh:InversePropertyScope and sh:AllObjectsScope? (from kcoyle@kcoyle.net on 2015-09-04)
  5. Shall we add sh:InversePropertyScope and sh:AllObjectsScope? (from holger@topquadrant.com on 2015-07-18)
  6. Can we close ISSUE-5? (from holger@topquadrant.com on 2015-07-17)
  7. Merge of ISSUE-62 completed, including new draft for Execution Languages interface (from holger@topquadrant.com on 2015-07-17)
  8. Re: shapes-ISSUE-73 (sh:hasShape error handling): how do recursion errors from sh:hasShape interact with SPARQL [SHACL Spec] (from holger@topquadrant.com on 2015-07-13)
  9. Re: ISSUE-66: Extended proposal for recursion (from pfpschneider@gmail.com on 2015-07-10)
  10. Re: ISSUE-66: Extended proposal for recursion (from holger@topquadrant.com on 2015-07-10)
  11. Re: ISSUE-66: Extended proposal for recursion (from holger@topquadrant.com on 2015-07-10)
  12. ISSUE-66: Extended proposal for recursion (from holger@topquadrant.com on 2015-07-10)
  13. Re: mentions of recursive shapes (from holger@topquadrant.com on 2015-07-10)
  14. Arthur's recursion test added (from holger@topquadrant.com on 2015-07-10)
  15. Re: ISSUE-66: Extended proposal for recursion (from pfpschneider@gmail.com on 2015-07-09)
  16. Re: mentions of recursive shapes (from pfpschneider@gmail.com on 2015-07-09)
  17. Re: ISSUE-66: Extended proposal for recursion (from pfpschneider@gmail.com on 2015-07-09)
  18. Re: Arthur's recursion test added (from arthur.ryman@gmail.com on 2015-07-09)
  19. shapes-ISSUE-72 (QCRs): Qualified Cardinality Restrictions [SHACL Spec] (from sysbot+tracker@w3.org on 2015-06-25)
  20. Re: Using sh:scopeShape within And/Xor/Not/OR Constraints (from holger@topquadrant.com on 2015-06-19)
  21. Re: Using sh:scopeShape within And/Xor/Not/OR Constraints (from simon.steyskal@wu.ac.at on 2015-06-19)
  22. Re: Using sh:scopeShape within And/Xor/Not/OR Constraints (from holger@topquadrant.com on 2015-06-19)
  23. Re: ISSUE-6 - status of scopes on shapes and constraints (from holger@topquadrant.com on 2015-06-19)
  24. Re: [ISSUE-62] A clean proposal with sh:Scope (from holger@topquadrant.com on 2015-06-11)
  25. Re: [ISSUE-62] A clean proposal with sh:Scope (from holger@topquadrant.com on 2015-06-11)
  26. Re: [ISSUE-62] A clean proposal with sh:Scope (from holger@topquadrant.com on 2015-06-11)
  27. Re: update to SHACL-SPARQL (ISSUE-62) (from pfpschneider@gmail.com on 2015-06-10)
  28. Re: [ISSUE-62] A clean proposal with sh:Scope (from pfpschneider@gmail.com on 2015-06-10)
  29. Re: [ISSUE-62] A clean proposal with sh:Scope (from pfpschneider@gmail.com on 2015-06-10)
  30. Re: [ISSUE-62] A clean proposal with sh:Scope (from holger@topquadrant.com on 2015-06-09)
  31. Re: [ISSUE-62] A clean proposal with sh:Scope (from kontokostas@informatik.uni-leipzig.de on 2015-06-09)
  32. Re: [ISSUE-62] A clean proposal with sh:Scope (from holger@topquadrant.com on 2015-06-09)
  33. Re: [ISSUE-62] A clean proposal with sh:Scope (from pfpschneider@gmail.com on 2015-06-08)
  34. Re: [ISSUE-62] A clean proposal with sh:Scope (from holger@topquadrant.com on 2015-06-08)
  35. Re: [ISSUE-62] A clean proposal with sh:Scope (from holger@topquadrant.com on 2015-06-08)
  36. Re: [ISSUE-62] A clean proposal with sh:Scope (from johnson.tom@gmail.com on 2015-06-06)
  37. Re: [ISSUE-62] A clean proposal with sh:Scope (from pfpschneider@gmail.com on 2015-06-05)
  38. Re: [ISSUE-62] A clean proposal with sh:Scope (from holger@topquadrant.com on 2015-06-05)
  39. Re: [ISSUE-62] A clean proposal with sh:Scope (from kontokostas@informatik.uni-leipzig.de on 2015-06-05)
  40. Re: [ISSUE-62] A clean proposal with sh:Scope (from holger@topquadrant.com on 2015-06-05)
  41. Re: [ISSUE-62] A clean proposal with sh:Scope (from holger@topquadrant.com on 2015-06-05)
  42. Re: [ISSUE-62] A clean proposal with sh:Scope (from pfpschneider@gmail.com on 2015-06-04)
  43. [ISSUE-62] A clean proposal with sh:Scope (from holger@topquadrant.com on 2015-06-04)
  44. Re: [ISSUE-62] A clean proposal with sh:Scope (from johnson.tom@gmail.com on 2015-06-04)
  45. Re: update to SHACL-SPARQL (ISSUE-62) (from holger@topquadrant.com on 2015-06-03)
  46. Re: shapes-ISSUE-65 (shapes, scopes, and constraints): A consistent and cohesive definition of shapes, scopes, and constraints [SHACL Spec] (from holger@topquadrant.com on 2015-06-02)
  47. Re: update to SHACL-SPARQL (ISSUE-62) (from pfpschneider@gmail.com on 2015-06-02)
  48. Re: implementing today's resolution (from holger@topquadrant.com on 2015-06-02)
  49. Re: update to SHACL-SPARQL (ISSUE-62) (from holger@topquadrant.com on 2015-06-02)
  50. Re: update to SHACL-SPARQL (ISSUE-62) (from pfpschneider@gmail.com on 2015-06-01)
  51. Re: implementing today's resolution (from holger@topquadrant.com on 2015-06-01)
  52. Re: update to SHACL-SPARQL (ISSUE-62) (from holger@topquadrant.com on 2015-06-01)
  53. shapes-ISSUE-62 (General selection or filtering): Selection or filtering by arbitrary expressions and shapes [SHACL Spec] (from sysbot+tracker@w3.org on 2015-05-30)
  54. Re: update to SHACL-SPARQL (from holger@topquadrant.com on 2015-05-30)
  55. Re: update to SHACL-SPARQL (from pfpschneider@gmail.com on 2015-05-30)

Related notes:

RESOLUTION: Close ISSUE-62 adopting Holger's proposal, drafted in http://w3c.github.io/data-shapes/shacl/index-2015-07-13.html#scopesAndFilters
See http://www.w3.org/2015/07/16-shapes-minutes.html#resolution03

Arnaud Le Hors, 17 Jul 2015, 08:41:28

Display change log ATOM feed


Irene Polikoff <irene@topquadrant.com>, Ted Thibodeau <tthibodeau@openlinksw.com>, Chairs, Sandro Hawke <sandro@w3.org>, 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: index.php,v 1.325 2014-09-10 21:42:02 ted Exp $