Cannot save unregistered pointer in DLVertex::Save

[Dmitry Tsarkov]

Original issue 54 created by dtsarkov on 2013-03-07T13:56:17.000Z:

<b>What steps will reproduce the problem?</b> 1. Apply owlapi_saveload.patch to revision 1490 from SVN 2. Run ReasonerTest.java as a JUnit test

<b>What is the expected output? What do you see instead?</b> Expected: a complete reasoner state file is saved to disk Actual: the test case fails with an exception, a partial reasoner state file is saved (see attached reasoner.state)

org.semanticweb.owlapi.reasoner.ReasonerInternalException: Cannot save unregistered pointer at uk.ac.manchester.cs.factplusplus.FaCTPlusPlus.save(Native Method) at uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner.save(Unknown Source) at uk.ac.manchester.cs.owl.factplusplus.test.ReasonerTest.test(ReasonerTest.java:39) [...]

<b>What version of the product are you using? On what operating system?</b> 1.6.2, Windows 8

<b>Please provide any additional information below.</b> When adding a diagnostic Print(cout) call to DLVertex::Save, the following line is printed to the output:

[d(0/0),s(0/0),b(0/0),g(0/0),f(0/0)] primconcept( ) [= 1

[Dmitry Tsarkov]

Fixed starting from v1.6.3