Skip to content

Commit d36826d

Browse files
ajnelson-nistajnelson-nist
committed
Generate Make-managed files
Signed-off-by: Alex Nelson <alexander.nelson@nist.gov>
1 parent 8ddac4c commit d36826d

File tree

2 files changed

+794
-0
lines changed

2 files changed

+794
-0
lines changed

‎examples/illustrations/inference/inference_validation-develop.ttl

Lines changed: 397 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,397 @@
1+
@prefix action: <https://ontology.unifiedcyberontology.org/uco/action/> .
2+
@prefix core: <https://ontology.unifiedcyberontology.org/uco/core/> .
3+
@prefix drafting: <http://example.org/ontology/drafting/> .
4+
@prefix owl: <http://www.w3.org/2002/07/owl#> .
5+
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
6+
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
7+
@prefix sh: <http://www.w3.org/ns/shacl#> .
8+
@prefix vocabulary1: <https://ontology.unifiedcyberontology.org/uco/vocabulary/> .
9+
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
10+
11+
[]
12+
a sh:ValidationReport ;
13+
sh:conforms "false"^^xsd:boolean ;
14+
sh:result
15+
[
16+
a sh:ValidationResult ;
17+
sh:focusNode <http://example.org/kb/inference-1a06b278-1434-4a8f-887b-ea32448032de> ;
18+
sh:resultMessage "Value is not Literal with datatype xsd:string" ;
19+
sh:resultPath drafting:hypothesis ;
20+
sh:resultSeverity sh:Violation ;
21+
sh:sourceConstraintComponent sh:DatatypeConstraintComponent ;
22+
sh:sourceShape [
23+
sh:datatype xsd:string ;
24+
sh:maxCount "1"^^xsd:integer ;
25+
sh:minCount "1"^^xsd:integer ;
26+
sh:nodeKind sh:Literal ;
27+
sh:path drafting:hypothesis ;
28+
] ;
29+
sh:value <http://example.org/kb/hypothesis-e304bcf3-b220-4102-9b75-c4e5c15225c2> ;
30+
] ,
31+
[
32+
a sh:ValidationResult ;
33+
sh:focusNode <http://example.org/kb/inference-1a06b278-1434-4a8f-887b-ea32448032de> ;
34+
sh:resultMessage "Value is not of Node Kind sh:Literal" ;
35+
sh:resultPath drafting:hypothesis ;
36+
sh:resultSeverity sh:Violation ;
37+
sh:sourceConstraintComponent sh:NodeKindConstraintComponent ;
38+
sh:sourceShape [
39+
sh:datatype xsd:string ;
40+
sh:maxCount "1"^^xsd:integer ;
41+
sh:minCount "1"^^xsd:integer ;
42+
sh:nodeKind sh:Literal ;
43+
sh:path drafting:hypothesis ;
44+
] ;
45+
sh:value <http://example.org/kb/hypothesis-e304bcf3-b220-4102-9b75-c4e5c15225c2> ;
46+
] ,
47+
[
48+
a sh:ValidationResult ;
49+
sh:focusNode <http://example.org/kb/inference-1c050613-1144-4622-853a-48291f63ef54> ;
50+
sh:resultMessage "Value is not Literal with datatype xsd:string" ;
51+
sh:resultPath drafting:hypothesis ;
52+
sh:resultSeverity sh:Violation ;
53+
sh:sourceConstraintComponent sh:DatatypeConstraintComponent ;
54+
sh:sourceShape [
55+
sh:datatype xsd:string ;
56+
sh:maxCount "1"^^xsd:integer ;
57+
sh:minCount "1"^^xsd:integer ;
58+
sh:nodeKind sh:Literal ;
59+
sh:path drafting:hypothesis ;
60+
] ;
61+
sh:value <http://example.org/kb/hypothesis-32c8f595-388d-48fe-989b-4c81053e2c51> ;
62+
] ,
63+
[
64+
a sh:ValidationResult ;
65+
sh:focusNode <http://example.org/kb/inference-1c050613-1144-4622-853a-48291f63ef54> ;
66+
sh:resultMessage "Value is not of Node Kind sh:Literal" ;
67+
sh:resultPath drafting:hypothesis ;
68+
sh:resultSeverity sh:Violation ;
69+
sh:sourceConstraintComponent sh:NodeKindConstraintComponent ;
70+
sh:sourceShape [
71+
sh:datatype xsd:string ;
72+
sh:maxCount "1"^^xsd:integer ;
73+
sh:minCount "1"^^xsd:integer ;
74+
sh:nodeKind sh:Literal ;
75+
sh:path drafting:hypothesis ;
76+
] ;
77+
sh:value <http://example.org/kb/hypothesis-32c8f595-388d-48fe-989b-4c81053e2c51> ;
78+
] ,
79+
[
80+
a sh:ValidationResult ;
81+
sh:focusNode <http://example.org/kb/inference-1ccab5f9-8b02-4046-9ade-a2310b5c91c0> ;
82+
sh:resultMessage "Value is not Literal with datatype xsd:string" ;
83+
sh:resultPath drafting:hypothesis ;
84+
sh:resultSeverity sh:Violation ;
85+
sh:sourceConstraintComponent sh:DatatypeConstraintComponent ;
86+
sh:sourceShape [
87+
sh:datatype xsd:string ;
88+
sh:maxCount "1"^^xsd:integer ;
89+
sh:minCount "1"^^xsd:integer ;
90+
sh:nodeKind sh:Literal ;
91+
sh:path drafting:hypothesis ;
92+
] ;
93+
sh:value <http://example.org/kb/hypothesis-ecf366ee-b3cd-42ba-a263-1531c6a5a287> ;
94+
] ,
95+
[
96+
a sh:ValidationResult ;
97+
sh:focusNode <http://example.org/kb/inference-1ccab5f9-8b02-4046-9ade-a2310b5c91c0> ;
98+
sh:resultMessage "Value is not of Node Kind sh:Literal" ;
99+
sh:resultPath drafting:hypothesis ;
100+
sh:resultSeverity sh:Violation ;
101+
sh:sourceConstraintComponent sh:NodeKindConstraintComponent ;
102+
sh:sourceShape [
103+
sh:datatype xsd:string ;
104+
sh:maxCount "1"^^xsd:integer ;
105+
sh:minCount "1"^^xsd:integer ;
106+
sh:nodeKind sh:Literal ;
107+
sh:path drafting:hypothesis ;
108+
] ;
109+
sh:value <http://example.org/kb/hypothesis-ecf366ee-b3cd-42ba-a263-1531c6a5a287> ;
110+
] ,
111+
[
112+
a sh:ValidationResult ;
113+
sh:focusNode <http://example.org/kb/inference-2aaf35bb-6ca9-4b30-98e4-192552a2468e> ;
114+
sh:resultMessage "Value is not Literal with datatype xsd:string" ;
115+
sh:resultPath drafting:hypothesis ;
116+
sh:resultSeverity sh:Violation ;
117+
sh:sourceConstraintComponent sh:DatatypeConstraintComponent ;
118+
sh:sourceShape [
119+
sh:datatype xsd:string ;
120+
sh:maxCount "1"^^xsd:integer ;
121+
sh:minCount "1"^^xsd:integer ;
122+
sh:nodeKind sh:Literal ;
123+
sh:path drafting:hypothesis ;
124+
] ;
125+
sh:value <http://example.org/kb/hypothesis-b3ef496f-714e-4479-9f82-382ce5d751c2> ;
126+
] ,
127+
[
128+
a sh:ValidationResult ;
129+
sh:focusNode <http://example.org/kb/inference-2aaf35bb-6ca9-4b30-98e4-192552a2468e> ;
130+
sh:resultMessage "Value is not of Node Kind sh:Literal" ;
131+
sh:resultPath drafting:hypothesis ;
132+
sh:resultSeverity sh:Violation ;
133+
sh:sourceConstraintComponent sh:NodeKindConstraintComponent ;
134+
sh:sourceShape [
135+
sh:datatype xsd:string ;
136+
sh:maxCount "1"^^xsd:integer ;
137+
sh:minCount "1"^^xsd:integer ;
138+
sh:nodeKind sh:Literal ;
139+
sh:path drafting:hypothesis ;
140+
] ;
141+
sh:value <http://example.org/kb/hypothesis-b3ef496f-714e-4479-9f82-382ce5d751c2> ;
142+
] ,
143+
[
144+
a sh:ValidationResult ;
145+
sh:focusNode <http://example.org/kb/inference-3c0014ff-8616-4103-915f-54a69f486576> ;
146+
sh:resultMessage "Value is not Literal with datatype xsd:string" ;
147+
sh:resultPath drafting:hypothesis ;
148+
sh:resultSeverity sh:Violation ;
149+
sh:sourceConstraintComponent sh:DatatypeConstraintComponent ;
150+
sh:sourceShape [
151+
sh:datatype xsd:string ;
152+
sh:maxCount "1"^^xsd:integer ;
153+
sh:minCount "1"^^xsd:integer ;
154+
sh:nodeKind sh:Literal ;
155+
sh:path drafting:hypothesis ;
156+
] ;
157+
sh:value <http://example.org/kb/hypothesis-e125ff00-bb1c-4020-8cc6-2ed6ff963402> ;
158+
] ,
159+
[
160+
a sh:ValidationResult ;
161+
sh:focusNode <http://example.org/kb/inference-3c0014ff-8616-4103-915f-54a69f486576> ;
162+
sh:resultMessage "Value is not of Node Kind sh:Literal" ;
163+
sh:resultPath drafting:hypothesis ;
164+
sh:resultSeverity sh:Violation ;
165+
sh:sourceConstraintComponent sh:NodeKindConstraintComponent ;
166+
sh:sourceShape [
167+
sh:datatype xsd:string ;
168+
sh:maxCount "1"^^xsd:integer ;
169+
sh:minCount "1"^^xsd:integer ;
170+
sh:nodeKind sh:Literal ;
171+
sh:path drafting:hypothesis ;
172+
] ;
173+
sh:value <http://example.org/kb/hypothesis-e125ff00-bb1c-4020-8cc6-2ed6ff963402> ;
174+
] ,
175+
[
176+
a sh:ValidationResult ;
177+
sh:focusNode <http://example.org/kb/inference-491c1ef4-6542-450e-b8b0-a021142d2718> ;
178+
sh:resultMessage "Value is not Literal with datatype xsd:string" ;
179+
sh:resultPath drafting:hypothesis ;
180+
sh:resultSeverity sh:Violation ;
181+
sh:sourceConstraintComponent sh:DatatypeConstraintComponent ;
182+
sh:sourceShape [
183+
sh:datatype xsd:string ;
184+
sh:maxCount "1"^^xsd:integer ;
185+
sh:minCount "1"^^xsd:integer ;
186+
sh:nodeKind sh:Literal ;
187+
sh:path drafting:hypothesis ;
188+
] ;
189+
sh:value <http://example.org/kb/hypothesis-f0381f46-ad10-4c0a-a72c-7233f09ca7c7> ;
190+
] ,
191+
[
192+
a sh:ValidationResult ;
193+
sh:focusNode <http://example.org/kb/inference-491c1ef4-6542-450e-b8b0-a021142d2718> ;
194+
sh:resultMessage "Value is not of Node Kind sh:Literal" ;
195+
sh:resultPath drafting:hypothesis ;
196+
sh:resultSeverity sh:Violation ;
197+
sh:sourceConstraintComponent sh:NodeKindConstraintComponent ;
198+
sh:sourceShape [
199+
sh:datatype xsd:string ;
200+
sh:maxCount "1"^^xsd:integer ;
201+
sh:minCount "1"^^xsd:integer ;
202+
sh:nodeKind sh:Literal ;
203+
sh:path drafting:hypothesis ;
204+
] ;
205+
sh:value <http://example.org/kb/hypothesis-f0381f46-ad10-4c0a-a72c-7233f09ca7c7> ;
206+
] ,
207+
[
208+
a sh:ValidationResult ;
209+
sh:focusNode <http://example.org/kb/inference-49c8f1db-0301-485e-95f3-d2cf92815323> ;
210+
sh:resultMessage "Value is not Literal with datatype xsd:string" ;
211+
sh:resultPath drafting:hypothesis ;
212+
sh:resultSeverity sh:Violation ;
213+
sh:sourceConstraintComponent sh:DatatypeConstraintComponent ;
214+
sh:sourceShape [
215+
sh:datatype xsd:string ;
216+
sh:maxCount "1"^^xsd:integer ;
217+
sh:minCount "1"^^xsd:integer ;
218+
sh:nodeKind sh:Literal ;
219+
sh:path drafting:hypothesis ;
220+
] ;
221+
sh:value <http://example.org/kb/hypothesis-feee4b71-8566-46a3-bc55-74076365acca> ;
222+
] ,
223+
[
224+
a sh:ValidationResult ;
225+
sh:focusNode <http://example.org/kb/inference-49c8f1db-0301-485e-95f3-d2cf92815323> ;
226+
sh:resultMessage "Value is not of Node Kind sh:Literal" ;
227+
sh:resultPath drafting:hypothesis ;
228+
sh:resultSeverity sh:Violation ;
229+
sh:sourceConstraintComponent sh:NodeKindConstraintComponent ;
230+
sh:sourceShape [
231+
sh:datatype xsd:string ;
232+
sh:maxCount "1"^^xsd:integer ;
233+
sh:minCount "1"^^xsd:integer ;
234+
sh:nodeKind sh:Literal ;
235+
sh:path drafting:hypothesis ;
236+
] ;
237+
sh:value <http://example.org/kb/hypothesis-feee4b71-8566-46a3-bc55-74076365acca> ;
238+
] ,
239+
[
240+
a sh:ValidationResult ;
241+
sh:focusNode <http://example.org/kb/inference-4b880bde-9afb-4c60-a277-29f53a0df283> ;
242+
sh:resultMessage "Value is not Literal with datatype xsd:string" ;
243+
sh:resultPath drafting:hypothesis ;
244+
sh:resultSeverity sh:Violation ;
245+
sh:sourceConstraintComponent sh:DatatypeConstraintComponent ;
246+
sh:sourceShape [
247+
sh:datatype xsd:string ;
248+
sh:maxCount "1"^^xsd:integer ;
249+
sh:minCount "1"^^xsd:integer ;
250+
sh:nodeKind sh:Literal ;
251+
sh:path drafting:hypothesis ;
252+
] ;
253+
sh:value <http://example.org/kb/hypothesis-fa7bb4d5-e9eb-4a5f-aa1f-e6af19f2eaa0> ;
254+
] ,
255+
[
256+
a sh:ValidationResult ;
257+
sh:focusNode <http://example.org/kb/inference-4b880bde-9afb-4c60-a277-29f53a0df283> ;
258+
sh:resultMessage "Value is not of Node Kind sh:Literal" ;
259+
sh:resultPath drafting:hypothesis ;
260+
sh:resultSeverity sh:Violation ;
261+
sh:sourceConstraintComponent sh:NodeKindConstraintComponent ;
262+
sh:sourceShape [
263+
sh:datatype xsd:string ;
264+
sh:maxCount "1"^^xsd:integer ;
265+
sh:minCount "1"^^xsd:integer ;
266+
sh:nodeKind sh:Literal ;
267+
sh:path drafting:hypothesis ;
268+
] ;
269+
sh:value <http://example.org/kb/hypothesis-fa7bb4d5-e9eb-4a5f-aa1f-e6af19f2eaa0> ;
270+
] ,
271+
[
272+
a sh:ValidationResult ;
273+
sh:focusNode <http://example.org/kb/inference-839fcf98-b2f2-47ef-8dd0-d85d395a9ac7> ;
274+
sh:resultMessage "Less than 1 values on kb:inference-839fcf98-b2f2-47ef-8dd0-d85d395a9ac7->drafting:usedMethod" ;
275+
sh:resultPath drafting:usedMethod ;
276+
sh:resultSeverity sh:Violation ;
277+
sh:sourceConstraintComponent sh:MinCountConstraintComponent ;
278+
sh:sourceShape [
279+
sh:class drafting:Method ;
280+
sh:maxCount "1"^^xsd:integer ;
281+
sh:minCount "1"^^xsd:integer ;
282+
sh:nodeKind sh:BlankNodeOrIRI ;
283+
sh:path drafting:usedMethod ;
284+
] ;
285+
] ,
286+
[
287+
a sh:ValidationResult ;
288+
sh:focusNode <http://example.org/kb/inference-839fcf98-b2f2-47ef-8dd0-d85d395a9ac7> ;
289+
sh:resultMessage "Value is not Literal with datatype xsd:string" ;
290+
sh:resultPath drafting:hypothesis ;
291+
sh:resultSeverity sh:Violation ;
292+
sh:sourceConstraintComponent sh:DatatypeConstraintComponent ;
293+
sh:sourceShape [
294+
sh:datatype xsd:string ;
295+
sh:maxCount "1"^^xsd:integer ;
296+
sh:minCount "1"^^xsd:integer ;
297+
sh:nodeKind sh:Literal ;
298+
sh:path drafting:hypothesis ;
299+
] ;
300+
sh:value <http://example.org/kb/hypothesis-2fc331cc-25ad-47a4-a9c1-d11132b4ea68> ;
301+
] ,
302+
[
303+
a sh:ValidationResult ;
304+
sh:focusNode <http://example.org/kb/inference-839fcf98-b2f2-47ef-8dd0-d85d395a9ac7> ;
305+
sh:resultMessage "Value is not of Node Kind sh:Literal" ;
306+
sh:resultPath drafting:hypothesis ;
307+
sh:resultSeverity sh:Violation ;
308+
sh:sourceConstraintComponent sh:NodeKindConstraintComponent ;
309+
sh:sourceShape [
310+
sh:datatype xsd:string ;
311+
sh:maxCount "1"^^xsd:integer ;
312+
sh:minCount "1"^^xsd:integer ;
313+
sh:nodeKind sh:Literal ;
314+
sh:path drafting:hypothesis ;
315+
] ;
316+
sh:value <http://example.org/kb/hypothesis-2fc331cc-25ad-47a4-a9c1-d11132b4ea68> ;
317+
] ,
318+
[
319+
a sh:ValidationResult ;
320+
sh:focusNode <http://example.org/kb/inference-baf0e98e-94da-4de4-af12-c5cac897d027> ;
321+
sh:resultMessage "Less than 1 values on kb:inference-baf0e98e-94da-4de4-af12-c5cac897d027->drafting:usedMethod" ;
322+
sh:resultPath drafting:usedMethod ;
323+
sh:resultSeverity sh:Violation ;
324+
sh:sourceConstraintComponent sh:MinCountConstraintComponent ;
325+
sh:sourceShape [
326+
sh:class drafting:Method ;
327+
sh:maxCount "1"^^xsd:integer ;
328+
sh:minCount "1"^^xsd:integer ;
329+
sh:nodeKind sh:BlankNodeOrIRI ;
330+
sh:path drafting:usedMethod ;
331+
] ;
332+
] ,
333+
[
334+
a sh:ValidationResult ;
335+
sh:focusNode <http://example.org/kb/inference-baf0e98e-94da-4de4-af12-c5cac897d027> ;
336+
sh:resultMessage "Value is not Literal with datatype xsd:string" ;
337+
sh:resultPath drafting:hypothesis ;
338+
sh:resultSeverity sh:Violation ;
339+
sh:sourceConstraintComponent sh:DatatypeConstraintComponent ;
340+
sh:sourceShape [
341+
sh:datatype xsd:string ;
342+
sh:maxCount "1"^^xsd:integer ;
343+
sh:minCount "1"^^xsd:integer ;
344+
sh:nodeKind sh:Literal ;
345+
sh:path drafting:hypothesis ;
346+
] ;
347+
sh:value <http://example.org/kb/hypothesis-901bc2b4-5878-4c4d-aad9-59f30a4ce5e1> ;
348+
] ,
349+
[
350+
a sh:ValidationResult ;
351+
sh:focusNode <http://example.org/kb/inference-baf0e98e-94da-4de4-af12-c5cac897d027> ;
352+
sh:resultMessage "Value is not of Node Kind sh:Literal" ;
353+
sh:resultPath drafting:hypothesis ;
354+
sh:resultSeverity sh:Violation ;
355+
sh:sourceConstraintComponent sh:NodeKindConstraintComponent ;
356+
sh:sourceShape [
357+
sh:datatype xsd:string ;
358+
sh:maxCount "1"^^xsd:integer ;
359+
sh:minCount "1"^^xsd:integer ;
360+
sh:nodeKind sh:Literal ;
361+
sh:path drafting:hypothesis ;
362+
] ;
363+
sh:value <http://example.org/kb/hypothesis-901bc2b4-5878-4c4d-aad9-59f30a4ce5e1> ;
364+
] ,
365+
[
366+
a sh:ValidationResult ;
367+
sh:focusNode <http://example.org/kb/method-2473b57f-8c7e-4672-99a1-1107bf2cb701> ;
368+
sh:resultMessage "Less than 1 values on kb:method-2473b57f-8c7e-4672-99a1-1107bf2cb701->action:phase" ;
369+
sh:resultPath action:phase ;
370+
sh:resultSeverity sh:Violation ;
371+
sh:sourceConstraintComponent sh:MinCountConstraintComponent ;
372+
sh:sourceShape [
373+
sh:class action:ArrayOfAction ;
374+
sh:maxCount "1"^^xsd:integer ;
375+
sh:minCount "1"^^xsd:integer ;
376+
sh:nodeKind sh:BlankNodeOrIRI ;
377+
sh:path action:phase ;
378+
] ;
379+
] ,
380+
[
381+
a sh:ValidationResult ;
382+
sh:focusNode <http://example.org/kb/relationship-74cb5afd-8bec-4544-a724-bfbf11df29a0> ;
383+
sh:resultMessage "Value is not Literal with datatype xsd:string" ;
384+
sh:resultPath core:kindOfRelationship ;
385+
sh:resultSeverity sh:Violation ;
386+
sh:sourceConstraintComponent sh:DatatypeConstraintComponent ;
387+
sh:sourceShape [
388+
sh:datatype xsd:string ;
389+
sh:maxCount "1"^^xsd:integer ;
390+
sh:nodeKind sh:Literal ;
391+
sh:path core:kindOfRelationship ;
392+
] ;
393+
sh:value "Contained_Within"^^vocabulary1:ObservableObjectRelationshipVocab ;
394+
]
395+
;
396+
.
397+

0 commit comments

Comments
 (0)