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

[Michael Smith]

On Mon, 2008-05-26 at 12:46 +0200, Paolo Bussotti wrote:

> I have a question, and I thank you in advance for your help.
> I'm working with a pellet-backed ontmodel but still using version
> Pellet 1.4;

> If I make preliminary classification/realization (when I load the
> ontology), make an ABox level change and call prepare on the ont
> model, apparently the classification/realization at the KnowledgeBase
> level is reset to false.

Yes, Pellet 1.4 did not support any type of incremental reasoning.

> So any call to methods about the taxonomy and the relation among
> individuals and types, which contain a classify(), method in thir
> body, take a very long time
> (in my large ABox) to execute, since a new taxonomy has to be rebuild.


>  Are there in Pellet 1.5 (which I have not yet used) possibilities to
> reuse the taxonomy and only change as it regards new individuals?   

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.

The incremental reasoning in 1.5.x is experimental.  We expect the
feature to be more mature in the 1.6 series.

-- 
Mike Smith

Clark & Parsia