ISSUE-190: Identifying the shapes in a SHACL Full shapes graph

Shape identification

Identifying the shapes in a SHACL Full shapes graph

State:

CLOSED

Product:

SHACL - SPARQL

Raised by:

Dimitris Kontokostas

Opened on:

2016-10-13

Description:

the function sh:hasShape takes an IRI or a blank node as a second argument that represents a shape.

At the moment there is no requirement that the input is a shape, any input node is treated as a shape.
This makes the static analysis of a shapes graph impossible.

The reason is that shapes are determined at runtime and require the evaluation of SPARQL queries to determine which nodes in a shapes graph are treated as shapes.
Depending on the SPAQL queries, even the data graph may affect which nodes become shapes.

This makes :
1) the identification of shapes depend on a specific validation (i.e. the same shapes graph might use as shapes different nodes depending on which data graph we are validating against)
2) We cannot get all back the nodes that served as shapes in a specific validation because this is internal to the SPARQL Engine

One way to overcome this is to require every input of sh:hasShape to be a shape (be a SHACL instance of sh:Shape or have sh:Shape as expected type)
However, this brings an overhead in the implementation of the function.


There are two options here:
1) leave the definition as is but have no way to do static analysis of SHAPES Graphs with SHACL Full
2) require the input of sh:hasShape to be shapes

Related Actions Items:

No related actions

Related emails:

1. Re: shapes-ISSUE-190 (Shape identification): Identifying the shapes in a SHACL Full shapes graph [SHACL - SPARQL] (from holger@topquadrant.com on 2016-10-14)
2. Re: shapes-ISSUE-190 (Shape identification): Identifying the shapes in a SHACL Full shapes graph [SHACL - SPARQL] (from irene@topquadrant.com on 2016-10-13)
3. Re: shapes-ISSUE-190 (Shape identification): Identifying the shapes in a SHACL Full shapes graph [SHACL - SPARQL] (from kontokostas@informatik.uni-leipzig.de on 2016-10-13)
4. Re: shapes-ISSUE-190 (Shape identification): Identifying the shapes in a SHACL Full shapes graph [SHACL - SPARQL] (from holger@topquadrant.com on 2016-10-13)
5. shapes-ISSUE-190 (Shape identification): Identifying the shapes in a SHACL Full shapes graph [SHACL - SPARQL] (from sysbot+tracker@w3.org on 2016-10-13)

Related notes:

Display change log