| @prefix dash: <http://datashapes.org/dash#> . |
| @prefix ex: <http://datashapes.org/sh/tests/core/targets/targetClass-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:InvalidInstance1 |
| rdf:type ex:MyClass ; |
| ex:myProperty "A" ; |
| ex:myProperty "B" ; |
| . |
| ex:InvalidInstance2 |
| rdf:type ex:MySubClass ; |
| ex:myProperty "A" ; |
| ex:myProperty "B" ; |
| . |
| ex:MyClass |
| rdf:type rdfs:Class ; |
| . |
| ex:MySubClass |
| rdf:type rdfs:Class ; |
| rdfs:subClassOf ex:MyClass ; |
| . |
| ex:MyShape |
| rdf:type sh:NodeShape ; |
| sh:property ex:MyShape-myProperty ; |
| sh:targetClass ex:MyClass ; |
| . |
| ex:MyShape-myProperty |
| sh:path ex:myProperty ; |
| sh:maxCount 1 ; |
| . |
| ex:ValidInstance1 |
| rdf:type ex:MyClass ; |
| ex:myProperty "A" ; |
| . |
| ex:ValidInstance2 |
| ex:myProperty "A" ; |
| ex:myProperty "B" ; |
| . |
| ex:ValidInstance3 |
| rdf:type ex:MySubClass ; |
| ex:myProperty "A" ; |
| . |
| <> |
| rdf:type mf:Manifest ; |
| mf:entries ( |
| <targetClass-001> |
| ) ; |
| . |
| <targetClass-001> |
| rdf:type sht:Validate ; |
| rdfs:label "Test of sh:targetClass 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:InvalidInstance1 ; |
| sh:resultPath ex:myProperty ; |
| sh:resultSeverity sh:Violation ; |
| sh:sourceConstraintComponent sh:MaxCountConstraintComponent ; |
| sh:sourceShape ex:MyShape-myProperty ; |
| ] ; |
| sh:result [ |
| rdf:type sh:ValidationResult ; |
| sh:focusNode ex:InvalidInstance2 ; |
| sh:resultPath ex:myProperty ; |
| sh:resultSeverity sh:Violation ; |
| sh:sourceConstraintComponent sh:MaxCountConstraintComponent ; |
| sh:sourceShape ex:MyShape-myProperty ; |
| ] ; |
| ] ; |
| mf:status sht:approved ; |
| . |