Hi Holger, I'm trying to use the dash:ClosedByTypesConstraintComponent included in the DASH namespace of the most recent TopBraid release. I've tried to create a simple example according to what I have understood from this post to familiarize myself with the mechanism but already this first example is giving me a validation error even though the instance data should be ok.
The shape I wrote looks as follows: @prefix dash: <http://datashapes.org/dash#> . @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 cdm: <http://publications.europa.eu/ontology/cdm#> . @prefix validation: <http://validation.org/>. validation:WorkShape a rdfs:Class, sh:Shape ; dash:closedByTypes true; sh:targetClass cdm:work ; sh:property [ sh:path cdm:cites; ]; sh:ignoredProperties ( rdf:type ). This is the instance data: <http://foo> rdf:type cdm:work; cdm:cites <http://bar>. The validator returns the following report: [ a sh:ValidationReport ; sh:conforms false ; sh:result [ a sh:ValidationResult ; sh:focusNode <http://foo> ; sh:resultMessage "Property cdm:cites is not among those permitted for any of the types" ; sh:resultPath cdm:cites ; sh:resultSeverity sh:Violation ; sh:sourceConstraintComponent dash:ClosedByTypesConstraintComponent ; sh:sourceShape validation:WorkShape ; sh:value <http://bar> ] ] . At this point there are no subclasses of cdm:work, yet. They will be added later. I don't see why the property cdm:cites is not permitted. My intention was actually to explicitely require the use of this property? Do you have any idea why this is happening? Sebastian -- You received this message because you are subscribed to the Google Group "TopBraid Suite Users", the topics of which include the TopBraid Suite family of products and its base technologies such as SPARQLMotion, SPARQL Web Pages and SPIN. To post to this group, send email to [email protected] --- 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]. For more options, visit https://groups.google.com/d/optout.
