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:
<b>What steps will reproduce the problem?</b> 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++)
<b>What is the expected output? What do you see instead?</b>
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)
<b>What version of the product are you using? On what operating system?</b>
Protege 4.1.0, build 203 FaCT++ 1.4.0 on Ubuntu 10.04 (lucid), Linux 2.6.32-23-generic
<b>Please provide any additional information below.</b>
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)
-
reporter -
reporter Comment [
#2](https://code.google.com/p/factplusplus/issues/detail?id=28#c2) originally posted by dtsarkov on 2010-07-06T18:22:48.000Z:Fixed in SVN rev.828
- Log in to comment
Comment [
#1](https://code.google.com/p/factplusplus/issues/detail?id=28#c1) originally posted by dtsarkov on 2010-07-05T17:45:35.000Z:Thanks, I can confirm the problem.