Segmentation fault

[Dmitry Tsarkov]

Original issue 53 created by dtsarkov on 2013-01-23T15:16:16.000Z:

<b>What steps will reproduce the problem?</b> 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

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

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

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

[Dmitry Tsarkov]

Works for me with the latest FaCT++