[Pellet-users] Dynamic ABox: supporting user input

[Christian Halaschek-Wiener]

On Mar 29, 2007, at 8:51 AM, Hugo Ferreira wrote:

> 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.


Yes this is in progress. There is actually a prototype in a  
developement fork in the Pellet SVN which supports incremental  
consistency checking under ABox additions for SHIQ and SHIQ KBs.  
There is also an initial implementation to support ABox deletions,  
but the implementation is very preliminary and has not been  
thoroughly tested; so I would not suggest using deletions support  
just yet. One issue is that I'm not sure whether this development  
fork is publicly available or not. I will talk to Evren regarding an  
freely available version of this...so let me get back to you.


> Seeing as we do not have
> this is their any other way "emulate" this capability without actually
> having it?

Not that I am aware of.

>
> 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".

Well this would certainly reduce the number of consistency checks, as  
you would essentially batch process the updates; further this is  
quite related to techniques utilized in traditional database systems.  
However, as you say there will be trade-offs here. Currently, I'm not  
to sure of any other options.

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


Yes, quite a few, inlcuding myself in my work on logic-based  
syndication on the web, which has motivated my work on incremental  
reasoning. As for other solutions, I'm not really aware of any.

Anyway, the best thing is for us (Evren and I) to arrange for the  
inital prototype for incremental additions (beta status) and  
deletions (alpha status) to be publically available. Again, I will  
have to get back to you on this issue.


Regards,
Chris


-- 
Christian Halaschek-Wiener
PhD Candidate, Dept. of Computer Science
GRA, MINDSWAP Research Group,
University of Maryland, College Park
Web page: http://www.mindswap.org/~chris



-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20070329/128fb955/attachment.htm