[Pellet-users] issue in KnowledgeBase copy -- new abox points to old kb

[Aditya Kalyanpur]

Hi,

There is an issue in the copy method of the KnowledgeBase when called
with emptyABox = false. The abox of the new KB is created as follows:

abox = kb.abox.copy();

but here the new abox still has a pointer to the old kb instead of the new one.

One way to fix this is to create a setKB(KnowledgeBase) method in Abox
and call it immediately after the line above:

abox.setKB(this);

This way the Abox and kb objects are always in sync when copies are created.

Is it possible to fix this in the release?

Thanks,
Aditya