[Pellet-users] Dynamic ABox: supporting user input

[Hugo Ferreira]

Hello,

I am aware that work on dynamic ABox in Pellet is being done. We were 
counting on this for the implementation of prototype so that we could 
(at least) allow users to insert instance data. Seeing as we do not have 
this is their any other way "emulate" this capability without actually 
having it?

In have been thinking about logging all data instance insertions and 
every once in a while reloading pallet with this information in order to 
check consistency. This is messy because we may have various users 
querying the system when this is being done.

Additionally replaying the transaction one at a time and checking these 
for inconsistency seems to be infeasible. Of course I could trye several 
strategies do ween out inconsistencies by grouping insertions but this 
seems to be a hopelessly convoluted "solution".

Has anyone such requirements (or similar one)? If so what solutions have 
been considered. Anyone actually have a solution (eve if temporary)?

TIA,
Hugo F.