Thx Seems the inference hoped for is not in .... So...i have to define the domain an range of my inverse better explicitly?
Verzonden van mijn Android-telefoon via TouchDown (www.symantec.com) -----Original Message----- From: Irene Polikoff [ir...@topquadrant.com] Received: woensdag, 08 mei 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 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<mailto: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. -- 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/CB138405-1E5D-4189-A23A-EBBF163D769D%40topquadrant.com<https://groups.google.com/d/msgid/topbraid-users/CB138405-1E5D-4189-A23A-EBBF163D769D%40topquadrant.com?utm_medium=email&utm_source=footer>. For more options, visit 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/9cd5b75bdc7b45daad6f41f25712492b%40tno.nl. For more options, visit https://groups.google.com/d/optout.
