You are viewing a plain text version of this content. The canonical link for it is here.
Posted to jira@jena.apache.org by "Jakub Wach (Jira)" <ji...@apache.org> on 2022/03/21 21:29:00 UTC
[jira] [Created] (JENA-2315) SHACL: bug in execution of SPARQL validation for a specified focusNode via validation API
Jakub Wach created JENA-2315:
--------------------------------
Summary: SHACL: bug in execution of SPARQL validation for a specified focusNode via validation API
Key: JENA-2315
URL: https://issues.apache.org/jira/browse/JENA-2315
Project: Apache Jena
Issue Type: Bug
Components: SHACL
Affects Versions: Jena 4.4.0
Reporter: Jakub Wach
Attachments: SHACL__bug_in_execution_of__SPARQL_validation_for_a_specified_focusNode_via_validation_API.patch
*Description:*
While running validation focused on single explicit focus node. It seems that due to the missing return statement validation will never be effective at all.
*Reproduction:*
While running validation focused on single resource node. E.g. by calling:
```
new ShaclPlainValidator().validate(shapes, data, node);
```
*Example data:*
```
<{color:#0000ff}someResource{color}>
a <{color:#0000ff}someClass{color}> ;
<{color:#0000ff}someunknownProperty{color}> <{color:#0000ff}someUnimportantValue{color}> ;
.
```
*Example shape:*
```
<propertyShape
a sh:NodeShape ;
sh:severity sh:Warning ;
sh:target [
a sh:SPARQLTarget ;
sh:select """
SELECT DISTINCT ?node
WHERE {
?node a ?class .
}
""" ;
] ;
sh:sparql [ sh:message "Resource \{$this} has unknown property \{$path}" ;
sh:select """
SELECT DISTINCT $this ?path
WHERE {
$this ?path ?value .
$this a ?class .
FILTER NOT EXISTS {
?path <http://www.w3.org/2000/01/rdf-schema#domain> ?class
}
}
""" ] ;
.
```
--
This message was sent by Atlassian Jira
(v8.20.1#820001)
---------------------------------------------------------------------
To unsubscribe, e-mail: jira-unsubscribe@jena.apache.org
For additional commands, e-mail: jira-help@jena.apache.org