search

TaviTruman / factplusplus

Automatically exported from code.google.com/p/factplusplus
0 stars 0 forks source link

Segmentation fault #53

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
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.

Original issue reported on code.google.com by tru...@gmail.com on 23 Jan 2013 at 3:16