diff --git a/tests/examples/message_thread_PASS_validation.ttl b/tests/examples/message_thread_PASS_validation.ttl
new file mode 100644
index 00000000..33496ff0
--- /dev/null
+++ b/tests/examples/message_thread_PASS_validation.ttl
@@ -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 ;
+	.
+
diff --git a/tests/examples/thread_PASS_validation.ttl b/tests/examples/thread_PASS_validation.ttl
new file mode 100644
index 00000000..33496ff0
--- /dev/null
+++ b/tests/examples/thread_PASS_validation.ttl
@@ -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 ;
+	.
+
diff --git a/tests/examples/thread_XFAIL_validation.ttl b/tests/examples/thread_XFAIL_validation.ttl
new file mode 100644
index 00000000..7ba16d26
--- /dev/null
+++ b/tests/examples/thread_XFAIL_validation.ttl
@@ -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 ;
+			] ;
+		]
+		;
+	.
+