Oeps, tbc list, sorry Just needed the exact mail but forgot to remove...
Trying to get more people on tbc board 😊 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> [cid:[email protected]]<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) Verzonden: Monday, June 15, 2020 5:23 PM Aan: 'Miltos Gatzios' <[email protected]> CC: [email protected] Onderwerp: RE: [topbraid-users] inference question 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 ... 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> [cid:[email protected]]<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 [Logo_BIM-Connected]<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> [cid:[email protected]]<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 [Logo_BIM-Connected]<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> [cid:[email protected]]<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]' <[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> [cid:[email protected]]<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: [image001.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. 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]. To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/8e10cc4e7cab44798864f5ea8a3687b9%40tno.nl.
