Reasoner fails when reasoning with Vaccine Ontology

[Former user]

We have been using Fact a lot in a project in Medical Informatics. Recently, we needed to import the Vaccine Ontology. If we try to classify it using Fact++ 1.6.5 (and older), the whole software just dies. This can be easily reproduced by opening the VO in Protege and running Fact 1.6.5.

http://www.violinet.org/vaccineontology/vo_download.php

All best! Nico (Hey Dima!)

[nico2085]

That issue was submitted by me.

[Dmitry Tsarkov]

Hi Nico!

I'll have a look (not right now, as I'm on holidays). In the meantime, could you please send me a backtrace/logs of the failure?

[nico2085]

The Protege crash log (I hope)