Incremental reasoning and ABox

[cbobed]

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

[Dmitry Tsarkov]

Hi Carlos,

Could you please provide a (possibly small) testcase so I can check this?

[cbobed]

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?

[cbobed]

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

[Dmitry Tsarkov]

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.

[cbobed]

Which email should I send you the code to?

Cheers,

[Dmitry Tsarkov]

Please use [e-mail].

Best, Dmitry.