- From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
- Date: Wed, 19 Apr 2017 16:58:10 -0700
- To: public-rdf-shapes@w3.org
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 Wednesday, 19 April 2017 23:58:47 UTC