1 Reply Latest reply: Sep 23, 2011 11:32 AM by alwu-Oracle RSS

    rdfs:range and inference

    24743
      Hi

      If we have "p rdfs:range aClass" OWLPrime does not seem to infer that p is a property. Therefore p has to be defined explicitly as a property before using it in a SEM_MATCH query. Is that how OWLPrime should work?

      Regards Christian

      Edited by: chrd00 on Sep 23, 2011 4:25 AM
        • 1. Re: rdfs:range and inference
          alwu-Oracle
          Hi Christian,

          It is a good idea to explicitly type your properties. In this case, p could be an owl object property, datatype property, annotation property, rdf:property etc.

          RDFSAXIOMS component does include the following RDFS axiomatic triple.

          rdfs:range rdfs:domain rdf:Property .

          If you do want to see p type rdf:Property then you can include component RDFSAXIOMS on top of OWLPRIME with your create_entailment call.

          Alternatively, you can simply insert the above axiomatic triple into your graph and inference engine will take care of the rest.

          Thanks,

          Zhe Wu