Skip to content

Commit 2873b1a

Browse files
ajnelson-nistajnelson-nist
committed
Regenerate Make-managed files
Signed-off-by: Alex Nelson <alexander.nelson@nist.gov>
1 parent 2e5caad commit 2873b1a

File tree

3 files changed

+120
-33
lines changed

3 files changed

+120
-33
lines changed

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

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
@prefix action: <https://ontology.unifiedcyberontology.org/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 xsd: <http://www.w3.org/2001/XMLSchema#> .
7+
8+
[]
9+
a sh:ValidationReport ;
10+
sh:conforms "false"^^xsd:boolean ;
11+
sh:result [
12+
a sh:ValidationResult ;
13+
sh:focusNode <http://example.org/kb/Action-0-03ee1fe6-12cf-4a35-b7dd-06d4e69369b5> ;
14+
sh:resultMessage "action:Action and core:Event are disjoint classes."@en ;
15+
sh:resultSeverity sh:Violation ;
16+
sh:sourceConstraintComponent sh:NotConstraintComponent ;
17+
sh:sourceShape action:Action-disjointWith-Event-shape ;
18+
sh:value <http://example.org/kb/Action-0-03ee1fe6-12cf-4a35-b7dd-06d4e69369b5> ;
19+
] ;
20+
.
21+

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

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
@prefix observable: <https://ontology.unifiedcyberontology.org/uco/observable/> .
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 "true"^^xsd:boolean ;
11+
sh:result [
12+
a sh:ValidationResult ;
13+
sh:focusNode <http://example.org/kb/Thing-23a38d67-3432-458b-9651-955b418c2a77> ;
14+
sh:resultMessage "observable:File and observable:URL are disjoint classes. Assigning both types to a single node will be an error in UCO 2.0.0."@en ;
15+
sh:resultSeverity sh:Warning ;
16+
sh:sourceConstraintComponent sh:NotConstraintComponent ;
17+
sh:sourceShape observable:File-disjointWith-URL-shape ;
18+
sh:value <http://example.org/kb/Thing-23a38d67-3432-458b-9651-955b418c2a77> ;
19+
] ;
20+
.
21+

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

