Having problem to use Fact++ 1.5.2 with OWLAPI 3.2

Issue #37 invalid
Dmitry Tsarkov repo owner created an issue

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)

  1. Log in to comment