Having problem to use Fact++ 1.5.2 with OWLAPI 3.2

[GoogleCodeExporter]

Hi,
I was trying to create a reasoner factory using java (J2SE 1.5), but I am 
getting Null pointer exception in following line:
OWLReasonerFactory reasonerFactory = new 
FaCTPlusPlusFactory().getReasonerFactory();

The full source code is:
OWLOntologyManager manager = OWLManager.createOWLOntologyManager();
IRI docIRI = IRI.create(new File(modelPath).toURI());
OWLOntology ont = manager.loadOntology(docIRI);
Here getting null pointer exception-->OWLReasonerFactory reasonerFactory = new 
FaCTPlusPlusFactory().getReasonerFactory();
OWLReasoner reasoner = reasonerFactory.createReasoner(ont);
boolean consistent = reasoner.isConsistent();
....

Could anyone please answer this? Note that there is no problem with ontology 
and i am able to use that with other reasoners.

Product version: Fact++ 1.5.2, OWLAPI 3.2, OS: WinXP

with thanks
Titu

Original issue reported on code.google.com by akabi...@gmail.com on 8 Aug 2011 at 11:33

[GoogleCodeExporter]

Hi,

the call getReasonerFactory() is unnecessary. You should just write

OWLReasonerFactory reasonerFactory = new FaCTPlusPlusReasonerFactory()

Best,
Dmitry

Original comment by dmitry.t...@gmail.com on 9 Aug 2011 at 1:40

• Changed state: Invalid

[GoogleCodeExporter]

Hi Dmitry,
Thank you so much for your reply.
Now its working fine...

Original comment by akabi...@gmail.com on 10 Aug 2011 at 12:47