[topbraid-users] inference question

What inference would derive domain and range for inverse properties? Ex: bs:describes a owl:ObjectProperty ; rdfs:domain bs:InformationObject ; rdfs:range [ a owl:Class ; owl:unionOf ( bs:PhysicalObject bs:InformationObject bs:State bs:Ev

[topbraid-users] inference question

Can I exp3ect from topspin based on: [cid:image001.jpg@01D64015.80B0CE50] To derive an instance of Wegdeel with the values mentioned? Thx Michel Dr. ir. H.M. (Michel) Böhms Senior Data Scientist T +31888663107 M +31630381220 E michel.bo...@tno.nl Location

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., owlrl:p

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 of

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

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>> wr

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-us

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 value

Re: [topbraid-users] inference question

ty 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: topbraid-users@googlegroups.com Namens > dprice > Verzonden: Th

RE: [topbraid-users] inference question

020 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@googlegroups.com>> wrote: Can I exp3ect from topspin based on: [image001.jpg]

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 | equivObjectInte

Re: [topbraid-users] inference question

Verzonden: 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

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

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

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

Re: [topbraid-users] inference question

/www.bim-connected.nl/> > KvK-nummer 76907279 > > +31 6 40 21 95 95 > miltos.gatz...@bim-connected.nl <mailto:miltos.gatz...@bim-connected.nl> > > > > > From: Bohms, H.M. (Michel) mailto:michel.bo...@tno.nl>> > Sent: Monday, June 15, 2020 4