Skip to content

Commit f13cfef

Browse files
ajnelson-nistajnelson-nist
committed
Generate Make-managed files
References: * [AC-210] Add validation command to CASE-Utilities-Python Signed-off-by: Alex Nelson <[email protected]>
1 parent e1b93f6 commit f13cfef

File tree

7 files changed

+397
-0
lines changed

7 files changed

+397
-0
lines changed

‎tests/case_utils/case_validate/case_test_examples/investigative_action_PASS_validation.ttl‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
@prefix owl: <http://www.w3.org/2002/07/owl#> .
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+
@prefix sh: <http://www.w3.org/ns/shacl#> .
5+
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
6+
7+
[]
8+
a sh:ValidationReport ;
9+
sh:conforms "true"^^xsd:boolean ;
10+
.
11+

‎tests/case_utils/case_validate/case_test_examples/investigative_action_XFAIL_validation.ttl‎

Lines changed: 44 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,44 @@
1+
@prefix investigation: <https://ontology.caseontology.org/case/investigation/> .
2+
@prefix owl: <http://www.w3.org/2002/07/owl#> .
3+
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
4+
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
5+
@prefix sh: <http://www.w3.org/ns/shacl#> .
6+
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
7+
8+
[]
9+
a sh:ValidationReport ;
10+
sh:conforms "false"^^xsd:boolean ;
11+
sh:result
12+
[
13+
a sh:ValidationResult ;
14+
sh:focusNode <http://example.org/kb/provenance-record-1> ;
15+
sh:resultMessage "Value is not Literal with datatype xsd:string" ;
16+
sh:resultPath investigation:exhibitNumber ;
17+
sh:resultSeverity sh:Violation ;
18+
sh:sourceConstraintComponent sh:DatatypeConstraintComponent ;
19+
sh:sourceShape [
20+
sh:datatype xsd:string ;
21+
sh:maxCount "1"^^xsd:integer ;
22+
sh:nodeKind sh:Literal ;
23+
sh:path investigation:exhibitNumber ;
24+
] ;
25+
sh:value "1"^^xsd:integer ;
26+
] ,
27+
[
28+
a sh:ValidationResult ;
29+
sh:focusNode <http://example.org/kb/provenance-record-1> ;
30+
sh:resultMessage "Value is not Literal with datatype xsd:string" ;
31+
sh:resultPath investigation:rootExhibitNumber ;
32+
sh:resultSeverity sh:Violation ;
33+
sh:sourceConstraintComponent sh:DatatypeConstraintComponent ;
34+
sh:sourceShape [
35+
sh:datatype xsd:string ;
36+
sh:minCount "0"^^xsd:integer ;
37+
sh:nodeKind sh:Literal ;
38+
sh:path investigation:rootExhibitNumber ;
39+
] ;
40+
sh:value "1"^^xsd:integer ;
41+
]
42+
;
43+
.
44+

‎tests/case_utils/case_validate/uco_test_examples/action_inheritance_PASS_validation.ttl‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
@prefix owl: <http://www.w3.org/2002/07/owl#> .
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+
@prefix sh: <http://www.w3.org/ns/shacl#> .
5+
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
6+
7+
[]
8+
a sh:ValidationReport ;
9+
sh:conforms "true"^^xsd:boolean ;
10+
.
11+

‎tests/case_utils/case_validate/uco_test_examples/action_inheritance_XFAIL_validation.ttl‎

