I had a similar problem,Which I successfully solved by add a rule "rule x:[?a owl:equivalentClass ?b]->[?b owl:equivalentClass ?a]"
Louise From: Kamalraj Jairam Date: 2015-01-08 14:30 To: [email protected] Subject: 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
