Re: proposed set of SHACL tests

Hi!

I ran your tests using Holger's SHACL Validator [1] (which might not be 
fully up to date with latest WG resolutions) and those are the results 
(6 Failures):

-----------------------------------------------------
java.lang.AssertionError: Expected no validation results for 
file:///C:/workspace/shacl/target/test-classes/features/core/nothingInScope, 
but found: 7 triples:
@base          <http://example.org/random> .
[ a       <http://www.w3.org/ns/shacl#ValidationResult> ;
   <http://www.w3.org/ns/shacl#message>
           "Required minimum value count 1 but found 
0"^^<http://www.w3.org/2001/XMLSchema#string> ;
   <http://www.w3.org/ns/shacl#predicate>
           <http://peoplepetsontology.example.com/pet> ;
   <http://www.w3.org/ns/shacl#severity>
           <http://www.w3.org/ns/shacl#Violation> ;
   <http://www.w3.org/ns/shacl#sourceConstraint>
           []  ;
   <http://www.w3.org/ns/shacl#sourceShape>
           []  ;
   <http://www.w3.org/ns/shacl#sourceTemplate>
           
<http://www.w3.org/ns/shacl#AbstractMinCountPropertyConstraint>
] .



java.lang.AssertionError: Expected no validation results for 
file:///C:/workspace/shacl/target/test-classes/features/core/implicitTyping, 
but found: 30 triples:
@base          <http://example.org/random> .
[ a       <http://www.w3.org/ns/shacl#ValidationResult> ;
   <http://www.w3.org/ns/shacl#focusNode>
           <http://data.example.com/mikey> ;
   <http://www.w3.org/ns/shacl#message>
           "Values must have datatype 
xsd:double"^^<http://www.w3.org/2001/XMLSchema#string> ;
   <http://www.w3.org/ns/shacl#object>
           "4.0E0" ;
   <http://www.w3.org/ns/shacl#predicate>
           <http://peoplepetsontology.example.com/p5> ;
   <http://www.w3.org/ns/shacl#severity>
           <http://www.w3.org/ns/shacl#Violation> ;
   <http://www.w3.org/ns/shacl#sourceConstraint>
           []  ;
   <http://www.w3.org/ns/shacl#sourceShape>
           _:b0 ;
   <http://www.w3.org/ns/shacl#sourceTemplate>
           
<http://www.w3.org/ns/shacl#AbstractDatatypePropertyConstraint> ;
   <http://www.w3.org/ns/shacl#subject>
           <http://data.example.com/mikey>
] .

[ a       <http://www.w3.org/ns/shacl#ValidationResult> ;
   <http://www.w3.org/ns/shacl#focusNode>
           <http://data.example.com/mikey> ;
   <http://www.w3.org/ns/shacl#message>
           "Values must have datatype 
xsd:integer"^^<http://www.w3.org/2001/XMLSchema#string> ;
   <http://www.w3.org/ns/shacl#object>
           "4" ;
   <http://www.w3.org/ns/shacl#predicate>
           <http://peoplepetsontology.example.com/age> ;
   <http://www.w3.org/ns/shacl#severity>
           <http://www.w3.org/ns/shacl#Violation> ;
   <http://www.w3.org/ns/shacl#sourceConstraint>
           []  ;
   <http://www.w3.org/ns/shacl#sourceShape>
           _:b0 ;
   <http://www.w3.org/ns/shacl#sourceTemplate>
           
<http://www.w3.org/ns/shacl#AbstractDatatypePropertyConstraint> ;
   <http://www.w3.org/ns/shacl#subject>
           <http://data.example.com/mikey>
] .

[ a       <http://www.w3.org/ns/shacl#ValidationResult> ;
   <http://www.w3.org/ns/shacl#focusNode>
           <http://data.example.com/mikey> ;
   <http://www.w3.org/ns/shacl#message>
           "Values must have datatype 
xsd:decimal"^^<http://www.w3.org/2001/XMLSchema#string> ;
   <http://www.w3.org/ns/shacl#object>
           "4.0" ;
   <http://www.w3.org/ns/shacl#predicate>
           <http://peoplepetsontology.example.com/income> ;
   <http://www.w3.org/ns/shacl#severity>
           <http://www.w3.org/ns/shacl#Violation> ;
   <http://www.w3.org/ns/shacl#sourceConstraint>
           []  ;
   <http://www.w3.org/ns/shacl#sourceShape>
           _:b0 ;
   <http://www.w3.org/ns/shacl#sourceTemplate>
           
<http://www.w3.org/ns/shacl#AbstractDatatypePropertyConstraint> ;
   <http://www.w3.org/ns/shacl#subject>
           <http://data.example.com/mikey>
] .


java.lang.AssertionError: Expected no validation results for 
file:///C:/workspace/shacl/target/test-classes/features/core/subclassSubproperty, 
but found: 7 triples:
@base          <http://example.org/random> .
[ a       <http://www.w3.org/ns/shacl#ValidationResult> ;
   <http://www.w3.org/ns/shacl#message>
           "Required minimum value count 1 but found 
0"^^<http://www.w3.org/2001/XMLSchema#string> ;
   <http://www.w3.org/ns/shacl#predicate>
           <http://peoplepetsontology.example.com/pet> ;
   <http://www.w3.org/ns/shacl#severity>
           <http://www.w3.org/ns/shacl#Violation> ;
   <http://www.w3.org/ns/shacl#sourceConstraint>
           []  ;
   <http://www.w3.org/ns/shacl#sourceShape>
           []  ;
   <http://www.w3.org/ns/shacl#sourceTemplate>
           
<http://www.w3.org/ns/shacl#AbstractMinCountPropertyConstraint>
] .



