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 > On 19 Sep 2019, at 08:10, Stefan Verweij <[email protected]> wrote: > > Hi Holger, > > Thanks for the fast response. What do you mean with same subject in the sets > of values of two properties? Do you mean that the class (=subject?) of these > two properties has to be the same (as in the example of the link class 'name' > has properties 'firstname' and 'givenname' which should be equal, thus if you > have another class 'person' with the property 'nickname' you cannot state > this property 'nickname' has to be equal to the property 'firstname' of class > 'name'? And this last thing is basically what I would like to express. > > PS: sorry, how silly of me. Here is Turtle code: > For the three classes: > a > test:a > rdf:type owl:Class ; > rdf:type sh:NodeShape ; > rdfs:label "a" ; > rdfs:subClassOf owl:Thing ; > sh:property test:a_has_result ; > . > > b > test:b > rdf:type owl:Class ; > rdf:type sh:NodeShape ; > rdfs:label "b" ; > rdfs:subClassOf owl:Thing ; > sh:property test:b_has_result ; > . > > > test:result > rdf:type owl:Class ; > rdf:type sh:NodeShape ; > rdfs:label "result" ; > rdfs:subClassOf owl:Thing ; > sh:property test:result-has_result1 ; > sh:property test:result-has_result2 ; > sh:property test:result-has_result3 ; > . > > For the two properties: > a_has_result: > test:a-a_has_result > rdf:type sh:PropertyShape ; > sh:path test:a_has_result ; > sh:class test:result ; > sh:maxCount 1 ; > sh:minCount 1 ; > . > > b_has_result: > test:b-b_has_result > rdf:type sh:PropertyShape ; > sh:path test:b_has_result ; > sh:class test:result ; > sh:description "Each b has result. The result should be equal to that of > a." ; > sh:equals test:a_has_result ; > sh:maxCount 1 ; > sh:minCount 1 ; > . > > > For the instances: > instance_a: > test:a91bea78-2c0b-11b2-809c-005056bba47c > rdf:type test:a ; > test:a_has_result test:bee2c6e0-2c15-11b2-80f2-005056bba47c ; > rdfs:label "instance_a" ; > . > > instance_b: > test:bee2c6d6-2c15-11b2-80f2-005056bba47c > rdf:type test:b ; > test:b_has_result test:bee2c6e0-2c15-11b2-80f2-005056bba47c ; > rdfs:label "instance_b" ; > . > for instance test_result: > test:bee2c6e0-2c15-11b2-80f2-005056bba47c > rdf:type test:result ; > test:has_result1 0.06 ; > test:has_result2 0.42 ; > test:has_result3 0.56 ; > rdfs:label "test_result" ; > . > > > Op donderdag 19 september 2019 03:17:12 UTC+2 schreef Holger Knublauch: > Hi Stefan, > > if you use sh:equals, which is defined here: > > https://www.w3.org/TR/shacl/#EqualsConstraintComponent > <https://www.w3.org/TR/shacl/#EqualsConstraintComponent> > it means that the sets of values of two properties must be identical, at the > same subject. > > In your data it seems that instance_b doesn't have the same values for a has > results and b has results. > > You probably want to express something else? > > Holger > > PS: it took me a while to "parse" your example. For future postings, maybe > consider sending the RDF/Turtle source code exported from EDG to avoid > ambiguities. > > > -- > 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] > <mailto:[email protected]>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/topbraid-users/ff45fa7c-ef9d-4467-8081-b741bf760b3f%40googlegroups.com > > <https://groups.google.com/d/msgid/topbraid-users/ff45fa7c-ef9d-4467-8081-b741bf760b3f%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/F094BACB-4161-4883-8571-159FD0368DB8%40topquadrant.com.
