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:
- Re: Shall we add sh:InversePropertyScope and sh:AllObjectsScope? (from holger@topquadrant.com on 2015-09-06)
- Re: Shall we add sh:InversePropertyScope and sh:AllObjectsScope? (from kcoyle@kcoyle.net on 2015-09-05)
- Re: Shall we add sh:InversePropertyScope and sh:AllObjectsScope? (from lehors@us.ibm.com on 2015-09-05)
- Re: Shall we add sh:InversePropertyScope and sh:AllObjectsScope? (from kcoyle@kcoyle.net on 2015-09-04)
- Shall we add sh:InversePropertyScope and sh:AllObjectsScope? (from holger@topquadrant.com on 2015-07-18)
- Can we close ISSUE-5? (from holger@topquadrant.com on 2015-07-17)
- Merge of ISSUE-62 completed, including new draft for Execution Languages interface (from holger@topquadrant.com on 2015-07-17)
- 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)
- 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)
- Arthur's recursion test added (from holger@topquadrant.com on 2015-07-10)
- Re: ISSUE-66: Extended proposal for recursion (from pfpschneider@gmail.com on 2015-07-09)
- Re: mentions of recursive shapes (from pfpschneider@gmail.com on 2015-07-09)
- Re: ISSUE-66: Extended proposal for recursion (from pfpschneider@gmail.com on 2015-07-09)
- Re: Arthur's recursion test added (from arthur.ryman@gmail.com on 2015-07-09)
- shapes-ISSUE-72 (QCRs): Qualified Cardinality Restrictions [SHACL Spec] (from sysbot+tracker@w3.org on 2015-06-25)
- Re: Using sh:scopeShape within And/Xor/Not/OR Constraints (from holger@topquadrant.com on 2015-06-19)
- Re: Using sh:scopeShape within And/Xor/Not/OR Constraints (from simon.steyskal@wu.ac.at on 2015-06-19)
- Re: Using sh:scopeShape within And/Xor/Not/OR Constraints (from holger@topquadrant.com on 2015-06-19)
- Re: ISSUE-6 - status of scopes on shapes and constraints (from holger@topquadrant.com on 2015-06-19)
- Re: [ISSUE-62] A clean proposal with sh:Scope (from holger@topquadrant.com on 2015-06-11)
- Re: [ISSUE-62] A clean proposal with sh:Scope (from holger@topquadrant.com on 2015-06-11)
- Re: [ISSUE-62] A clean proposal with sh:Scope (from holger@topquadrant.com on 2015-06-11)
- Re: update to SHACL-SPARQL (ISSUE-62) (from pfpschneider@gmail.com on 2015-06-10)
- Re: [ISSUE-62] A clean proposal with sh:Scope (from pfpschneider@gmail.com on 2015-06-10)
- Re: [ISSUE-62] A clean proposal with sh:Scope (from pfpschneider@gmail.com on 2015-06-10)
- Re: [ISSUE-62] A clean proposal with sh:Scope (from holger@topquadrant.com on 2015-06-09)
- Re: [ISSUE-62] A clean proposal with sh:Scope (from kontokostas@informatik.uni-leipzig.de on 2015-06-09)
- Re: [ISSUE-62] A clean proposal with sh:Scope (from holger@topquadrant.com on 2015-06-09)
- Re: [ISSUE-62] A clean proposal with sh:Scope (from pfpschneider@gmail.com on 2015-06-08)
- Re: [ISSUE-62] A clean proposal with sh:Scope (from holger@topquadrant.com on 2015-06-08)
- Re: [ISSUE-62] A clean proposal with sh:Scope (from holger@topquadrant.com on 2015-06-08)
- Re: [ISSUE-62] A clean proposal with sh:Scope (from johnson.tom@gmail.com on 2015-06-06)
- Re: [ISSUE-62] A clean proposal with sh:Scope (from pfpschneider@gmail.com on 2015-06-05)
- Re: [ISSUE-62] A clean proposal with sh:Scope (from holger@topquadrant.com on 2015-06-05)
- Re: [ISSUE-62] A clean proposal with sh:Scope (from kontokostas@informatik.uni-leipzig.de on 2015-06-05)
- Re: [ISSUE-62] A clean proposal with sh:Scope (from holger@topquadrant.com on 2015-06-05)
- Re: [ISSUE-62] A clean proposal with sh:Scope (from holger@topquadrant.com on 2015-06-05)
- Re: [ISSUE-62] A clean proposal with sh:Scope (from pfpschneider@gmail.com on 2015-06-04)
- [ISSUE-62] A clean proposal with sh:Scope (from holger@topquadrant.com on 2015-06-04)
- Re: [ISSUE-62] A clean proposal with sh:Scope (from johnson.tom@gmail.com on 2015-06-04)
- Re: update to SHACL-SPARQL (ISSUE-62) (from holger@topquadrant.com on 2015-06-03)
- 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)
- Re: update to SHACL-SPARQL (ISSUE-62) (from pfpschneider@gmail.com on 2015-06-02)
- Re: implementing today's resolution (from holger@topquadrant.com on 2015-06-02)
- Re: update to SHACL-SPARQL (ISSUE-62) (from holger@topquadrant.com on 2015-06-02)
- Re: update to SHACL-SPARQL (ISSUE-62) (from pfpschneider@gmail.com on 2015-06-01)
- Re: implementing today's resolution (from holger@topquadrant.com on 2015-06-01)
- Re: update to SHACL-SPARQL (ISSUE-62) (from holger@topquadrant.com on 2015-06-01)
- 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)
- Re: update to SHACL-SPARQL (from holger@topquadrant.com on 2015-05-30)
- 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
Display change log