Inferencing

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;

ontModelSpec.setReasoner(getReasonerType(reasonerName));

OntModel ontModel = ModelFactory.createOntologyModel(ontModelSpec, namedSchema);
Reasoner reasoner = getReasonerType(reasonerName);
Reasoner boundReasoner = reasoner.bindSchema(ontModel);
infModel = ModelFactory.createInfModel(boundReasoner, model);

Thanks
Kamalraj