java.lang.AssertionError: Expected no validation results for 
file:///C:/workspace/shacl/target/test-classes/features/core/domain, but 
found: 10 triples:
@base          <http://example.org/random> .
[ a       <http://www.w3.org/ns/shacl#ValidationResult> ;
   <http://www.w3.org/ns/shacl#focusNode>
           <http://data.example.com/mikey> ;
   <http://www.w3.org/ns/shacl#message>
           "Values must be instances of 
pp:Pet"^^<http://www.w3.org/2001/XMLSchema#string> ;
   <http://www.w3.org/ns/shacl#object>
           []  ;
   <http://www.w3.org/ns/shacl#predicate>
           <http://peoplepetsontology.example.com/pet> ;
   <http://www.w3.org/ns/shacl#severity>
           <http://www.w3.org/ns/shacl#Violation> ;
   <http://www.w3.org/ns/shacl#sourceConstraint>
           []  ;
   <http://www.w3.org/ns/shacl#sourceShape>
           []  ;
   <http://www.w3.org/ns/shacl#sourceTemplate>
           <http://www.w3.org/ns/shacl#AbstractClassPropertyConstraint> ;
   <http://www.w3.org/ns/shacl#subject>
           <http://data.example.com/mikey>
] .



java.lang.AssertionError: Expected no validation results for 
file:///C:/workspace/shacl/target/test-classes/features/core/rdfsReasoning1, 
but found: 10 triples:
@base          <http://example.org/random> .
[ a       <http://www.w3.org/ns/shacl#ValidationResult> ;
   <http://www.w3.org/ns/shacl#focusNode>
           _:b0 ;
   <http://www.w3.org/ns/shacl#message>
           "Values must be instances of 
sh:PropertyConstraint"^^<http://www.w3.org/2001/XMLSchema#string> ;
   <http://www.w3.org/ns/shacl#object>
           []  ;
   <http://www.w3.org/ns/shacl#predicate>
           <http://www.w3.org/ns/shacl#property> ;
   <http://www.w3.org/ns/shacl#severity>
           <http://www.w3.org/ns/shacl#Violation> ;
   <http://www.w3.org/ns/shacl#sourceConstraint>
           []  ;
   <http://www.w3.org/ns/shacl#sourceShape>
           <http://www.w3.org/ns/shacl#Shape> ;
   <http://www.w3.org/ns/shacl#sourceTemplate>
           <http://www.w3.org/ns/shacl#AbstractClassPropertyConstraint> ;
   <http://www.w3.org/ns/shacl#subject>
           _:b0
] .



java.lang.AssertionError: Expected no validation results for 
file:///C:/workspace/shacl/target/test-classes/features/core/rdfsReasoning2, 
but found: 10 triples:
@base          <http://example.org/random> .
[ a       <http://www.w3.org/ns/shacl#ValidationResult> ;
   <http://www.w3.org/ns/shacl#focusNode>
           _:b0 ;
   <http://www.w3.org/ns/shacl#message>
           "Values must be instances of 
sh:PropertyConstraint"^^<http://www.w3.org/2001/XMLSchema#string> ;
   <http://www.w3.org/ns/shacl#object>
           []  ;
   <http://www.w3.org/ns/shacl#predicate>
           <http://www.w3.org/ns/shacl#property> ;
   <http://www.w3.org/ns/shacl#severity>
           <http://www.w3.org/ns/shacl#Violation> ;
   <http://www.w3.org/ns/shacl#sourceConstraint>
           []  ;
   <http://www.w3.org/ns/shacl#sourceShape>
           <http://www.w3.org/ns/shacl#Shape> ;
   <http://www.w3.org/ns/shacl#sourceTemplate>
           <http://www.w3.org/ns/shacl#AbstractClassPropertyConstraint> ;
   <http://www.w3.org/ns/shacl#subject>
           _:b0
] .
-----------------------------------------------------

(btw. I had to fix some typos to get your test cases running; e.g. 
missing DOT in rdfReasoning1-4.ttl, ^^^, ..)

@ Holger
If one states that an arbitrary number of results should be returned by 
using "ms:result false", your engine throws a ResourceRequiredException.
I fixed that by adding

	else if(JenaDatatypes.FALSE.equals(resultS.getObject())){
		if(results.isEmpty())
			fail("Validation was expected to produce validation results for " + 
testResource);
	}

to AbstractSHACLTestClass.java


best regards,
simon

[1] https://github.com/TopQuadrant/shacl

---
DDipl.-Ing. Simon Steyskal
Institute for Information Business, WU Vienna

www: http://www.steyskal.info/  twitter: @simonsteys

Am 2016-01-07 22:54, schrieb Peter F. Patel-Schneider:
> The manifest should abide by
> http://w3c.github.io/data-shapes/data-shapes-test-suite/ but I don't 
> have any
> harness to check that it is.
> 
> 
> peter

Received on Friday, 8 January 2016 07:28:07 UTC