Skip to content

Commit

Permalink
Generate Make-managed files
Browse files Browse the repository at this point in the history
References:
* #393

Signed-off-by: Alex Nelson <alexander.nelson@nist.gov>
  • Loading branch information
ajnelson-nist committed May 26, 2022
1 parent 2aa0abd commit 1648a99
Show file tree
Hide file tree
Showing 3 changed files with 95 additions and 0 deletions.
11 changes: 11 additions & 0 deletions tests/examples/message_thread_PASS_validation.ttl
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

[]
a sh:ValidationReport ;
sh:conforms "true"^^xsd:boolean ;
.

11 changes: 11 additions & 0 deletions tests/examples/thread_PASS_validation.ttl
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

[]
a sh:ValidationReport ;
sh:conforms "true"^^xsd:boolean ;
.

73 changes: 73 additions & 0 deletions tests/examples/thread_XFAIL_validation.ttl
Original file line number Diff line number Diff line change
@@ -0,0 +1,73 @@
@prefix co: <http://purl.org/co/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix types: <https://ontology.unifiedcyberontology.org/uco/types/> .
@prefix uco-co: <https://ontology.unifiedcyberontology.org/co/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

[]
a sh:ValidationReport ;
sh:conforms "false"^^xsd:boolean ;
sh:result
[
a sh:ValidationResult ;
sh:focusNode <http://example.org/kb/thread-2> ;
sh:resultMessage "Value does not have class co:Item" ;
sh:resultPath co:item ;
sh:resultSeverity sh:Violation ;
sh:sourceConstraintComponent sh:ClassConstraintComponent ;
sh:sourceShape uco-co:item-subjects-shape ;
sh:value <http://example.org/kb/uco-object-4> ;
] ,
[
a sh:ValidationResult ;
sh:focusNode <http://example.org/kb/thread-2> ;
sh:resultMessage "Value does not have class types:ThreadItem" ;
sh:resultPath co:item ;
sh:resultSeverity sh:Violation ;
sh:sourceConstraintComponent sh:ClassConstraintComponent ;
sh:sourceShape [
sh:class types:ThreadItem ;
sh:path co:item ;
] ;
sh:value <http://example.org/kb/uco-object-4> ;
] ,
[
a sh:ValidationResult ;
sh:focusNode <http://example.org/kb/thread-2> ;
sh:resultMessage "Value does not have class types:ThreadItem" ;
sh:resultPath types:threadOriginItem ;
sh:resultSeverity sh:Violation ;
sh:sourceConstraintComponent sh:ClassConstraintComponent ;
sh:sourceShape types:threadOriginItem-subjects-shape ;
sh:value <http://example.org/kb/uco-object-4> ;
] ,
[
a sh:ValidationResult ;
sh:focusNode <http://example.org/kb/thread-3-item-1> ;
sh:resultMessage 'Node kb:thread-3-item-1 conforms to shape [ rdf:type sh:PropertyShape ; sh:class co:Item ; sh:description Literal("This shape encodes in SHACL that the range of co:itemContent is the complement of co:Item.", lang=en) ; sh:path co:itemContent ]' ;
sh:resultSeverity sh:Violation ;
sh:sourceConstraintComponent sh:NotConstraintComponent ;
sh:sourceShape uco-co:itemContent-subjects-shape ;
sh:value <http://example.org/kb/thread-3-item-1> ;
] ,
[
a sh:ValidationResult ;
sh:focusNode <http://example.org/kb/thread-3-item-2> ;
sh:resultMessage "More than 1 values on kb:thread-3-item-2->co:itemContent" ;
sh:resultPath co:itemContent ;
sh:resultSeverity sh:Violation ;
sh:sourceConstraintComponent sh:MaxCountConstraintComponent ;
sh:sourceShape [
a sh:PropertyShape ;
sh:description "This shape encodes in SHACL that co:itemContent is an OWL FunctionalProperty (giving the sh:maxCount constraint)."@en ;
sh:maxCount "1"^^xsd:integer ;
sh:nodeKind sh:BlankNodeOrIRI ;
sh:path co:itemContent ;
] ;
]
;
.

0 comments on commit 1648a99

Please sign in to comment.