What we are trying to say is: If Relation1 is *supportedBy* Evidence1 Then Evidence 1 must *support *Relation1
With the additional constraint that *a Relation can be supportedBy multiple Evidence, and an Evidence can only support 1 Relation* On Saturday, April 13, 2024 at 10:09:33 AM UTC+1 Maatary Okouya wrote: > If i may i just want to make sure that I understand your statement in full. > > >> It you use inverses, there is no actual reverse triple … so it is not > possible for the inverse to not “point" to the correct source instance. > When you say if you use "inverses", do you mean > https://www.w3.org/TR/shacl/#property-path-inverse the shacl construct, > or the owl construct owl:inverseOf or owl:inverseFunctional ? > > In our current model there is a property from Relation to Evidence called > *supportedBy* and a property from Evidence to Relation called *Support* > We have not used any owl construct to connect them so far. > > > On Tuesday, March 26, 2024 at 7:39:02 AM UTC David Price wrote: > >> It you use inverses, there is no actual reverse triple … so it is not >> possible for the inverse to not “point" to the correct source instance. >> >> EDG has a Modify action that will make an inverse of an existing >> relationship property for you ,and you just name it and set the cardinality >> as needed. >> >> >> [image: Screenshot 2024-03-26 at 07.33.13.png] >> >> >> [image: Screenshot 2024-03-26 at 07.34.41.png] >> >> >> Cheers, >> David >> >> UK +44 (0) 7788 561308 <+44%207788%20561308> >> US +1 (336) 283-0808 <(336)%20283-0808> >> >> On 25 Mar 2024, at 23:33, Maatary Okouya <maatar...@gmail.com> wrote: >> >> Hi, >> >> I have a model as follow >> >> Relation have 1 or more Evidence i.e. min 1 >> An Evidence must support 1 Relation i.e. min 1 max 1 >> >> I would like to express the the fact that "A Relation has as Evidence, An >> Evidence that support it" >> In other words, if a Relation point to an evidence, that evidence must >> point to that relation. >> >> What is the correct to model that in SHACL. >> >> I obviously looked into inverse path, but could not figure out how to do >> it with it. >> >> Any suggestion >> >> >> >> -- >> The topics of this mailing list include TopBraid EDG and related >> technologies such as SHACL. >> To post to this group, send email to topbrai...@googlegroups.com >> --- >> 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 topbraid-user...@googlegroups.com. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/topbraid-users/66aa40e6-305f-4192-975c-e485a2aed1b5n%40googlegroups.com >> >> <https://groups.google.com/d/msgid/topbraid-users/66aa40e6-305f-4192-975c-e485a2aed1b5n%40googlegroups.com?utm_medium=email&utm_source=footer> >> . >> >> >> -- The topics of this mailing list include TopBraid EDG and related technologies such as SHACL. To post to this group, send email to topbraid-users@googlegroups.com --- 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 topbraid-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/b30d9eb8-4391-4faf-886d-a801046140d0n%40googlegroups.com.
