Look at the rules in table 5 in https://www.w3.org/TR/owl2-profiles/#OWL_2_RL <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:prp-inv1 To run inferencing, you need to include this file with rules and then use Inference>Run Inferencing. > On May 8, 2019, at 11:27 AM, 'Bohms, H.M. (Michel)' via TopBraid Suite Users > <topbraid-users@googlegroups.com> wrote: > > > 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:Event > bs:Activity > bs:Spatialregion > bs:PeriodInTime > ) ; > ] ; > owl:inverseOf bs:isDescribedBy ; > . > > > I do not see domain and range infereed currently for isDescribedBy.... > > > Dr. ir. H.M. (Michel) Böhms > Senior Data Scientist > > T +31888663107 > M +31630381220 > E michel.bo...@tno.nl <mailto:michel.bo...@tno.nl> > 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. > > > > > > -- > 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 topbraid-users+unsubscr...@googlegroups.com > <mailto:topbraid-users+unsubscr...@googlegroups.com>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/topbraid-users/4fdc2728d39542b1b94f55e69e7f62b4%40tno.nl > > <https://groups.google.com/d/msgid/topbraid-users/4fdc2728d39542b1b94f55e69e7f62b4%40tno.nl?utm_medium=email&utm_source=footer>. > For more options, visit https://groups.google.com/d/optout > <https://groups.google.com/d/optout>. -- 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 topbraid-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/CB138405-1E5D-4189-A23A-EBBF163D769D%40topquadrant.com. For more options, visit https://groups.google.com/d/optout.
