TopSpin is simply an engine that runs SPIN rules. The inferences it produces depends on the rules provided as input.
We have create SPIN rule for each OWL-RL in the spec. As I showed previously in a screenshot their URIs correspond to the names of the rues in the spec e.g., cos-int2. This is an open approach, you can add as many additional rules as you want. > On Jun 15, 2020, at 11:23 AM, 'Bohms, H.M. (Michel)' via TopBraid Suite Users > <[email protected]> wrote: > > Wrt last, if I understand right... > > Yes but this is part of the automation.. > > In our case we combine with owl equivalence > > So I am trying to find out whether it is normal that tbc does not support it > yet or if it is a bug (on my or tbc side...) > > The things we do ARE in owl-rl grammer but....maybe not covered by the owl-rl > reasoning rules (like implemented by tbc topspin) > List is: > [email protected] <mailto:[email protected]> > > you can register via topquadrant.com <http://topquadrant.com/> ... > community..... > > often interesting stuff! > > > > > Dr. ir. H.M. (Michel) Böhms > Senior Data Scientist > > T +31888663107 > M +31630381220 > E [email protected] <mailto:[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. > > > > > Van: Miltos Gatzios <[email protected] > <mailto:[email protected]>> > Verzonden: Monday, June 15, 2020 5:16 PM > Aan: Bohms, H.M. (Michel) <[email protected] <mailto:[email protected]>> > Onderwerp: RE: [topbraid-users] inference question > > Hey Michel, > > No I am not in the tbc user list. What is that? > > I really find it very interesting the part of the blank nodes and the > inferencing. > If you know both then u can model everything and therefore, in my opinion, > it is quite important to know how both work. > As the Dutch would say, I found them the “puntjes op de i ” (I hope I used > correctly the expression). > > So please feel free to share. This is definitely not a spam. 😊 > Knowledge is always appreciated. > > By the way, answering my question I asked last Friday: > why :DichteDeklagen becomes always rdfs:subClassOf :Wegdeel (in the use case > as it is now) > > I think the reason lies in In 4.3 (OWL-RL grammer), Table 9, and specifically: > > > scm-int > T(?c, owl:intersectionOf, ?x) > LIST[?x, ?c1, ..., ?cn] > T(?c, rdfs:subClassOf, ?c1) > T(?c, rdfs:subClassOf, ?c2) > ... > T(?c, rdfs:subClassOf, ?cn) > > > Met vriendelijke groeten / Kind regards, > > Miltos Gatzios | BIM Consultant > > <image005.png> <http://www.bim-connected.nl/> > Torenallee 62-22 > Gebouw Anton, eerste verdieping > 5617 BD, Eindhoven > www.bim-connected.nl <http://www.bim-connected.nl/> > KvK-nummer 76907279 > > +31 6 40 21 95 95 > [email protected] <mailto:[email protected]> > > > > > From: Bohms, H.M. (Michel) <[email protected] <mailto:[email protected]>> > Sent: Monday, June 15, 2020 4:58 PM > To: Miltos Gatzios <[email protected] > <mailto:[email protected]>> > Subject: RE: [topbraid-users] inference question > > If you find interesting I can share more... > > If not tell me and I stop spamming 😊 > > (or are you already on the tbc user list?) > > > > > > Dr. ir. H.M. (Michel) Böhms > Senior Data Scientist > > T +31888663107 > M +31630381220 > E [email protected] <mailto:[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. > > > > > Van: Miltos Gatzios <[email protected] > <mailto:[email protected]>> > Verzonden: Monday, June 15, 2020 4:53 PM > Aan: Bohms, H.M. (Michel) <[email protected] <mailto:[email protected]>> > Onderwerp: RE: [topbraid-users] inference question > > Hey Michel, > > Thanks for sharing the discussion. > > Met vriendelijke groeten / Kind regards, > > Miltos Gatzios | BIM Consultant > > <image006.png> <http://www.bim-connected.nl/> > Torenallee 62-22 > Gebouw Anton, eerste verdieping > 5617 BD, Eindhoven > www.bim-connected.nl <http://www.bim-connected.nl/> > KvK-nummer 76907279 > > +31 6 40 21 95 95 > [email protected] <mailto:[email protected]> > > > > > From: Bohms, H.M. (Michel) <[email protected] <mailto:[email protected]>> > Sent: Monday, June 15, 2020 3:06 PM > To: Miltos Gatzios <[email protected] > <mailto:[email protected]>> > Subject: FW: [topbraid-users] inference question > > > > Fyi > > Still trying to get things fully clear for our use case...... > > Gr michel > > > > Dr. ir. H.M. (Michel) Böhms > Senior Data Scientist > > T +31888663107 > M +31630381220 > E [email protected] <mailto:[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. > > > > > Van: 'Bohms, H.M. (Michel)' via TopBraid Suite Users > <[email protected] <mailto:[email protected]>> > Verzonden: Monday, June 15, 2020 3:05 PM > Aan: [email protected] <mailto:[email protected]> > Onderwerp: RE: [topbraid-users] inference question > > Still wondering here… > > It seems my case is under RL grammer …. > > Or … can something be perfectly supported by the grammer (par 6.3) but not > supported by amy reasoning rule (par 4.3) ? > > Thx a lot! > > (I am still hoping I just made a stupid mistake and that it could work > directly…) > > michel > > Van: Bohms, H.M. (Michel) > Verzonden: Saturday, June 13, 2020 11:08 AM > Aan: '[email protected] > <mailto:[email protected]>' <[email protected] > <mailto:[email protected]>> > Onderwerp: RE: [topbraid-users] inference question > > Hi David > > In 6.3 (OWL-RL grammer) I also found: > > equivClassExpression := > Class other than owl:Thing | > equivObjectIntersectionOf | > ObjectHasValue | > DataHasValue > > equivObjectIntersectionOf := 'ObjectIntersectionOf' '(' equivClassExpression > equivClassExpression { equivClassExpression } ')' > > > so I hoped that my expression: > > owl:equivalentClass [ > rdf:type owl:Class ; > owl:intersectionOf ( > :DichteDeklagen > [ > rdf:type owl:Restriction ; > owl:hasValue :geslotenverharding ; > owl:onProperty :fysiekvoorkomen ; > ] > [ > rdf:type owl:Restriction ; > owl:hasValue :rijbaan-lokaleweg ; > owl:onProperty :functie ; > ] > ) ; > ] ; > > Would fit in that... > > Combining an: > equivObjectIntersectionOf and a > ObjectHasValue > > ? michel > > > > Dr. ir. H.M. (Michel) Böhms > Senior Data Scientist > > T +31888663107 > M +31630381220 > E [email protected] <mailto:[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. > > > > > Van: [email protected] <mailto:[email protected]> > <[email protected] <mailto:[email protected]>> > Namens dprice > Verzonden: Thursday, June 11, 2020 6:31 PM > Aan: [email protected] <mailto:[email protected]> > Onderwerp: Re: [topbraid-users] inference question > > > > > On 11 Jun 2020, at 16:26, 'Bohms, H.M. (Michel)' via TopBraid Suite Users > <[email protected] <mailto:[email protected]>> > wrote: > > Can I exp3ect from topspin based on: > > <image007.jpg> > > > To derive an instance of Wegdeel with the values mentioned? > > You can only be sure with a test, but I expect that is beyond OWL RL. I had a > quick look at the RL profile and only see very simple equivalentClass axioms > - see Table 7 in: > > https://www.w3.org/TR/owl-profiles/#Reasoning_in_OWL_2_RL_and_RDF_Graphs_using_Rules > > <https://www.w3.org/TR/owl-profiles/#Reasoning_in_OWL_2_RL_and_RDF_Graphs_using_Rules>. > > Cheers, > David > > > > > Thx Michel > > > Dr. ir. H.M. (Michel) Böhms > Senior Data Scientist > > T +31888663107 > M +31630381220 > E [email protected] <mailto:[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> > > > <image002.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] > <mailto:[email protected]>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/topbraid-users/b9ad579c23aa4f42b79a95dc0d935a4e%40tno.nl > > <https://groups.google.com/d/msgid/topbraid-users/b9ad579c23aa4f42b79a95dc0d935a4e%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] > <mailto:[email protected]>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/topbraid-users/385BE7E7-D986-4239-80AD-B0D5C2567AA6%40topquadrant.com > > <https://groups.google.com/d/msgid/topbraid-users/385BE7E7-D986-4239-80AD-B0D5C2567AA6%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] > <mailto:[email protected]>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/topbraid-users/85143cff94ad4cc4bf7bda7909f2d826%40tno.nl > > <https://groups.google.com/d/msgid/topbraid-users/85143cff94ad4cc4bf7bda7909f2d826%40tno.nl?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] > <mailto:[email protected]>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/topbraid-users/56037c2a49ad437691f8c3b4d396142e%40tno.nl > > <https://groups.google.com/d/msgid/topbraid-users/56037c2a49ad437691f8c3b4d396142e%40tno.nl?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/490CF62F-EB6E-44DB-A033-FB3640900609%40topquadrant.com.
