Isn't what Michel is asking for provided by including the OWL 2 RL profile for an ontology?
Steve On Wed, Nov 6, 2019 at 8:19 AM dprice <[email protected]> wrote: > > > On 6 Nov 2019, at 13:28, 'Bohms, H.M. (Michel)' via TopBraid Suite Users < > [email protected]> wrote: > > In an ISO group we model some relations as instances of classes (to be > able to add meta-data). > > So we have: > Class “Link”, having a To and From relation to a link element. > > Since we cannot reuse symmetry/transitivity/inverse functionality from OWL > we have to model ourselves. > So, think: > > 1. Symmetry: If Rxy -> Ryx > > > > 1. Transitivity: (Rxy AND Ryz ) -> Rxz > > > > 1. Inverse: Rxy -> InverseRyx > > > Would it be feasible to do this kind of constraint modelling in OWL. Or > need to go for SHACL? > > > What is it you are trying to accomplish? e.g. Do you need inferences based > on these statements? Are you going to also write your own rules of some > sort to produce those inferences? etc. > > BTW IMO most people would not call these “constraints” in the sense of > something being invalid wrt them. > > Symmetric and Transitive can be just a boolean flag on a Link (or > subclasses of Link similar to OWL). Inverse is just a relation to another > Link. This seems simple to model which makes me ask whether there isn’t > more to the question. > > Cheers, > David > > > Thx Michel > > > > > Dr. ir. H.M. (Michel) Böhms > Senior Data Scientist > > T +31888663107 > M +31630381220 > E [email protected] > Location > <https://www.google.com/maps/place/TNO+-+Locatie+Delft+-+Stieltjesweg/@52.000788,4.3745183,17z/data=!3m1!4b1!4m5!3m4!1s0x47c5b58c52869997:0x56681566be3b8c88!8m2!3d52.000788!4d4.376707> > > > <image001.gif> <http://www.tno.nl/> > This message may contain information that is not intended for you. If you > are not the addressee or if this message was sent to you by mistake, you > are requested to inform the sender and delete the message. TNO accepts no > liability for the content of this e-mail, for the manner in which you use > it and for damage of any kind resulting from the risks inherent to the > electronic transmission of messages. > > > > > > -- > 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/64e6320449544167867e9887ea6f46c6%40tno.nl > <https://groups.google.com/d/msgid/topbraid-users/64e6320449544167867e9887ea6f46c6%40tno.nl?utm_medium=email&utm_source=footer> > . > > > UK +44 (0) 7788 561308 > US +1 (336) 283-0808 > > -- > 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/661F2697-55BF-496F-84FC-40CF10A2E38C%40topquadrant.com > <https://groups.google.com/d/msgid/topbraid-users/661F2697-55BF-496F-84FC-40CF10A2E38C%40topquadrant.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/CAGUep866da%3DrmnmyJn8GybcygZLU0WmkX8qZm4TvdRum2KyKTw%40mail.gmail.com.
