[Pellet-users] Incremental Reasoning.

[Chris Halaschek]

Hi Alex,

Yes, these are ABox updates and it sounds like you need some form of
incremental reasoning support. Currently, in Pellet 1.5.2 there is an
experimental implementation of an incremental consistency checking
technique that can be used in the presence of ABox additions and
deletions (i.e., type assertions, property assertions, and
equality/inequality assertions). My suggestion would be to start with
that and see if it addresses your needs. You can use the Jena API to
use this feature and documentation of this can be found in
org.mindswap.pellet.examples.IncrementalConsistencyExample. Lastly, I
should point out that the current implementation is based on a
prototype I implemented during my dissertation work some time ago, and
unfortunately the prototype is not entirely stable (e.g., deletions
support is not as extensively tested). However, my understanding is
that this feature of Pellet will be more robust in subsequent
releases.

Cheers,
Chris

--
Christian Halaschek-Wiener, Ph.D.
Web page: http://www.mindswap.org/~chris


On Wed, 28 May 2008, Alex Pinheiro das Graças wrote:

> Hello,
>
> I am have a situation I have to work with a changing knowledge base. By now
> it will be added/deleted individual and properties ( ABox , right?). So I'd
> like what is better...
> work with incremental reasoning or Concurrency control?
>
> I am working with Jena. Can I use the Jena API or is better to use the
> pellet API to do concurrency control?
>
> -- 
> Alex Pinheiro das Graças
> UFES
> Vitória, Brasil
>