Wellformedness, stratification, eval tests

afs · afs · commit e5c50d8fe94c · 2026-01-27T09:41:44.000Z
diff --git a/shacl12-test-suite/tests/rules/eval/data-rdfs-subclass-1.ttl b/shacl12-test-suite/tests/rules/eval/data-rdfs-subclass-1.ttl
@@ -0,0 +1,9 @@
+PREFIX :      <http://example/>
+PREFIX rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX rdfs:  <http://www.w3.org/2000/01/rdf-schema#>
+
+:A rdf:type :S .
+
+:S  rdfs:subClassOf :T1 .
+
+:T1 rdfs:subClassOf :T2 .
diff --git a/shacl12-test-suite/tests/rules/eval/data-rdfs-subproperty-1.ttl b/shacl12-test-suite/tests/rules/eval/data-rdfs-subproperty-1.ttl
@@ -0,0 +1,8 @@
+PREFIX :      <http://example/>
+PREFIX rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX rdfs:  <http://www.w3.org/2000/01/rdf-schema#>
+
+:s :p :o .
+
+:p  rdfs:subPropertyOf :p1 .
+:p1 rdfs:subPropertyOf :p2 .
diff --git a/shacl12-test-suite/tests/rules/eval/eval-basic-01-results.ttl b/shacl12-test-suite/tests/rules/eval/eval-basic-01-results.ttl
diff --git a/shacl12-test-suite/tests/rules/eval/eval-basic-02-results.ttl b/shacl12-test-suite/tests/rules/eval/eval-basic-02-results.ttl
diff --git a/shacl12-test-suite/tests/rules/eval/eval-data-01-results.ttl b/shacl12-test-suite/tests/rules/eval/eval-data-01-results.ttl
@@ -0,0 +1,3 @@
+PREFIX : <http://example/>
+
+:a :b :c .
diff --git a/shacl12-test-suite/tests/rules/eval/eval-data-01.srl b/shacl12-test-suite/tests/rules/eval/eval-data-01.srl
@@ -0,0 +1,3 @@
+PREFIX : <http://example/>
+
+DATA { :a :b :c }
diff --git a/shacl12-test-suite/tests/rules/eval/eval-data-02-results.ttl b/shacl12-test-suite/tests/rules/eval/eval-data-02-results.ttl
@@ -0,0 +1,6 @@
+PREFIX : <http://example/>
+
+:a :b :c1 .
+:a :b :c2 .
+:a :b1 :c1 .
+:a :b2 :c2 .
diff --git a/shacl12-test-suite/tests/rules/eval/eval-data-02.srl b/shacl12-test-suite/tests/rules/eval/eval-data-02.srl
@@ -0,0 +1,9 @@
+PREFIX : <http://example/>
+
+DATA { :a :b :c1 , :c2  }
+
+RULE {} WHERE {}
+
+DATA { :a :b1 :c1 ;
+          :b2 :c2
+     }
diff --git a/shacl12-test-suite/tests/rules/eval/eval-negation-01-results.ttl b/shacl12-test-suite/tests/rules/eval/eval-negation-01-results.ttl
@@ -0,0 +1,4 @@
+PREFIX : <http://example/>
+
+:x :p ':q absent' .
+ 
diff --git a/shacl12-test-suite/tests/rules/eval/eval-negation-01.srl b/shacl12-test-suite/tests/rules/eval/eval-negation-01.srl
@@ -0,0 +1,3 @@
+PREFIX : <http://example/>
+
+RULE { :x :p ':q absent' } WHERE { NOT { ?s :q ?o } }
diff --git a/shacl12-test-suite/tests/rules/eval/manifest.ttl b/shacl12-test-suite/tests/rules/eval/manifest.ttl
@@ -16,7 +16,6 @@ PREFIX foaf:   <http://xmlns.com/foaf/0.1/>
 PREFIX skos:   <http://www.w3.org/2004/02/skos/core#>
 
 
-
 <#>  rdf:type mf:Manifest ;
    rdfs:label "SHACL 1.2 Rules Evaluation Tests"@en ;
    mf:assumedTestBase <https://w3c.github.io/rdf-tests/shacl/shacl12/> ;
