Regenerate Make-managed files

References: * ucoProject/UCO#571 * ucoProject/UCO#572 (comment) Signed-off-by: Alex Nelson <alexander.nelson@nist.gov>
ucoProject · Dec 5, 2023 · 37d41e2 · 37d41e2
1 parent fc27342
commit 37d41e2
Showing 1 changed file with 46 additions and 7 deletions.
diff --git a/tests/examples/rdf_list_XFAIL_validation.ttl b/tests/examples/rdf_list_XFAIL_validation.ttl
@@ -20,13 +20,44 @@
 				sh:sourceShape uco-owl:Sequence-shape ;
 				sh:value <http://example.org/kb/list-1> ;
 			] ;
-			sh:focusNode <http://example.org/kb/list-1> ;
+			sh:focusNode [
+				a owl:AllDifferent ;
+				owl:distinctMembers <http://example.org/kb/list-1> ;
+			] ;
 			sh:resultMessage "Value does not conform to Shape uco-owl:Sequence-shape. See details for more information." ;
+			sh:resultPath owl:distinctMembers ;
 			sh:resultSeverity sh:Violation ;
 			sh:sourceConstraintComponent sh:NodeConstraintComponent ;
-			sh:sourceShape uco-owl:distinctMembers-objects-shape ;
+			sh:sourceShape [
+				a sh:PropertyShape ;
+				sh:node uco-owl:Sequence-shape ;
+				sh:path owl:distinctMembers ;
+			] ;
 			sh:value <http://example.org/kb/list-1> ;
 		] ,
+		[
+			a sh:ValidationResult ;
+			sh:detail [
+				a sh:ValidationResult ;
+				sh:focusNode <http://example.org/ontology/someDatatypeProperty> ;
+				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 ] ] ) ] ]' ;
+				sh:resultSeverity sh:Violation ;
+				sh:sourceConstraintComponent sh:XoneConstraintComponent ;
+				sh:sourceShape uco-owl:Sequence-shape ;
+				sh:value <http://example.org/ontology/someDatatypeProperty> ;
+			] ;
+			sh:focusNode <http://example.org/ontology/IncorrectlyKeyedThing> ;
+			sh:resultMessage "Value does not conform to Shape uco-owl:Sequence-shape. See details for more information." ;
+			sh:resultPath owl:hasKey ;
+			sh:resultSeverity sh:Violation ;
+			sh:sourceConstraintComponent sh:NodeConstraintComponent ;
+			sh:sourceShape [
+				a sh:PropertyShape ;
+				sh:node uco-owl:Sequence-shape ;
+				sh:path owl:hasKey ;
+			] ;
+			sh:value <http://example.org/ontology/someDatatypeProperty> ;
+		] ,
 		[
 			a sh:ValidationResult ;
 			sh:detail [
@@ -44,14 +75,22 @@
 					<http://example.org/kb/concept-8>
 				) ;
 			] ;
-			sh:focusNode (
-				<http://example.org/kb/concept-7>
-				<http://example.org/kb/concept-8>
-			) ;
+			sh:focusNode [
+				a owl:AllDifferent ;
+				owl:distinctMembers (
+					<http://example.org/kb/concept-7>
+					<http://example.org/kb/concept-8>
+				) ;
+			] ;
 			sh:resultMessage "Value does not conform to Shape uco-owl:Sequence-shape. See details for more information." ;
+			sh:resultPath owl:distinctMembers ;
 			sh:resultSeverity sh:Violation ;
 			sh:sourceConstraintComponent sh:NodeConstraintComponent ;
-			sh:sourceShape uco-owl:distinctMembers-objects-shape ;
+			sh:sourceShape [
+				a sh:PropertyShape ;
+				sh:node uco-owl:Sequence-shape ;
+				sh:path owl:distinctMembers ;
+			] ;
 			sh:value (
 				<http://example.org/kb/concept-7>
 				<http://example.org/kb/concept-8>