[Pellet-users] Incremental Reasoning.

[Michael Smith]

On Wed, 2008-05-28 at 12:58 -0300, Alex Pinheiro das Graças wrote:
> Yes, you're right Michael. So I will redo mu question
> I'd like to know is it is usable the incremental researching
> Based on what Chris said ( Thank you for explanation Chris) 
> I will build the application in this way
> Use incremental for add individual
> but for deletions I will redo the reasoning model.

This sounds like a reasonable approach.  Note that incremental reasoning
is configurable with and without deletion supported and that "redo" will
happen with the Jena interface.  I.e., if have initialized the
PelletOptions correctly (as in the example program [1]), your
application shouldn't need to consider incremental reasoning, it should
just see faster response times from the methods requiring reasoning.

> Pellet incremental reasoning is stable for adding, right?

We believe so and hope that if you discover otherwise you report back to
us.

Thanks,
-- 
Mike Smith

Clark & Parsia

[1] examples/org/mindswap/pellet/examples/IncrementalConsistencyExample.java