@@ -27,24 +26,81 @@ PREFIX skos:   <http://www.w3.org/2004/02/skos/core#>
 
     mf:entries
     (
-        :eval-01
-        :eval-02
+        :eval-basic-01
+        :eval-basic-02
+        
+        :eval-rdfs-subclass-1
+        :eval-rdfs-subproperty-1
+
+        :eval-data-01
+        :eval-data-02
+
+        :eval-neg-01
     ) .
 
-## Good Evaluation
+## Basic (positve datalog)
 
-:eval-01 rdf:type srt:RulesEvalTest ;
-    mf:name "Eval-basic-1";
+:eval-basic-01 rdf:type srt:RulesEvalTest ;
+    mf:name "Eval-basic-01";
     mf:action
          [ srt:ruleset  <eval-basic-01.srl> ;
-           srt:data   <data-01.ttl> ] ;
-    mf:result  <eval-results-basic-01.ttl> ;
+           srt:data     <data-01.ttl> ] ;
+    mf:result  <eval-basic-01-results.ttl> ;
     .
     
-:eval-02 rdf:type srt:RulesEvalTest ;
-    mf:name "Eval-basic-2";
+:eval-basic-02 rdf:type srt:RulesEvalTest ;
+    mf:name "Eval-basic-02";
     mf:action
          [ srt:ruleset  <eval-basic-02.srl> ;
-           srt:data   <data-02.ttl> ] ;
-    mf:result  <eval-results-basic-02.ttl> ;
+           srt:data     <data-02.ttl> ] ;
+    mf:result  <eval-basic-02-results.ttl> ;
+    .
+
+## RDFS
+
+:eval-rdfs-subclass-1 rdf:type srt:RulesEvalTest ;
+    mf:name "Eval-rdfs-subclassof-1";
+    mf:action
+         [ srt:ruleset  <rdfs.srl> ;
+           srt:data     <data-rdfs-subclass-1.ttl> ] ;
+    mf:result  <rdfs-subclass-1-results.ttl> ;
+    .
+
+:eval-rdfs-subproperty-1 rdf:type srt:RulesEvalTest ;
+    mf:name "Eval-rdfs-subproperty-1";
+    mf:action
+         [ srt:ruleset  <rdfs.srl> ;
+           srt:data     <data-rdfs-subproperty-1.ttl> ] ;
+    mf:result  <rdfs-subproperty-1-results.ttl> ;
+    .
+
+
+## Data
+
+:eval-data-01 rdf:type srt:RulesEvalTest ;
+    mf:name "Eval-data-01";
+    mf:action
+         [ srt:ruleset  <eval-data-01.srl> ;
+           srt:data     <data-empty.ttl> ] ;
+    mf:result  <eval-data-01-results.ttl> ;
+    .
+
+:eval-data-02 rdf:type srt:RulesEvalTest ;
+    mf:name "Eval-data-02";
+    mf:action
+         [ srt:ruleset  <eval-data-02.srl> ;
+           srt:data     <data-empty.ttl> ] ;
+    mf:result  <eval-data-02-results.ttl> ;
+    .
+
+## Negation
+
+# Simple.
+
+:eval-neg-01 rdf:type srt:RulesEvalTest ;
+    mf:name "Eval-negation-01";
+    mf:action
+         [ srt:ruleset  <eval-negation-01.srl> ;
+           srt:data     <data-empty.ttl> ] ;
+    mf:result  <eval-negation-01-results.ttl>
     .
