Crash when exporting inferred axioms

[Dmitry Tsarkov]

Original [issue 36](https://code.google.com/p/factplusplus/issues/detail?id=36) created by dtsarkov on 2011-06-15T16:12:50.000Z:

<b>What steps will reproduce the problem?</b> 1. Load the attached OWL ontology into Protege. 2. Select FaCT++ as reasoner and run reasoner. 3. Select File &gt; Export inferred axioms as ontology, save new ontology.

<b>What is the expected output? What do you see instead?</b> Expect to see ontology saved with inferred axioms. Instead Protege crashes, reporting an error within FaCT++.

<b>What version of the product are you using? On what operating system?</b> Protege 4.1, FaCT++ plugin 1.5.2.

<b>Please provide any additional information below.</b> The crash seems to occur only when &quot;object property characteristics&quot; or &quot;property assertions&quot; are checked in the inferred axioms output selection. An exception occurs if &quot;data property characteristics&quot; only is checked.

[Dmitry Tsarkov]

Fixed in 1.6.4