Re: [topbraid-users] inference question

869997:0x56681566be3b8c88!8m2!3d52.000788!4d4.376707> > > > <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 th

RE: [topbraid-users] inference question

to the electronic transmission of messages. Van: Bohms, H.M. (Michel) Verzonden: Monday, June 15, 2020 5:23 PM Aan: 'Miltos Gatzios' CC: topbraid-users@googlegroups.com Onderwerp: RE: [topbraid-users] inference question Wrt last, if I understand right... Yes but this is part of the automation

RE: [topbraid-users] inference question

e 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 Verzonden: Monday, June 15, 2020 5:16 PM Aan: Bohms, H.M. (Michel) Onderwerp: RE: [topbraid-users]

RE: [topbraid-users] inference question

s@googlegroups.com Namens dprice Verzonden: Monday, June 15, 2020 3:59 PM Aan: topbraid-users@googlegroups.com Onderwerp: Re: [topbraid-users] inference question It’s the inferences supported by each OWL profile that are important. A typical RL engine is not going to complain about DL or OWL

Re: [topbraid-users] inference question

: Saturday, June 13, 2020 11:08 AM > Aan: 'topbraid-users@googlegroups.com > <mailto:topbraid-users@googlegroups.com>' <mailto:topbraid-users@googlegroups.com>> > Onderwerp: RE: [topbraid-users] inference question > > Hi David > > In 6.3

RE: [topbraid-users] inference question

: Bohms, H.M. (Michel) Verzonden: Saturday, June 13, 2020 11:08 AM Aan: 'topbraid-users@googlegroups.com' Onderwerp: RE: [topbraid-users] inference question Hi David In 6.3 (OWL-RL grammer) I also found: equivClassExpression := Class other than owl:Thing | equivObjectIntersectionOf

RE: [topbraid-users] inference question

s@googlegroups.com Onderwerp: Re: [topbraid-users] inference question On 11 Jun 2020, at 16:26, 'Bohms, H.M. (Michel)' via TopBraid Suite Users mailto:topbraid-users@googlegroups.com>> wrote: Can I exp3ect from topspin based on: [image001.jpg] To derive an instance of Wegdeel with th

Re: [topbraid-users] inference question

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: topbraid-users@googlegroups.com Namens > dprice > Verzonden: Thursday, Ju

RE: [topbraid-users] inference question

.com Onderwerp: Re: [topbraid-users] inference question On 11 Jun 2020, at 16:26, 'Bohms, H.M. (Michel)' via TopBraid Suite Users mailto:topbraid-users@googlegroups.com>> wrote: Can I exp3ect from topspin based on: [image001.jpg] To derive an instance of Wegdeel with the values mentione

RE: [topbraid-users] inference question

ages. Van: topbraid-users@googlegroups.com Namens dprice Verzonden: Thursday, June 11, 2020 6:31 PM Aan: topbraid-users@googlegroups.com Onderwerp: Re: [topbraid-users] inference question On 11 Jun 2020, at 16:26, 'Bohms, H.M. (Michel)' via TopBraid Suite Users mailto:topbraid-users@google

Re: [topbraid-users] inference question

Looking at these rule types in RL i might try subclass of in one direction only starting at the intersection. Will experiment Thx Op 11 jun. 2020 18:31 schreef dprice : On 11 Jun 2020, at 16:26, 'Bohms, H.M. (Michel)' via TopBraid Suite Users mailto:topbraid-users@googlegroups.com>>

Re: [topbraid-users] inference question

> On 11 Jun 2020, at 16:26, 'Bohms, H.M. (Michel)' via TopBraid Suite Users > wrote: > > Can I exp3ect from topspin based on: > > > > 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

RE: [topbraid-users] inference question

2019, 18:18 To: topbraid-users@googlegroups.com [topbraid-users@googlegroups.com] Subject: Re: [topbraid-users] inference question Look at the rules in table 5 in https://www.w3.org/TR/owl2-profiles/#OWL_2_RL To see implementation of these rules, open owlrl-all.ttl file and check out subclasses

Re: [topbraid-users] inference question

Look at the rules in table 5 in https://www.w3.org/TR/owl2-profiles/#OWL_2_RL To see implementation of these rules, open owlrl-all.ttl file and check out subclasses of spin:Templates. Their URIs align with rules in the above document e.g.,