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
Original issue reported on code.google.com by apet...@b2international.com on 7 Mar 2013 at 1:56
Original issue reported on code.google.com by
apet...@b2international.comon 7 Mar 2013 at 1:56Attachments: