Re: interesting ill-formed shapes

Many of the ill-formed shapes below are in SHACL-SPARQL, but the 
shacl-shacl.ttl file is about SHACL Core only, and only of subset of 
that. From the others, the only error that is not detected is the syntax 
issue in sh:pattern (which is a well-known to be outside of SHACL Core) 
and the non-recursion of rdf:Lists. But the shsh:ListShape explicitly 
states that this case is not covered.

Holger


On 20/04/2017 9:58, Peter F. Patel-Schneider wrote:
> Here is a graph with several ill-formed shapes.  I believe that none of these
> ill-formed shapes are caught by the shapes graph that is supposed to check for
> SHACL validity.
>
>
> @prefix sh: <http://www.w3.org/ns/shacl#> .
> @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
> @prefix ex: <http://example.org/shacl-test/> .
>
> ex:list-ill-formed-1 a sh:NodeShape ;
>    sh:and _:b1 .
> _:b1 rdf:first ex:s1 ;
>    rdf:rest _:b1 .
> ex:s1 a sh:NodeShape .
>
> ex:path-ill-formed-1 a sh:PropertyShape ;
>    sh:path _:b2 .
> _:b2 sh:inversePath _:b2 .
>
> ex:pattern-ill-formed-1 a sh:NodeShape ;
>    sh:pattern "abd(def" .
>
> ex:sparql-ill-formed-1 a sh:NodeShape ;
>    sh:targetNode ex:i ;
>    sh:sparql "SELECT ?this WHERE { FILTER ( flse ) }" .
>
> ex:sparql-component-ill-formed-1 a sh:NodeShape ;
>    sh:targetNode ex:i ;
>    ex:silly ex:j .
>
> ex:SillyConstraintComponent a sh:ConstraintComponent ;
>    sh:parameter [ sh:path ex:silly ] ;
>    sh:validator [ a sh:SPARQLSelectValidator ;
>      sh:message "This is an absurd violation" ;
>      sh:select "SELECT DISTINCT $this WHERE { FILTER flse }" ] .
>
> ex:sparql-component-ill-formed-2 a sh:NodeShape ;
>    sh:targetNode ex:i ;
>    ex:sillier ex:j , ex:k .
>
> ex:SillierConstraintComponent a sh:ConstraintComponent ;
>    sh:parameter [ sh:path ex:sillier ] ;
>    sh:parameter [ sh:path ex:silliest ] ;
>    sh:validator [ a sh:SPARQLSelectValidator ;
>      sh:message "This is an absurd violation" ;
>      sh:select "SELECT DISTINCT $this WHERE { FILTER false }" ] .
>
>
>
>

Received on Thursday, 20 April 2017 06:22:42 UTC