This content has been marked as final. Show 1 reply
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.