diff --git a/shacl12-test-suite/tests/rules/eval/rdfs-subclass-1-results.ttl b/shacl12-test-suite/tests/rules/eval/rdfs-subclass-1-results.ttl
@@ -0,0 +1,8 @@
+PREFIX :      <http://example/>
+PREFIX rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#> 
+PREFIX rdfs:  <http://www.w3.org/2000/01/rdf-schema#>
+
+
+:S rdfs:subClassOf :T2 .
+:A rdf:type :T1 .
+:A rdf:type :T2 .
diff --git a/shacl12-test-suite/tests/rules/eval/rdfs-subproperty-1-results.ttl b/shacl12-test-suite/tests/rules/eval/rdfs-subproperty-1-results.ttl
@@ -0,0 +1,8 @@
+PREFIX :      <http://example/>
+PREFIX rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#> 
+PREFIX rdfs:  <http://www.w3.org/2000/01/rdf-schema#>
+
+:p rdfs:subPropertyOf :p2 .
+:s :p1 :o .
+:s :p2 :o .
+
diff --git a/shacl12-test-suite/tests/rules/eval/rdfs.srl b/shacl12-test-suite/tests/rules/eval/rdfs.srl
@@ -0,0 +1,18 @@
+## RDFS (without no axoimatic triples)
+
+PREFIX rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#> 
+PREFIX rdfs:  <http://www.w3.org/2000/01/rdf-schema#>
+
+## subClassOf
+RULE { ?a rdfs:subClassOf ?c } WHERE { ?a rdfs:subClassOf ?b . ?b rdfs:subClassOf ?c }
+RULE { ?a rdf:type ?y } WHERE { ?a rdf:type ?x . ?x rdfs:subClassOf ?y }
+
+## subPropertyOf
+RULE { ?a rdfs:subPropertyOf ?c } WHERE { ?a rdfs:subPropertyOf ?b . ?b rdfs:subPropertyOf ?c }
+RULE { ?a ?prop ?o } WHERE { ?a ?subProp ?o . ?subProp rdfs:subPropertyOf ?prop }
+
+## Domain
+RULE { ?a rdf:type ?y } WHERE { ?a ?p ?o . ?p rdfs:domain ?y }
+
+## Range
+RULE { ?a rdf:type ?y } WHERE { ?s ?p ?a . ?p rdfs:range ?y }
diff --git a/shacl12-test-suite/tests/rules/manifest-rules.ttl b/shacl12-test-suite/tests/rules/manifest-rules.ttl
@@ -26,5 +26,7 @@ PREFIX skos:    <http://www.w3.org/2004/02/skos/core#>
   """;
   mf:include (
     <syntax/manifest.ttl>
+    <wellformed/manifest.ttl>
+    <stratification/manifest.ttl>
     <eval/manifest.ttl>
   ) .
diff --git a/shacl12-test-suite/tests/rules/stratification/manifest.ttl b/shacl12-test-suite/tests/rules/stratification/manifest.ttl
@@ -0,0 +1,44 @@
+## [1] https://www.w3.org/Consortium/Legal/2008/04-testsuite-license
+## [2] https://www.w3.org/Consortium/Legal/2008/03-bsd-license
+
+PREFIX :       <manifest#>
+PREFIX rdf:    <http://www.w3.org/1999/02/22-rdf-syntax-ns#> 
+PREFIX rdfs:   <http://www.w3.org/2000/01/rdf-schema#>
+PREFIX mf:     <http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#>
+PREFIX srl:    <http://www.w3.org/ns/shacl-rules#>
+PREFIX srt:    <http://www.w3.org/ns/shacl-rules-test#>
+
+<>  rdf:type mf:Manifest ;
+    rdfs:comment "SHACL Rules - Stratification" ;
+    mf:entries (
+        :test_1
+        :test_2
+        :test_3
+        :test_4
+        :test_5
+    ) .
+
+:test_1 rdf:type   srt:RulesPositiveStratificationTest ;
+   mf:name    "stratification-01.srl" ;
+   mf:action  <stratification-01.srl> ;
+   .
+
+:test_2 rdf:type   srt:RulesPositiveStratificationTest ;
+   mf:name    "stratification-02.srl" ;
+   mf:action  <stratification-02.srl> ;
+   .
+
+:test_3 rdf:type   srt:RulesPositiveStratificationTest ;
+   mf:name    "stratification-03.srl" ;
+   mf:action  <stratification-03.srl> ;
+   .
+
+:test_4 rdf:type   srt:RulesPositiveStratificationTest ;
+   mf:name    "stratification-04.srl" ;
+   mf:action  <stratification-04.srl> ;
+   .
+
+:test_5 rdf:type   srt:RulesNegativeStratificationTest ;
+   mf:name    "stratification-bad-01.srl" ;
+   mf:action  <stratification-bad-01.srl> ;
+   .
diff --git a/shacl12-test-suite/tests/rules/stratification/stratification-01.srl b/shacl12-test-suite/tests/rules/stratification/stratification-01.srl
@@ -0,0 +1,2 @@
+PREFIX : <http://example>
+RULE {} WHERE {}
diff --git a/shacl12-test-suite/tests/rules/stratification/stratification-02.srl b/shacl12-test-suite/tests/rules/stratification/stratification-02.srl
@@ -0,0 +1,2 @@
+PREFIX : <http://example>
+RULE {} WHERE {?s ?p ?o }
diff --git a/shacl12-test-suite/tests/rules/stratification/stratification-03.srl b/shacl12-test-suite/tests/rules/stratification/stratification-03.srl
@@ -0,0 +1,2 @@
+PREFIX : <http://example>
+RULE {} WHERE {:s :p ?o . NOT { :x :data ?z } }
diff --git a/shacl12-test-suite/tests/rules/stratification/stratification-04.srl b/shacl12-test-suite/tests/rules/stratification/stratification-04.srl
@@ -0,0 +1,3 @@
+PREFIX : <http://example>
+RULE { ?s :p "abc" } WHERE { NOT { ?s :p "XYZ" } BIND ( :sz AS ?s ) }
+RULE { :s :p "ABC" } WHERE { ?s :q :z }
diff --git a/shacl12-test-suite/tests/rules/stratification/stratification-bad-01.srl b/shacl12-test-suite/tests/rules/stratification/stratification-bad-01.srl
@@ -0,0 +1,4 @@
+PREFIX : <http://example>
+RULE { ?s :p "abc" } WHERE { NOT { ?s :p "ABC" } ?s :data "" }
+RULE { :s :p "ABC" } WHERE { NOT { ?x :p "abc" } ?s :data "" }
+
diff --git a/shacl12-test-suite/tests/rules/syntax/manifest.ttl b/shacl12-test-suite/tests/rules/syntax/manifest.ttl
@@ -9,7 +9,7 @@ PREFIX srl:    <http://www.w3.org/ns/shacl-rules#>
 PREFIX srt:    <http://www.w3.org/ns/shacl-rules-test#>
 
 <>  rdf:type mf:Manifest ;
-    rdfs:comment "Syntax tests SHACL Rules - Syntax" ;
+    rdfs:comment "SHACL Rules - Syntax" ;
     mf:entries (
         :test_1
         :test_2
@@ -74,8 +74,6 @@ PREFIX srt:    <http://www.w3.org/ns/shacl-rules-test#>
         :test_61
         :test_62
         :test_63
-        :test_64
-        :test_65
     ) .
 
 :test_1 rdf:type   srt:RulesPositiveSyntaxTest ;
@@ -358,47 +356,37 @@ PREFIX srt:    <http://www.w3.org/ns/shacl-rules-test#>
    mf:action  <syntax-data-13.srl> ;
    .
 
-:test_57 rdf:type   srt:RulesPositiveSyntaxTest ;
-   mf:name    "well-formed-data-bad-01.srl" ;
-   mf:action  <well-formed-data-bad-01.srl> ;
-   .
-
-:test_58 rdf:type   srt:RulesPositiveSyntaxTest ;
-   mf:name    "well-formed-data-bad-02.srl" ;
-   mf:action  <well-formed-data-bad-02.srl> ;
-   .
-
-:test_59 rdf:type   srt:RulesNegativeSyntaxTest ;
+:test_57 rdf:type   srt:RulesNegativeSyntaxTest ;
    mf:name    "syntax-rule-bad-01.srl" ;
    mf:action  <syntax-rule-bad-01.srl> ;
    .
 
-:test_60 rdf:type   srt:RulesNegativeSyntaxTest ;
+:test_58 rdf:type   srt:RulesNegativeSyntaxTest ;
    mf:name    "syntax-rule-bad-02.srl" ;
    mf:action  <syntax-rule-bad-02.srl> ;
    .
 
-:test_61 rdf:type   srt:RulesNegativeSyntaxTest ;
+:test_59 rdf:type   srt:RulesNegativeSyntaxTest ;
    mf:name    "syntax-rule-bad-03.srl" ;
    mf:action  <syntax-rule-bad-03.srl> ;
    .
 
-:test_62 rdf:type   srt:RulesNegativeSyntaxTest ;
+:test_60 rdf:type   srt:RulesNegativeSyntaxTest ;
    mf:name    "syntax-rule-bad-04.srl" ;
    mf:action  <syntax-rule-bad-04.srl> ;
    .
 
-:test_63 rdf:type   srt:RulesNegativeSyntaxTest ;
+:test_61 rdf:type   srt:RulesNegativeSyntaxTest ;
    mf:name    "syntax-rule-bad-05.srl" ;
    mf:action  <syntax-rule-bad-05.srl> ;
    .
 
-:test_64 rdf:type   srt:RulesNegativeSyntaxTest ;
+:test_62 rdf:type   srt:RulesNegativeSyntaxTest ;
    mf:name    "syntax-rule-bad-06.srl" ;
    mf:action  <syntax-rule-bad-06.srl> ;
    .
 
-:test_65 rdf:type   srt:RulesNegativeSyntaxTest ;
+:test_63 rdf:type   srt:RulesNegativeSyntaxTest ;
    mf:name    "syntax-data-bad-01.srl" ;
    mf:action  <syntax-data-bad-01.srl> ;
    .
diff --git a/shacl12-test-suite/tests/rules/syntax/syntax-reification-06.srl b/shacl12-test-suite/tests/rules/syntax/syntax-reification-06.srl
@@ -1,4 +1,4 @@
 PREFIX :    <http://example/>
 PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
 
-RULE { } WHERE { :s :p :o {| :q :r |} . }
+RULE { } WHERE { :s :p :o ~_:b {| :q :r |} . }
diff --git a/shacl12-test-suite/tests/rules/syntax/syntax-reification-07.srl b/shacl12-test-suite/tests/rules/syntax/syntax-reification-07.srl
@@ -1,4 +1,4 @@
 PREFIX :    <http://example/>
 PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
 
-RULE { } WHERE { :s :p :o {| :q1 :r1 ; :q2 :r2 |} . } 
+RULE { } WHERE { :s :p :o {| :q1 :r1 , :r2 |} . } 
diff --git a/shacl12-test-suite/tests/rules/wellformed/manifest.ttl b/shacl12-test-suite/tests/rules/wellformed/manifest.ttl
diff --git a/shacl12-test-suite/tests/rules/wellformed/wellformed-01.srl b/shacl12-test-suite/tests/rules/wellformed/wellformed-01.srl
diff --git a/shacl12-test-suite/tests/rules/wellformed/wellformed-02.srl b/shacl12-test-suite/tests/rules/wellformed/wellformed-02.srl
diff --git a/shacl12-test-suite/tests/rules/wellformed/wellformed-03.srl b/shacl12-test-suite/tests/rules/wellformed/wellformed-03.srl
diff --git a/shacl12-test-suite/tests/rules/wellformed/wellformed-04.srl b/shacl12-test-suite/tests/rules/wellformed/wellformed-04.srl
diff --git a/shacl12-test-suite/tests/rules/wellformed/wellformed-bad-01.srl b/shacl12-test-suite/tests/rules/wellformed/wellformed-bad-01.srl
diff --git a/shacl12-test-suite/tests/rules/wellformed/wellformed-bad-02.srl b/shacl12-test-suite/tests/rules/wellformed/wellformed-bad-02.srl
diff --git a/shacl12-test-suite/tests/rules/wellformed/wellformed-bad-03.srl b/shacl12-test-suite/tests/rules/wellformed/wellformed-bad-03.srl

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+PREFIX : <http://example/>`
	`2`	`+`
	`3`	`+:a :b :c .`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+PREFIX : <http://example/>`
	`2`	`+`
	`3`	`+DATA { :a :b :c }`
-Original file line number
+Diff line change
@@ @@ -0,0 +1,4 @@ @@
 +PREFIX : <http://example/>
++
 +:x :p ':q absent' .
++
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+PREFIX : <http://example/>`
	`2`	`+`
	`3`	`+RULE { :x :p ':q absent' } WHERE { NOT { ?s :q ?o } }`