UNPKG

shacl-engine

Version:
72 lines (70 loc) 2.05 kB
@prefix dash: <http://datashapes.org/dash#> . @prefix ex: <http://datashapes.org/sh/tests/core/property/maxInclusive-001.test#> . @prefix mf: <http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#> . @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 sht: <http://www.w3.org/ns/shacl-test#> . @prefix xsd: <http://www.w3.org/2001/XMLSchema#> . ex:InvalidResource1 ex:property 2 ; . ex:InvalidResource2 ex:property "a" ; . ex:TestShape rdf:type sh:NodeShape ; sh:property ex:TestShape-property ; sh:targetNode ex:InvalidResource1 ; sh:targetNode ex:InvalidResource2 ; sh:targetNode ex:ValidResource1 ; sh:targetNode ex:ValidResource2 ; . ex:TestShape-property sh:path ex:property ; sh:maxInclusive 1 ; . ex:ValidResource1 ex:property 0 ; . ex:ValidResource2 ex:property 1 ; . <> rdf:type mf:Manifest ; mf:entries ( <maxInclusive-001> ) ; . <maxInclusive-001> rdf:type sht:Validate ; rdfs:label "Test of sh:maxInclusive at property shape 001" ; mf:action [ sht:dataGraph <> ; sht:shapesGraph <> ; ] ; mf:result [ rdf:type sh:ValidationReport ; sh:conforms "false"^^xsd:boolean ; sh:result [ rdf:type sh:ValidationResult ; sh:focusNode ex:InvalidResource1 ; sh:resultPath ex:property ; sh:resultSeverity sh:Violation ; sh:sourceConstraintComponent sh:MaxInclusiveConstraintComponent ; sh:sourceShape ex:TestShape-property ; sh:value 2 ; ] ; sh:result [ rdf:type sh:ValidationResult ; sh:focusNode ex:InvalidResource2 ; sh:resultPath ex:property ; sh:resultSeverity sh:Violation ; sh:sourceConstraintComponent sh:MaxInclusiveConstraintComponent ; sh:sourceShape ex:TestShape-property ; sh:value "a" ; ] ; ] ; mf:status sht:approved ; .