Hello Dave and everyone I have run into one more issue
I have a class “A” and “B” in my ontology for which i have added an equivalent class from “Schema.org<http://Schema.org>” and “DBPedia” ontologies (This is to provide external context). Now when i run the reasoner to inter data against my ontology (using OWLMINI or OWLMICRO”), takes a very long time to produce results. So, i started using Pellet to reason my ontologies, but pellet doesn’t reason unless i put ontology and the data in the same model . 1) How can i improve the speed of OWLMINI and OWLMICRO to reason DBPEDIA and Schema.org<http://Schema.org> 2) Why wouldn’t the following statement work for Pellet ? Reasoner reasoner = ontModelSpec.getReasoner(); Reasoner boundReasoner = reasoner.bindSchema(ontModel); infModel = ModelFactory.createInfModel(boundReasoner, model); my infidel does not have inferred statements if i use pellet Thanks Kamalraj On 8 Jan 2015, at 9:44 pm, Dave Reynolds <[email protected]<mailto:[email protected]>> wrote: On 08/01/15 10:35, Kamalraj Jairam wrote: Hi Dave, Your solution worked. I thought the transitive reasoner handled more axioms than Micro_Rule. No, as it says in the docs the transitive reasoner is very minimal it is mostly there as a building block for the more useful reasoners: https://jena.apache.org/documentation/inference/index.html#transitive Are there any documentation in the Jena site which shows what entailment does each of these Jena reinsures handle? Yes, the coverage of the different OWL options outlined in: https://jena.apache.org/documentation/inference/index.html#OWLcoverage Dave