Lines changed: 78 additions & 33 deletions
Original file line numberDiff line numberDiff line change
@@ -11,45 +11,90 @@
1111
sh:result
1212
[
1313
a sh:ValidationResult ;
14-
sh:focusNode <http://example.org/kb/list-1> ;
15-
sh:resultMessage "The subject of a triple with rdf:first as predicate must be a blank node." ;
14+
sh:detail [
15+
a sh:ValidationResult ;
16+
sh:focusNode <http://example.org/kb/list-1> ;
17+
sh:resultMessage 'Node kb:list-1 does not conform to exactly one shape in [ rdf:type sh:NodeShape ; sh:hasValue rdf:nil ] , [ rdf:type sh:NodeShape ; sh:nodeKind sh:BlankNode ; sh:property [ rdf:type sh:PropertyShape ; sh:path [ sh:oneOrMorePath rdf:rest ] ; sh:xone ( [ rdf:type sh:NodeShape ; sh:hasValue rdf:nil ] [ rdf:type sh:NodeShape ; sh:nodeKind sh:BlankNode ; sh:property [ rdf:type sh:PropertyShape ; sh:maxCount Literal("1", datatype=xsd:integer) ; sh:minCount Literal("1", datatype=xsd:integer) ; sh:path rdf:first ] ] ) ] ]' ;
18+
sh:resultSeverity sh:Violation ;
19+
sh:sourceConstraintComponent sh:XoneConstraintComponent ;
20+
sh:sourceShape uco-owl:Sequence-shape ;
21+
sh:value <http://example.org/kb/list-1> ;
22+
] ;
23+
sh:focusNode [
24+
a owl:AllDifferent ;
25+
owl:distinctMembers <http://example.org/kb/list-1> ;
26+
] ;
27+
sh:resultMessage "Value does not conform to Shape uco-owl:Sequence-shape. See details for more information." ;
28+
sh:resultPath owl:distinctMembers ;
1629
sh:resultSeverity sh:Violation ;
17-
sh:sourceConstraint [
18-
a sh:SPARQLConstraint ;
19-
rdfs:comment "This requirement is determined from review of the canonical parsing process in Section 3 of the OWL 2 mapping to RDF. Table 5 removes any triple matching the pattern 'x a rdf:List`. All other references throughout Section 3 to rdf:first are identified as blank nodes. Therefore, any non-blank node that is an rdf:List will not be mapped and consumed by the mapping process, making the graph non-conformant with OWL 2 DL."@en ;
20-
rdfs:seeAlso <https://www.w3.org/TR/2012/REC-owl2-mapping-to-rdf-20121211/#Mapping_from_RDF_Graphs_to_the_Structural_Specification> ;
21-
sh:message "The subject of a triple with rdf:first as predicate must be a blank node."@en ;
22-
sh:select """
23-
SELECT $this
24-
WHERE {
25-
FILTER isIRI($this)
26-
}
27-
""" ;
28-
] ;
29-
sh:sourceConstraintComponent sh:SPARQLConstraintComponent ;
30-
sh:sourceShape uco-owl:List-shape ;
30+
sh:sourceConstraintComponent sh:NodeConstraintComponent ;
31+
sh:sourceShape [
32+
a sh:PropertyShape ;
33+
sh:node uco-owl:Sequence-shape ;
34+
sh:path owl:distinctMembers ;
35+
] ;
3136
sh:value <http://example.org/kb/list-1> ;
3237
] ,
3338
[
3439
a sh:ValidationResult ;
35-
sh:focusNode <http://example.org/kb/list-2> ;
36-
sh:resultMessage "The subject of a triple with rdf:first as predicate must be a blank node." ;
40+
sh:detail [
41+
a sh:ValidationResult ;
42+
sh:focusNode <http://example.org/ontology/someDatatypeProperty> ;
43+
sh:resultMessage 'Node ex:someDatatypeProperty does not conform to exactly one shape in [ rdf:type sh:NodeShape ; sh:hasValue rdf:nil ] , [ rdf:type sh:NodeShape ; sh:nodeKind sh:BlankNode ; sh:property [ rdf:type sh:PropertyShape ; sh:path [ sh:oneOrMorePath rdf:rest ] ; sh:xone ( [ rdf:type sh:NodeShape ; sh:hasValue rdf:nil ] [ rdf:type sh:NodeShape ; sh:nodeKind sh:BlankNode ; sh:property [ rdf:type sh:PropertyShape ; sh:maxCount Literal("1", datatype=xsd:integer) ; sh:minCount Literal("1", datatype=xsd:integer) ; sh:path rdf:first ] ] ) ] ]' ;
44+
sh:resultSeverity sh:Violation ;
45+
sh:sourceConstraintComponent sh:XoneConstraintComponent ;
46+
sh:sourceShape uco-owl:Sequence-shape ;
47+
sh:value <http://example.org/ontology/someDatatypeProperty> ;
48+
] ;
49+
sh:focusNode <http://example.org/ontology/IncorrectlyKeyedThing> ;
50+
sh:resultMessage "Value does not conform to Shape uco-owl:Sequence-shape. See details for more information." ;
51+
sh:resultPath owl:hasKey ;
52+
sh:resultSeverity sh:Violation ;
53+
sh:sourceConstraintComponent sh:NodeConstraintComponent ;
54+
sh:sourceShape [
55+
a sh:PropertyShape ;
56+
sh:node uco-owl:Sequence-shape ;
57+
sh:path owl:hasKey ;
58+
] ;
59+
sh:value <http://example.org/ontology/someDatatypeProperty> ;
60+
] ,
61+
[
62+
a sh:ValidationResult ;
63+
sh:detail [
64+
a sh:ValidationResult ;
65+
sh:focusNode (
66+
<http://example.org/kb/concept-7>
67+
<http://example.org/kb/concept-8>
68+
) ;
69+
sh:resultMessage 'Node ( kb:concept-7 kb:concept-8 ) does not conform to exactly one shape in [ rdf:type sh:NodeShape ; sh:hasValue rdf:nil ] , [ rdf:type sh:NodeShape ; sh:nodeKind sh:BlankNode ; sh:property [ rdf:type sh:PropertyShape ; sh:path [ sh:oneOrMorePath rdf:rest ] ; sh:xone ( [ rdf:type sh:NodeShape ; sh:hasValue rdf:nil ] [ rdf:type sh:NodeShape ; sh:nodeKind sh:BlankNode ; sh:property [ rdf:type sh:PropertyShape ; sh:maxCount Literal("1", datatype=xsd:integer) ; sh:minCount Literal("1", datatype=xsd:integer) ; sh:path rdf:first ] ] ) ] ]' ;
70+
sh:resultSeverity sh:Violation ;
71+
sh:sourceConstraintComponent sh:XoneConstraintComponent ;
72+
sh:sourceShape uco-owl:Sequence-shape ;
73+
sh:value (
74+
<http://example.org/kb/concept-7>
75+
<http://example.org/kb/concept-8>
76+
) ;
77+
] ;
78+
sh:focusNode [
79+
a owl:AllDifferent ;
80+
owl:distinctMembers (
81+
<http://example.org/kb/concept-7>
82+
<http://example.org/kb/concept-8>
83+
) ;
84+
] ;
85+
sh:resultMessage "Value does not conform to Shape uco-owl:Sequence-shape. See details for more information." ;
86+
sh:resultPath owl:distinctMembers ;
3787
sh:resultSeverity sh:Violation ;
38-
sh:sourceConstraint [
39-
a sh:SPARQLConstraint ;
40-
rdfs:comment "This requirement is determined from review of the canonical parsing process in Section 3 of the OWL 2 mapping to RDF. Table 5 removes any triple matching the pattern 'x a rdf:List`. All other references throughout Section 3 to rdf:first are identified as blank nodes. Therefore, any non-blank node that is an rdf:List will not be mapped and consumed by the mapping process, making the graph non-conformant with OWL 2 DL."@en ;
41-
rdfs:seeAlso <https://www.w3.org/TR/2012/REC-owl2-mapping-to-rdf-20121211/#Mapping_from_RDF_Graphs_to_the_Structural_Specification> ;
42-
sh:message "The subject of a triple with rdf:first as predicate must be a blank node."@en ;
43-
sh:select """
44-
SELECT $this
45-
WHERE {
46-
FILTER isIRI($this)
47-
}
48-
""" ;
49-
] ;
50-
sh:sourceConstraintComponent sh:SPARQLConstraintComponent ;
51-
sh:sourceShape uco-owl:List-shape ;
52-
sh:value <http://example.org/kb/list-2> ;
88+
sh:sourceConstraintComponent sh:NodeConstraintComponent ;
89+
sh:sourceShape [
90+
a sh:PropertyShape ;
91+
sh:node uco-owl:Sequence-shape ;
92+
sh:path owl:distinctMembers ;
93+
] ;
94+
sh:value (
95+
<http://example.org/kb/concept-7>
96+
<http://example.org/kb/concept-8>
97+
) ;
5398
]
5499
;
55100
.

0 commit comments

Comments
 (0)