Re: [topbraid-users] infer question

2020-04-10 Thread 'Bohms, H.M. (Michel)' via TopBraid Suite Users
topbraid-users@googlegroups.com> mailto:topbraid-users@googlegroups.com>> Namens Irene Polikoff Verzonden: Thursday, April 9, 2020 3:48 PM Aan: topbraid-users@googlegroups.com<mailto:topbraid-users@googlegroups.com> Onderwerp: Re: [topbraid-users] infer question No, this type of infer

Re: [topbraid-users] infer question

2020-04-10 Thread dprice
he > electronic transmission of messages. > > > > > Van: topbraid-users@googlegroups.com <mailto:topbraid-users@googlegroups.com> > mailto:topbraid-users@googlegroups.com>> > Namens dprice > Verzonden: Thursday, April 9, 2020 1:38 PM > Aan: topbraid-users@google

Re: [topbraid-users] infer question

2020-04-10 Thread dprice
ontain 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

RE: [topbraid-users] infer question

2020-04-10 Thread 'Bohms, H.M. (Michel)' via TopBraid Suite Users
raid-users@googlegroups.com Namens Irene Polikoff Verzonden: Thursday, April 9, 2020 3:48 PM Aan: topbraid-users@googlegroups.com Onderwerp: Re: [topbraid-users] infer question No, this type of inference is outside of RL profile. However, as David said, if you want to support a specific patt

RE: [topbraid-users] infer question

2020-04-09 Thread 'Bohms, H.M. (Michel)' via TopBraid Suite Users
ission of messages. Van: topbraid-users@googlegroups.com Namens Irene Polikoff Verzonden: Thursday, April 9, 2020 3:48 PM Aan: topbraid-users@googlegroups.com Onderwerp: Re: [topbraid-users] infer question No, this type of inference is outside of RL profile. However, as David said, if y

Re: [topbraid-users] infer question

2020-04-09 Thread Irene Polikoff
t; Van: topbraid-users@googlegroups.com <mailto:topbraid-users@googlegroups.com> > mailto:topbraid-users@googlegroups.com>> > Namens dprice > Verzonden: Thursday, April 9, 2020 1:38 PM > Aan: topbraid-users@googlegroups.com <mailto:topbraid-users@googlegroups.com> > Onde

RE: [topbraid-users] infer question

2020-04-09 Thread 'Bohms, H.M. (Michel)' via TopBraid Suite Users
om Namens dprice Verzonden: Thursday, April 9, 2020 1:38 PM Aan: topbraid-users@googlegroups.com Onderwerp: Re: [topbraid-users] infer question I did not look into the details, but TopBraid has support for the OWL RL profile wrt inference. Anything beyond that is not supported out-of-the-box. If you f

Re: [topbraid-users] infer question

2020-04-09 Thread dprice
I did not look into the details, but TopBraid has support for the OWL RL profile wrt inference. Anything beyond that is not supported out-of-the-box. If you find a few patterns like that you need to support in TopBraid, then layer SHACL rules over the OWL or extend the OWL RL SPIN rules to make

[topbraid-users] infer question

2020-04-09 Thread 'Bohms, H.M. (Michel)' via TopBraid Suite Users
No way/trick to topspin-infer "ex:Bridge_1 rdf:type ex:ShortBridge" ? (I know shacl is better here but still got this question for owl) From a owl:Ontology ; owl:imports ; . ex:Bridge a owl:Class ; . ex:Bridge_1