[Pellet-users] incremental reasoning

[Christian Halaschek-Wiener]

> I have some understanding question regarding incremental reasoning.  
> On the paper about incremental reasoning it is mentioned that this  
> feature supports only ABox.
> Which I'm not secure, whether this feature supports what I need or  
> not.

The paper you are referring to (I'm assuming [1]) presents an  
approach for incremental consistency checking for ABox additions and  
deletions for SHIQ and/or SHOQ KBs. Currently in Pellet, we have  
released a preliminary implementation of the technique for ABox  
addition updates.


>
> If I have 2 ontologies that I include in the reasoner. Firstable I  
> call this method reasoner.loadOntology(ontology1), the reasoner  
> will classify the ontology1.
> Than I add the second ontology using reasoner.loadOntology 
> (ontology2), the reasoner will classify again the ontology1 and the  
> ontology2. Am I right ?
> Actually ontology2 contains only a concept that I want to subsume  
> to ontology1. To perform the reasoner I think incremental reasoning  
> can keep the classification of ontology1 and just classify the  
> ontology2 in respect of ontology1. Can I do that ?
>

What you are referring to is a need for incremental classification  
and not consistency checking which is addressed in [1]. The  
classification tree will not be recomputed in Pellet if there is an  
ABox update that does not include nominals; otherwise, the  
classification trees will be recomputed from scratch. In your case,  
both ontologies will be reclassified when you load ontology2 (Evren  
or Mike - correct me if I'm wrong here).


Best,
Chris


References

[1] Christian Halaschek-Wiener, Bijan Parsia, and Evren Sirin.  
Description Logic Reasoning with Syntactic Updates, In the 5th  
International Conference on Ontologies, Databases, and Applications  
of Semantics (ODBase2006), 2006.


-- 
Christian Halaschek-Wiener
PhD Candidate, Dept. of Computer Science
GRA, MINDSWAP Research Group,
University of Maryland, College Park
Web page: http://www.mindswap.org/~chris




-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20070619/0f9e442e/attachment.htm