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

[GoogleCodeExporter]

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.

Original issue reported on code.google.com by kuhntob...@gmail.com on 5 Jul 2010 at 1:33

Attachments:

• geo.problem.owl

[GoogleCodeExporter]

Thanks, I can confirm the problem. 

Original comment by dmitry.t...@gmail.com on 5 Jul 2010 at 5:45

• Added labels: Priority-High
• Removed labels: Priority-Medium

[GoogleCodeExporter]

Fixed in SVN rev.828

Original comment by dmitry.t...@gmail.com on 6 Jul 2010 at 6:22

• Changed state: Fixed