Skip to content

Commit fec0f0e

Browse files
afsafs
committed
RDF domain and range eval tests
1 parent e5c50d8 commit fec0f0e

File tree

9 files changed

+110
-22
lines changed

9 files changed

+110
-22
lines changed

‎shacl12-test-suite/tests/rules/eval/data-rdfs-domain-1.ttl‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
PREFIX : <http://example/>
2+
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
3+
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
4+
5+
:p rdfs:domain :T.
6+
7+
:s :p "123" .

‎shacl12-test-suite/tests/rules/eval/data-rdfs-domain-2.ttl‎

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
PREFIX : <http://example/>
2+
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
3+
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
4+
5+
:p rdfs:domain :T1 .
6+
:T1 rdfs:subClassOf :T2 .
7+
8+
:s :p "123" .

‎shacl12-test-suite/tests/rules/eval/data-rdfs-range-1.ttl‎

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
PREFIX : <http://example/>
2+
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
3+
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
4+
5+
:p rdfs:range :T.
6+
7+
:s :p :o .
8+

‎shacl12-test-suite/tests/rules/eval/data-rdfs-range-2.ttl‎

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
PREFIX : <http://example/>
2+
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
3+
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
4+
5+
:p rdfs:range :T1 .
6+
:T1 rdfs:subClassOf :T2 .
7+
8+
:s :p :o .

‎shacl12-test-suite/tests/rules/eval/manifest.ttl‎

Lines changed: 57 additions & 22 deletions
Original file line numberDiff line numberDiff line change
@@ -28,14 +28,18 @@ PREFIX skos: <http://www.w3.org/2004/02/skos/core#>
2828
(
2929
:eval-basic-01
3030
:eval-basic-02
31-
32-
:eval-rdfs-subclass-1
33-
:eval-rdfs-subproperty-1
3431

3532
:eval-data-01
3633
:eval-data-02
3734

3835
:eval-neg-01
36+
37+
:eval-rdfs-subclass-1
38+
:eval-rdfs-subproperty-1
39+
:eval-rdfs-domain-1
40+
:eval-rdfs-domain-2
41+
:eval-rdfs-range-1
42+
:eval-rdfs-range-2
3943
) .
4044

4145
## Basic (positve datalog)
@@ -56,25 +60,6 @@ PREFIX skos: <http://www.w3.org/2004/02/skos/core#>
5660
mf:result <eval-basic-02-results.ttl> ;
5761
.
5862

59-
## RDFS
60-
61-
:eval-rdfs-subclass-1 rdf:type srt:RulesEvalTest ;
62-
mf:name "Eval-rdfs-subclassof-1";
63-
mf:action
64-
[ srt:ruleset <rdfs.srl> ;
65-
srt:data <data-rdfs-subclass-1.ttl> ] ;
66-
mf:result <rdfs-subclass-1-results.ttl> ;
67-
.
68-
69-
:eval-rdfs-subproperty-1 rdf:type srt:RulesEvalTest ;
70-
mf:name "Eval-rdfs-subproperty-1";
71-
mf:action
72-
[ srt:ruleset <rdfs.srl> ;
73-
srt:data <data-rdfs-subproperty-1.ttl> ] ;
74-
mf:result <rdfs-subproperty-1-results.ttl> ;
75-
.
76-
77-
7863
## Data
7964

8065
:eval-data-01 rdf:type srt:RulesEvalTest ;
@@ -104,3 +89,53 @@ PREFIX skos: <http://www.w3.org/2004/02/skos/core#>
10489
srt:data <data-empty.ttl> ] ;
10590
mf:result <eval-negation-01-results.ttl>
10691
.
92+
93+
## RDFS
94+
95+
:eval-rdfs-subclass-1 rdf:type srt:RulesEvalTest ;
96+
mf:name "Eval-rdfs-subclassof-1";
97+
mf:action
98+
[ srt:ruleset <rdfs.srl> ;
99+
srt:data <data-rdfs-subclass-1.ttl> ] ;
100+
mf:result <rdfs-subclass-1-results.ttl> ;
101+
.
102+
103+
:eval-rdfs-subproperty-1 rdf:type srt:RulesEvalTest ;
104+
mf:name "Eval-rdfs-subproperty-1";
105+
mf:action
106+
[ srt:ruleset <rdfs.srl> ;
107+
srt:data <data-rdfs-subproperty-1.ttl> ] ;
108+
mf:result <rdfs-subproperty-1-results.ttl> ;
109+
.
110+
111+
:eval-rdfs-domain-1 rdf:type srt:RulesEvalTest ;
112+
mf:name "Eval-rdfs-domain-1";
113+
mf:action
114+
[ srt:ruleset <rdfs.srl> ;
115+
srt:data <data-rdfs-domain-1.ttl> ] ;
116+
mf:result <rdfs-domain-1-results.ttl> ;
117+
.
118+
119+
:eval-rdfs-domain-2 rdf:type srt:RulesEvalTest ;
120+
mf:name "Eval-rdfs-domain-2";
121+
mf:action
122+
[ srt:ruleset <rdfs.srl> ;
123+
srt:data <data-rdfs-domain-2.ttl> ] ;
124+
mf:result <rdfs-domain-2-results.ttl> ;
125+
.
126+
127+
:eval-rdfs-range-1 rdf:type srt:RulesEvalTest ;
128+
mf:name "Eval-rdfs-range-1";
129+
mf:action
130+
[ srt:ruleset <rdfs.srl> ;
131+
srt:data <data-rdfs-range-1.ttl> ] ;
132+
mf:result <rdfs-range-1-results.ttl> ;
133+
.
134+
135+
:eval-rdfs-range-2 rdf:type srt:RulesEvalTest ;
136+
mf:name "Eval-rdfs-range-2";
137+
mf:action
138+
[ srt:ruleset <rdfs.srl> ;
139+
srt:data <data-rdfs-range-2.ttl> ] ;
140+
mf:result <rdfs-range-2-results.ttl> ;
141+
.

‎shacl12-test-suite/tests/rules/eval/rdfs-domain-1-results.ttl‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
PREFIX : <http://example/>
2+
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
3+
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
4+
5+
:s rdf:type :T .

‎shacl12-test-suite/tests/rules/eval/rdfs-domain-2-results.ttl‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
PREFIX : <http://example/>
2+
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
3+
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
4+
5+
:s rdf:type :T1 .
6+
:s rdf:type :T2 .

‎shacl12-test-suite/tests/rules/eval/rdfs-range-1-results.ttl‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
PREFIX : <http://example/>
2+
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
3+
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
4+
5+
:o rdf:type :T .

‎shacl12-test-suite/tests/rules/eval/rdfs-range-2-results.ttl‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
PREFIX : <http://example/>
2+
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
3+
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
4+
5+
:o rdf:type :T1 .
6+
:o rdf:type :T2 .

0 commit comments

Comments
 (0)