Hi Holger,
Thanks for you reaction. And I will try to be more clear.
In this repo
<https://github.com/Stichting-CROW/imbor/tree/master/docs/uitwisseling_rdf/files/temp>are
three Turtle files (couldn't attach them due to their size):
1. Ontology(includingShapes).ttl
2. Dataset.ttl (my instances)
3. Ontology+Dataset.ttl (combined by hand)
When I run: *$ shaclvalidate -datafile "Dataset.ttl" -shapesfile
"Ontology.ttl"*, I get as output whats in the file "*shaclvalidate 2
against 1.txt*" (attached). This correct output, but it does not take into
account inferencing.
When I combined file 1 and 2 in file 3 and run *$ shaclvalidate -datafile
"Ontology+Dataset.ttl"*, I get as output whats in the file "*shaclvalidate
3.txt*" (attached). This is what I expect when running the first command.
Thanks again for looking at it.
--
You received this message because you are subscribed to the Google Groups
"TopBraid Suite Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/topbraid-users/d58cdea3-531f-4faa-bb48-c583b4e2656fn%40googlegroups.com.
@prefix coll: <https://data.crow.nl/rest-api/id#> .
@prefix constant: <http://qudt.org/vocab/constant/> .
@prefix creativecommons: <http://creativecommons.org/ns#> .
@prefix dash: <http://datashapes.org/dash#> .
@prefix data: <http://example.com/gemeente/areaaldata/id/> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix dtype: <http://www.linkedmodel.org/schema/dtype#> .
@prefix geo: <http://www.opengis.net/ont/geosparql#> .
@prefix graphql: <http://datashapes.org/graphql#> .
@prefix imbor: <https://data.crow.nl/imbor/def/> .
@prefix imbor-domeinwaarde: <https://data.crow.nl/imbor/id/domeinwaarden/> .
@prefix imbor-meta: <https://data.crow.nl/imbor/aanvullend-metamodel/> .
@prefix imbor-refmodels: <https://data.crow.nl/imbor-ref/def/> .
@prefix imbor-term: <https://data.crow.nl/imbor/term/> .
@prefix mc: <http://www.linkedmodel.org/owl/schema/core#> .
@prefix mim: <http://bp4mc2.org/def/mim#> .
@prefix mimdoc: <http://bp4mc2.org/def/mimdoc#> .
@prefix nen2660: <https://w3id.org/nen2660/def#> .
@prefix nen2660-term: <https://w3id.org/nen2660/term#> .
@prefix nen3610: <http://definities.geostandaarden.nl/def/nen3610#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix prefix: <http://qudt.org/vocab/prefix/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix qkdv: <http://qudt.org/vocab/dimensionvector/> .
@prefix quantitykind: <http://qudt.org/vocab/quantitykind/> .
@prefix qudt: <http://qudt.org/schema/qudt/> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix restapi: <https://data.crow.nl/rest-api/def#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix sou: <http://qudt.org/vocab/sou/> .
@prefix swa: <http://topbraid.org/swa#> .
@prefix time: <http://www.w3.org/2006/time#> .
@prefix tosh: <http://topbraid.org/tosh#> .
@prefix unit: <http://qudt.org/vocab/unit/> .
@prefix vaem: <http://www.linkedmodel.org/schema/vaem#> .
@prefix voag: <http://voag.linkedmodel.org/schema/voag#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
[ rdf:type sh:ValidationReport ;
sh:conforms false ;
sh:result [ rdf:type sh:ValidationResult ;
sh:focusNode
data:9a6f7b7f-db55-4929-b87d-ff0d7d1a6998 ;
sh:resultMessage "Less than 1 values have shape
_:c2b96ed9e6ac921210d514b5d6ef9250" ;
sh:resultPath nen2660:hasPart ;
sh:resultSeverity sh:Violation ;
sh:sourceConstraintComponent
sh:QualifiedMinCountConstraintComponent ;
sh:sourceShape
imbor:ba4d9977-9630-42f8-9e18-74b8e90322d2
]
] .@prefix coll: <https://data.crow.nl/rest-api/id#> .
@prefix constant: <http://qudt.org/vocab/constant/> .
@prefix creativecommons: <http://creativecommons.org/ns#> .
@prefix dash: <http://datashapes.org/dash#> .
@prefix data: <http://example.com/gemeente/areaaldata/id/> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix dtype: <http://www.linkedmodel.org/schema/dtype#> .
@prefix geo: <http://www.opengis.net/ont/geosparql#> .
@prefix graphql: <http://datashapes.org/graphql#> .
@prefix imbor: <https://data.crow.nl/imbor/def/> .
@prefix imbor-domeinwaarde: <https://data.crow.nl/imbor/id/domeinwaarden/> .
@prefix imbor-meta: <https://data.crow.nl/imbor/aanvullend-metamodel/> .
@prefix imbor-refmodels: <https://data.crow.nl/imbor-ref/def/> .
@prefix imbor-term: <https://data.crow.nl/imbor/term/> .
@prefix mc: <http://www.linkedmodel.org/owl/schema/core#> .
@prefix mim: <http://bp4mc2.org/def/mim#> .
@prefix mimdoc: <http://bp4mc2.org/def/mimdoc#> .
@prefix nen2660: <https://w3id.org/nen2660/def#> .
@prefix nen2660-term: <https://w3id.org/nen2660/term#> .
@prefix nen3610: <http://definities.geostandaarden.nl/def/nen3610#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix prefix: <http://qudt.org/vocab/prefix/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix qkdv: <http://qudt.org/vocab/dimensionvector/> .
@prefix quantitykind: <http://qudt.org/vocab/quantitykind/> .
@prefix qudt: <http://qudt.org/schema/qudt/> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix restapi: <https://data.crow.nl/rest-api/def#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix sou: <http://qudt.org/vocab/sou/> .
@prefix swa: <http://topbraid.org/swa#> .
@prefix time: <http://www.w3.org/2006/time#> .
@prefix tosh: <http://topbraid.org/tosh#> .
@prefix unit: <http://qudt.org/vocab/unit/> .
@prefix vaem: <http://www.linkedmodel.org/schema/vaem#> .
@prefix voag: <http://voag.linkedmodel.org/schema/voag#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
[ rdf:type sh:ValidationReport ;
sh:conforms false ;
sh:result [ rdf:type sh:ValidationResult ;
sh:focusNode
data:a946356a-21ec-4be0-9c14-631786921d3a ;
sh:resultMessage "Het attribuut geometrie is
gelijk aan de waarde van nen2660:hasBoundary. Wanneer deze gevuld is met een
geo:Geometry mag daarmee het attribuut 'Geometrie' leeg zijn." ;
sh:resultPath
imbor:888e13ae-214e-471e-839b-79d77d69d46e ;
sh:resultSeverity sh:Warning ;
sh:sourceConstraintComponent sh:MinCountConstraintComponent ;
sh:sourceShape
imbor:70fa1e34-7061-4de3-940f-f51e0d3f1fa5
] ;
sh:result [ rdf:type sh:ValidationResult ;
sh:focusNode
data:9a6f7b7f-db55-4929-b87d-ff0d7d1a6998 ;
sh:resultMessage "Less than 1 values have shape
_:5f01b4578891db4552aeebce02e5533a" ;
sh:resultPath nen2660:hasPart ;
sh:resultSeverity sh:Violation ;
sh:sourceConstraintComponent
sh:QualifiedMinCountConstraintComponent ;
sh:sourceShape
imbor:ba4d9977-9630-42f8-9e18-74b8e90322d2
] ;
sh:result [ rdf:type sh:ValidationResult ;
sh:focusNode [] ;
sh:resultMessage "Omdat technische gezien de
klasse 'Geometrische Representatie' ook een subklasse is van nen2660:Object
moeten deze allemaal ook de property 'identificatie' hebben. Dit is niet pers├®
nodig als het hier een zogenaamde 'blanknode' betreft." ;
sh:resultPath
imbor:5f430c8d-7503-4a69-9e2f-f0b6e6c7f54e ;
sh:resultSeverity sh:Warning ;
sh:sourceConstraintComponent sh:MinCountConstraintComponent ;
sh:sourceShape
imbor:be58f6d4-593e-49e2-b5c6-22c4d5793125
] ;
sh:result [ rdf:type sh:ValidationResult ;
sh:focusNode
data:6daaff3c-abf4-49e2-9904-a7a11b57d878 ;
sh:resultMessage "Het attribuut geometrie is
gelijk aan de waarde van nen2660:hasBoundary. Wanneer deze gevuld is met een
geo:Geometry mag daarmee het attribuut 'Geometrie' leeg zijn." ;
sh:resultPath
imbor:888e13ae-214e-471e-839b-79d77d69d46e ;
sh:resultSeverity sh:Warning ;
sh:sourceConstraintComponent sh:MinCountConstraintComponent ;
sh:sourceShape
imbor:70fa1e34-7061-4de3-940f-f51e0d3f1fa5
] ;
sh:result [ rdf:type sh:ValidationResult ;
sh:focusNode
data:4db2734b-2295-4030-a349-9b5b2804c20 ;
sh:resultMessage "Het attribuut geometrie is
gelijk aan de waarde van nen2660:hasBoundary. Wanneer deze gevuld is met een
geo:Geometry mag daarmee het attribuut 'Geometrie' leeg zijn." ;
sh:resultPath
imbor:888e13ae-214e-471e-839b-79d77d69d46e ;
sh:resultSeverity sh:Warning ;
sh:sourceConstraintComponent sh:MinCountConstraintComponent ;
sh:sourceShape
imbor:70fa1e34-7061-4de3-940f-f51e0d3f1fa5
] ;
sh:result [ rdf:type sh:ValidationResult ;
sh:focusNode
data:9a6f7b7f-db55-4929-b87d-ff0d7d1a6998 ;
sh:resultMessage "Het attribuut geometrie is
gelijk aan de waarde van nen2660:hasBoundary. Wanneer deze gevuld is met een
geo:Geometry mag daarmee het attribuut 'Geometrie' leeg zijn." ;
sh:resultPath
imbor:888e13ae-214e-471e-839b-79d77d69d46e ;
sh:resultSeverity sh:Warning ;
sh:sourceConstraintComponent sh:MinCountConstraintComponent ;
sh:sourceShape
imbor:70fa1e34-7061-4de3-940f-f51e0d3f1fa5
] ;
sh:result [ rdf:type sh:ValidationResult ;
sh:focusNode [] ;
sh:resultMessage "Omdat technische gezien de
klasse 'Geometrische Representatie' ook een subklasse is van nen2660:Object
moeten deze allemaal ook de property 'identificatie' hebben. Dit is niet pers├®
nodig als het hier een zogenaamde 'blanknode' betreft." ;
sh:resultPath
imbor:5f430c8d-7503-4a69-9e2f-f0b6e6c7f54e ;
sh:resultSeverity sh:Warning ;
sh:sourceConstraintComponent sh:MinCountConstraintComponent ;
sh:sourceShape
imbor:be58f6d4-593e-49e2-b5c6-22c4d5793125
] ;
sh:result [ rdf:type sh:ValidationResult ;
sh:focusNode [] ;
sh:resultMessage "Omdat technische gezien de
klasse 'Geometrische Representatie' ook een subklasse is van nen2660:Object
moeten deze allemaal ook de property 'identificatie' hebben. Dit is niet pers├®
nodig als het hier een zogenaamde 'blanknode' betreft." ;
sh:resultPath
imbor:5f430c8d-7503-4a69-9e2f-f0b6e6c7f54e ;
sh:resultSeverity sh:Warning ;
sh:sourceConstraintComponent sh:MinCountConstraintComponent ;
sh:sourceShape
imbor:be58f6d4-593e-49e2-b5c6-22c4d5793125
] ;
sh:result [ rdf:type sh:ValidationResult ;
sh:focusNode [] ;
sh:resultMessage "Omdat technische gezien de
klasse 'Geometrische Representatie' ook een subklasse is van nen2660:Object
moeten deze allemaal ook de property 'identificatie' hebben. Dit is niet pers├®
nodig als het hier een zogenaamde 'blanknode' betreft." ;
sh:resultPath
imbor:5f430c8d-7503-4a69-9e2f-f0b6e6c7f54e ;
sh:resultSeverity sh:Warning ;
sh:sourceConstraintComponent sh:MinCountConstraintComponent ;
sh:sourceShape
imbor:be58f6d4-593e-49e2-b5c6-22c4d5793125
] ;
sh:result [ rdf:type sh:ValidationResult ;
sh:focusNode
data:6fb4b2c7-69ec-4976-8489-6ad2d35d9e63 ;
sh:resultMessage "Het attribuut geometrie is
gelijk aan de waarde van nen2660:hasBoundary. Wanneer deze gevuld is met een
geo:Geometry mag daarmee het attribuut 'Geometrie' leeg zijn." ;
sh:resultPath
imbor:888e13ae-214e-471e-839b-79d77d69d46e ;
sh:resultSeverity sh:Warning ;
sh:sourceConstraintComponent sh:MinCountConstraintComponent ;
sh:sourceShape
imbor:70fa1e34-7061-4de3-940f-f51e0d3f1fa5
] ;
sh:result [ rdf:type sh:ValidationResult ;
sh:focusNode [] ;
sh:resultMessage "Omdat technische gezien de
klasse 'Geometrische Representatie' ook een subklasse is van nen2660:Object
moeten deze allemaal ook de property 'identificatie' hebben. Dit is niet pers├®
nodig als het hier een zogenaamde 'blanknode' betreft." ;
sh:resultPath
imbor:5f430c8d-7503-4a69-9e2f-f0b6e6c7f54e ;
sh:resultSeverity sh:Warning ;
sh:sourceConstraintComponent sh:MinCountConstraintComponent ;
sh:sourceShape
imbor:be58f6d4-593e-49e2-b5c6-22c4d5793125
]
] .
