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

What is the expected output? What do you see instead? 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) [...]

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

Please provide any additional information below. 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