Incremental reasoning and ABox
Hi,
I've tried to use the incremental reasoning mechanism, but when I assert new individuals, it complains about the DAG verification.
The message: DAG verification fail: size 774, expected 1741
is obtained after adding 1000 named individuals programatically.
I'm using Fact++ from the OWLAPI and I have the fpp-options.txt file in the same dir as the JNI .dll is. Is it a problem with the persistence mechanism?
Cheers,
Carlos
Comments (6)
-
repo owner -
reporter Hi Dimitry,
I am using Fact++ in buffered mode. Is the incremental mode activated by default when creating a nonBufferingReasoner through the OWLAPI?
may I send the code to you via email?
-
reporter Hi, I've tried both modes, Buffered and nonBuffered (in both cases through the OWLAPI) and it raises the same DAG verification problem.
Cheers, Carlos
-
repo owner It was an intention to use incremental reasoning in the nonBufferingReasoner. It has not been implemented in the end (mainly due to lack of testing infrastructure). I might get back to it, but I could not provide any ETA for it.
Please feel free to send me your code (and an ontology if possible) by e-mail.
-
reporter Which email should I send you the code to?
Cheers,
-
repo owner Please use tsarkov@cs.man.ac.uk.
Best, Dmitry.
- Log in to comment
Hi Carlos,
Could you please provide a (possibly small) testcase so I can check this?