Lines changed: 236 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,236 @@
1+
@prefix action: <https://unifiedcyberontology.org/ontology/uco/action#> .
2+
@prefix owl: <http://www.w3.org/2002/07/owl#> .
3+
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
4+
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
5+
@prefix sh: <http://www.w3.org/ns/shacl#> .
6+
@prefix vocabulary1: <https://unifiedcyberontology.org/ontology/uco/vocabulary#> .
7+
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
8+
9+
[]
10+
a sh:ValidationReport ;
11+
sh:conforms "false"^^xsd:boolean ;
12+
sh:result
13+
[
14+
a sh:ValidationResult ;
15+
sh:focusNode <http://example.org/kb/action-lifecycle1> ;
16+
sh:resultMessage "More than 0 values on kb:action-lifecycle1->action:actionStatus" ;
17+
sh:resultPath action:actionStatus ;
18+
sh:resultSeverity sh:Violation ;
19+
sh:sourceConstraintComponent sh:MaxCountConstraintComponent ;
20+
sh:sourceShape [
21+
sh:datatype vocabulary1:ActionStatusTypeVocab ;
22+
sh:maxCount "0"^^xsd:integer ;
23+
sh:nodeKind sh:Literal ;
24+
sh:path action:actionStatus ;
25+
] ;
26+
] ,
27+
[
28+
a sh:ValidationResult ;
29+
sh:focusNode <http://example.org/kb/action-lifecycle1> ;
30+
sh:resultMessage "Value is not Literal with datatype vocabulary1:ActionStatusTypeVocab" ;
31+
sh:resultPath action:actionStatus ;
32+
sh:resultSeverity sh:Violation ;
33+
sh:sourceConstraintComponent sh:DatatypeConstraintComponent ;
34+
sh:sourceShape [
35+
sh:datatype vocabulary1:ActionStatusTypeVocab ;
36+
sh:maxCount "0"^^xsd:integer ;
37+
sh:nodeKind sh:Literal ;
38+
sh:path action:actionStatus ;
39+
] ;
40+
sh:value "Pending" ;
41+
] ,
42+
[
43+
a sh:ValidationResult ;
44+
sh:focusNode <http://example.org/kb/action-lifecycle1> ;
45+
sh:resultMessage "Value is not Literal with datatype vocabulary1:ActionStatusTypeVocab" ;
46+
sh:resultPath action:actionStatus ;
47+
sh:resultSeverity sh:Violation ;
48+
sh:sourceConstraintComponent sh:DatatypeConstraintComponent ;
49+
sh:sourceShape [
50+
sh:datatype vocabulary1:ActionStatusTypeVocab ;
51+
sh:maxCount "1"^^xsd:integer ;
52+
sh:nodeKind sh:Literal ;
53+
sh:path action:actionStatus ;
54+
] ;
55+
sh:value "Pending" ;
56+
] ,
57+
[
58+
a sh:ValidationResult ;
59+
sh:focusNode <http://example.org/kb/action1> ;
60+
sh:resultMessage "Value is not Literal with datatype vocabulary1:ActionStatusTypeVocab" ;
61+
sh:resultPath action:actionStatus ;
62+
sh:resultSeverity sh:Violation ;
63+
sh:sourceConstraintComponent sh:DatatypeConstraintComponent ;
64+
sh:sourceShape [
65+
sh:datatype vocabulary1:ActionStatusTypeVocab ;
66+
sh:maxCount "1"^^xsd:integer ;
67+
sh:nodeKind sh:Literal ;
68+
sh:path action:actionStatus ;
69+
] ;
70+
sh:value "Pending" ;
71+
] ,
72+
[
73+
a sh:ValidationResult ;
74+
sh:focusNode <http://example.org/kb/action2> ;
75+
sh:resultMessage "Value is not Literal with datatype vocabulary1:ActionStatusTypeVocab" ;
76+
sh:resultPath action:actionStatus ;
77+
sh:resultSeverity sh:Violation ;
78+
sh:sourceConstraintComponent sh:DatatypeConstraintComponent ;
79+
sh:sourceShape [
80+
sh:datatype vocabulary1:ActionStatusTypeVocab ;
81+
sh:maxCount "1"^^xsd:integer ;
82+
sh:nodeKind sh:Literal ;
83+
sh:path action:actionStatus ;
84+
] ;
85+
sh:value "Pending" ;
86+
] ,
87+
[
88+
a sh:ValidationResult ;
89+
sh:focusNode <http://example.org/kb/action3> ;
90+
sh:resultMessage "Value is not Literal with datatype vocabulary1:ActionStatusTypeVocab" ;
91+
sh:resultPath action:actionStatus ;
92+
sh:resultSeverity sh:Violation ;
93+
sh:sourceConstraintComponent sh:DatatypeConstraintComponent ;
94+
sh:sourceShape [
95+
sh:datatype vocabulary1:ActionStatusTypeVocab ;
96+
sh:maxCount "1"^^xsd:integer ;
97+
sh:nodeKind sh:Literal ;
98+
sh:path action:actionStatus ;
99+
] ;
100+
sh:value "Pending" ;
101+
] ,
102+
[
103+
a sh:ValidationResult ;
104+
sh:focusNode [
105+
a action:ArrayOfAction ;
106+
action:action
107+
"kb:action1" ,
108+
"kb:action2" ,
109+
"kb:action3"
110+
;
111+
] ;
112+
sh:resultMessage "Value does not have class action:Action" ;
113+
sh:resultPath action:action ;
114+
sh:resultSeverity sh:Violation ;
115+
sh:sourceConstraintComponent sh:ClassConstraintComponent ;
116+
sh:sourceShape [
117+
sh:class action:Action ;
118+
sh:minCount "1"^^xsd:integer ;
119+
sh:nodeKind sh:BlankNodeOrIRI ;
120+
sh:path action:action ;
121+
] ;
122+
sh:value "kb:action1" ;
123+
] ,
124+
[
125+
a sh:ValidationResult ;
126+
sh:focusNode [
127+
a action:ArrayOfAction ;
128+
action:action
129+
"kb:action1" ,
130+
"kb:action2" ,
131+
"kb:action3"
132+
;
133+
] ;
134+
sh:resultMessage "Value does not have class action:Action" ;
135+
sh:resultPath action:action ;
136+
sh:resultSeverity sh:Violation ;
137+
sh:sourceConstraintComponent sh:ClassConstraintComponent ;
138+
sh:sourceShape [
139+
sh:class action:Action ;
140+
sh:minCount "1"^^xsd:integer ;
141+
sh:nodeKind sh:BlankNodeOrIRI ;
142+
sh:path action:action ;
143+
] ;
144+
sh:value "kb:action2" ;
145+
] ,
146+
[
147+
a sh:ValidationResult ;
148+
sh:focusNode [
149+
a action:ArrayOfAction ;
150+
action:action
151+
"kb:action1" ,
152+
"kb:action2" ,
153+
"kb:action3"
154+
;
155+
] ;
156+
sh:resultMessage "Value does not have class action:Action" ;
157+
sh:resultPath action:action ;
158+
sh:resultSeverity sh:Violation ;
159+
sh:sourceConstraintComponent sh:ClassConstraintComponent ;
160+
sh:sourceShape [
161+
sh:class action:Action ;
162+
sh:minCount "1"^^xsd:integer ;
163+
sh:nodeKind sh:BlankNodeOrIRI ;
164+
sh:path action:action ;
165+
] ;
166+
sh:value "kb:action3" ;
167+
] ,
168+
[
169+
a sh:ValidationResult ;
170+
sh:focusNode [
171+
a action:ArrayOfAction ;
172+
action:action
173+
"kb:action1" ,
174+
"kb:action2" ,
175+
"kb:action3"
176+
;
177+
] ;
178+
sh:resultMessage "Value is not of Node Kind sh:BlankNodeOrIRI" ;
179+
sh:resultPath action:action ;
180+
sh:resultSeverity sh:Violation ;
181+
sh:sourceConstraintComponent sh:NodeKindConstraintComponent ;
182+
sh:sourceShape [
183+
sh:class action:Action ;
184+
sh:minCount "1"^^xsd:integer ;
185+
sh:nodeKind sh:BlankNodeOrIRI ;
186+
sh:path action:action ;
187+
] ;
188+
sh:value "kb:action1" ;
189+
] ,
190+
[
191+
a sh:ValidationResult ;
192+
sh:focusNode [
193+
a action:ArrayOfAction ;
194+
action:action
195+
"kb:action1" ,
196+
"kb:action2" ,
197+
"kb:action3"
198+
;
199+
] ;
200+
sh:resultMessage "Value is not of Node Kind sh:BlankNodeOrIRI" ;
201+
sh:resultPath action:action ;
202+
sh:resultSeverity sh:Violation ;
203+
sh:sourceConstraintComponent sh:NodeKindConstraintComponent ;
204+
sh:sourceShape [
205+
sh:class action:Action ;
206+
sh:minCount "1"^^xsd:integer ;
207+
sh:nodeKind sh:BlankNodeOrIRI ;
208+
sh:path action:action ;
209+
] ;
210+
sh:value "kb:action2" ;
211+
] ,
212+
[
213+
a sh:ValidationResult ;
214+
sh:focusNode [
215+
a action:ArrayOfAction ;
216+
action:action
217+
"kb:action1" ,
218+
"kb:action2" ,
219+
"kb:action3"
220+
;
221+
] ;
222+
sh:resultMessage "Value is not of Node Kind sh:BlankNodeOrIRI" ;
223+
sh:resultPath action:action ;
224+
sh:resultSeverity sh:Violation ;
225+
sh:sourceConstraintComponent sh:NodeKindConstraintComponent ;
226+
sh:sourceShape [
227+
sh:class action:Action ;
228+
sh:minCount "1"^^xsd:integer ;
229+
sh:nodeKind sh:BlankNodeOrIRI ;
230+
sh:path action:action ;
231+
] ;
232+
sh:value "kb:action3" ;
233+
]
234+
;
235+
.
236+

‎tests/case_utils/case_validate/uco_test_examples/action_result_PASS_validation.ttl‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
@prefix owl: <http://www.w3.org/2002/07/owl#> .
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+
@prefix sh: <http://www.w3.org/ns/shacl#> .
5+
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
6+
7+
[]
8+
a sh:ValidationReport ;
9+
sh:conforms "true"^^xsd:boolean ;
10+
.
11+

‎tests/case_utils/case_validate/uco_test_examples/location_PASS_validation.ttl‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
@prefix owl: <http://www.w3.org/2002/07/owl#> .
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+
@prefix sh: <http://www.w3.org/ns/shacl#> .
5+
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
6+
7+
[]
8+
a sh:ValidationReport ;
9+
sh:conforms "true"^^xsd:boolean ;
10+
.
11+

0 commit comments

Comments
 (0)