[Pellet-users] reasoner refresh and ontology changes

[Michael Smith]

On Thu, 2008-06-26 at 11:47 +0200, robocop wrote:

> I want to know if Pellet (with OWLAPI) "knows" the changes made onto the
> ontology, i.e. if I create a class complement of a class description,
> and I add this new class to the ontology, then the reasoner
> automatically can do inference on that new class or I have to
> refresh/reload the ontology loaded by the reasoner?

Pellet (as an owlapi OWLReasoner) will "know" about the changes only if
it is added to the OWLOntologyManager as an OntologyChangeListener,
otherwise a call to refresh is necessary.

The IncrementalConsistencyExample example in the distribution has code
that demonstrates adding the reasoner as a change listener.

-- 
Mike Smith

Clark & Parsia