On 08/01/15 06:30, Kamalraj Jairam wrote:
Hello All, I have small problem with reasoning. I’m not sure whether i’m doing the right thing In My ontology i have following statements A rdf:type owl:Class B rdf:type owl:Class A owl:equivalentClass B in My ref data i have following statements A1 rdf:type A When i run the reasoner, the inference model should have additional statement A1 rdf:type B the inference model seems to have just the first statement the inferred statement seems to be missing Where am i going wrong. This is my code OntModelSpec ontModelSpec = OntModelSpec.OWL_DL_MEM_TRANS_INF;
The is just the transitive reasoner. You need an OWL reasoner if you want OWL inferences. A good default is to use: OWL_MEM_MICRO_RULE_INF
Dave
