[Pellet-users] Taxonomy reuse for ABox updating from Jena

[Michael Smith]

On Tue, 2008-05-27 at 08:27 -0400, Michael Smith wrote:

> Yes, some incremental ABox reasoning is supported in the 1.5.x release
> series.  It is controlled by multiple configuration options, and its
> applicability is dependent on the expressivity of the KB and the type of
> changes being made (generally, additions are better than deletions). See
> [1] in the distribution for an example of its use.

Sorry, missed the reference

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

-- 
Mike Smith

Clark & Parsia