Added test case for no-values scenario

Author: HolgerKnublauch

shacl12-test-suite/tests/core/node/manifest.ttl

@@ -46,6 +46,7 @@
 	mf:include <uniqueValuesFor-001.ttl> ;
 	mf:include <uniqueValuesFor-002.ttl> ;
 	mf:include <uniqueValuesFor-003.ttl> ;
+	mf:include <uniqueValuesFor-004.ttl> ;
 	mf:include <xone-001.ttl> ;
 	mf:include <xone-duplicate.ttl> ;
 	mf:include <qualified-001.ttl> ;

shacl12-test-suite/tests/core/node/uniqueValuesFor-002.ttl

@@ -9,26 +9,26 @@
 
 ex:TestShape
   rdf:type sh:NodeShape ;
-  sh:targetClass ex:TestShape ;
+  sh:targetClass ex:Concept ;
   sh:uniqueValuesFor ( skos:notation skos:inScheme ) ;
 .
 ex:ValidInstance1
-  rdf:type ex:TestShape ;
+  rdf:type ex:Concept ;
   skos:notation "A1" ;
   skos:inScheme ex:Scheme1 ;
 .
 ex:ValidInstance2
-  rdf:type ex:TestShape ;
+  rdf:type ex:Concept ;
   skos:notation "A2" ;
   skos:inScheme ex:Scheme1 ;
 .
 ex:InvalidInstance1
-  rdf:type ex:TestShape ;
+  rdf:type ex:Concept ;
   skos:notation "A1" ;
   skos:inScheme ex:Scheme2 ;
 .
 ex:InvalidInstance2
-  rdf:type ex:TestShape ;
+  rdf:type ex:Concept ;
   skos:notation "A1" ;
   skos:inScheme ex:Scheme2 ;
 .

shacl12-test-suite/tests/core/node/uniqueValuesFor-004.ttl

@@ -0,0 +1,38 @@
+@prefix ex: <http://example.com/ns#> .
+@prefix mf: <http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#> .
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix sh: <http://www.w3.org/ns/shacl#> .
+@prefix sht: <http://www.w3.org/ns/shacl-test#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+
+ex:TestShape
+  rdf:type sh:NodeShape ;
+  sh:targetClass ex:TestClass ;
+  sh:uniqueValuesFor ex:id ;
+.
+ex:ValidInstance1
+  a ex:TestClass ;
+.
+ex:ValidInstance2
+  a ex:TestClass ;
+.
+<>
+  rdf:type mf:Manifest ;
+  mf:entries (
+      <uniqueValuesFor-004>
+    ) ;
+.
+<uniqueValuesFor-004>
+  rdf:type sht:Validate ;
+  rdfs:label "Test of sh:uniqueValuesFor at node shape 004 (No violation if values missing)" ;
+  mf:action [
+      sht:dataGraph <> ;
+      sht:shapesGraph <> ;
+    ] ;
+  mf:result [
+      rdf:type sh:ValidationReport ;
+      sh:conforms "true"^^xsd:boolean ;
+    ] ;
+  mf:status sht:approved ;
+.