Having problem to use Fact++ 1.5.2 with OWLAPI 3.2
Original [issue 37](https://code.google.com/p/factplusplus/issues/detail?id=37) created by dtsarkov on 2011-08-08T23:33:09.000Z:
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
Comments (2)
-
reporter -
reporter Comment [
#2](https://code.google.com/p/factplusplus/issues/detail?id=37#c2) originally posted by dtsarkov on 2011-08-10T00:47:19.000Z:Hi Dmitry, Thank you so much for your reply. Now its working fine...
- Log in to comment
Comment [
#1](https://code.google.com/p/factplusplus/issues/detail?id=37#c1) originally posted by dtsarkov on 2011-08-09T13:40:35.000Z:Hi,
the call getReasonerFactory() is unnecessary. You should just write
OWLReasonerFactory reasonerFactory = new FaCTPlusPlusReasonerFactory()
Best, Dmitry