FaCTPlusPlusException: Reasoner.h:671: assertion 'unreachable' fails

Original [issue 28](https://code.google.com/p/factplusplus/issues/detail?id=28) created by dtsarkov on 2010-07-05T13:33:53.000Z:

What steps will reproduce the problem? 1. Starting Protege 4.1.0 with FaCT++ reasoner plugin installed 2. Loading the attached ontology geo.problem.owl 3. Running the FaCT++ reasoner (Reasoner > FaCT++)

What is the expected output? What do you see instead?

The ontology should be classified by the reasoner, but instead the following exception is shown:

uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException: Reasoner.h:671: assertion 'unreachable' fails at uk.ac.manchester.cs.factplusplus.FaCTPlusPlus.realise(Native Method) at uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner.prepareReasoner(Unknown Source) at org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$ClassificationRunner.run(OWLReasonerManagerImpl.java:265) at java.lang.Thread.run(Thread.java:636) Error logged uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException: Reasoner.h:671: assertion 'unreachable' fails at uk.ac.manchester.cs.factplusplus.FaCTPlusPlus.realise(Native Method) at uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner.prepareReasoner(Unknown Source) at org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$ClassificationRunner.run(OWLReasonerManagerImpl.java:265) at java.lang.Thread.run(Thread.java:636)

What version of the product are you using? On what operating system?

Protege 4.1.0, build 203 FaCT++ 1.4.0 on Ubuntu 10.04 (lucid), Linux 2.6.32-23-generic

Please provide any additional information below.

HermiT and Pellet have no problem to load this ontology. The attached ontology is a part of a larger ontology, with which I encountered the problem in the first place. When more axioms are removed, the problem disappears.

Comments (2)