inference question

[Bohms, H.M. (Michel)]

 

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...@tno.nl Location   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.

 

 

[Irene Polikoff]

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.

<image001.gif>

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-user...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/4fdc2728d39542b1b94f55e69e7f62b4%40tno.nl.
For more options, visit https://groups.google.com/d/optout.

[Bohms, H.M. (Michel)]

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)

To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/CB138405-1E5D-4189-A23A-EBBF163D769D%40topquadrant.com.