Learning something new every day. You are amazing, thanks a lot! Stefan
Op donderdag 19 september 2019 12:09:01 UTC+2 schreef Richard Cyganiak: > > You could amend the property shapes for a_has_result and b_has_result and > set their sh:node to something like test:CompleteResultShape. The intention > being that the result of any instance of a or b needs to have that shape. > > Then define a new NodeShape test:CompleteResultShape that has two property > constraints with sh:inversePaths; one for a_has_result and one for > b_has_result; both with a minCount of 1. This would mean a result only has > the shape test:CompleteResultShape if it has an incoming edge from both an > instance of a and an instance of b. > > As an effect, if there is any instance of a whose result isn't also the > result of an instance of b, then there would be a validation error. I think > that's what you want. > > So, something like: > > test:CompleteResultShape > rdf:type sh:NodeShape ; > sh:property [ > sh:path [ > sh:inversePath test:a_has_result ; > ] ; > sh:maxCount 1 ; > sh:minCount 1 ; > ] ; > sh:property [ > sh:path [ > sh:inversePath test:b_has_result ; > ] ; > sh:maxCount 1 ; > sh:minCount 1 ; > ] ; > . > test:a > rdf:type owl:Class ; > rdf:type sh:NodeShape ; > rdfs:label "a" ; > sh:property [ > rdf:type sh:PropertyShape ; > sh:path test:aHasResult ; > sh:class test:Result ; > sh:name "a has result" ; > sh:node shacl-test:CompleteResultShape ; > ] ; > . > > And similarly for test:b. > > Richard > > > On 19 Sep 2019, at 10:05, Stefan Verweij <[email protected] <javascript:>> > wrote: > > Thanks for clarifying, is what I want even possible? > > Op donderdag 19 september 2019 11:00:44 UTC+2 schreef Richard Cyganiak: >> >> Stefan, >> >> sh:equals requires that two properties of the same instance have the same >> values. >> >> What you want is two properties of two different instances having the >> same values. >> >> Richard >> > > -- > 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] <javascript:>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/topbraid-users/699bc7d2-f4f3-415f-84c1-ae7556e26b3b%40googlegroups.com > > <https://groups.google.com/d/msgid/topbraid-users/699bc7d2-f4f3-415f-84c1-ae7556e26b3b%40googlegroups.com?utm_medium=email&utm_source=footer> > . > > > -- 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/bb8dbb68-6731-4883-8d57-7fd789e593eb%40googlegroups.com.
