What steps will reproduce the problem? 1. Call FaCT++ from a Java code via OWL API 2. Load the ontology from http://www.berkeleybop.org/ontologies/obo-all/chebi/chebi.owl 3. Check consistency of the ontology

What is the expected output? What do you see instead? A segmentation fault error occurs.

What version of the product are you using? On what operating system? FaCT++ 1.6.1 on 64bit Linux

Please provide any additional information below. Java 1.6 was allocated 4GB of heap space. The error occurred soon after reasoning started.