[Pellet-users] OntModel, BaseModel and Pellet-inferred statements: how are they handled?

[Paolo Bussotti]

Hello everybody.
Just a simple question:  I use a pellet-backed OntModel, and I learned that the OntModel.BaseModel is the target of any assertion  to the OntModel.
I would like to know whether the Pellet inferred statements are also asserted to the BaseModel (other reasoners do this, as far as I know) or , in any case where are the inferred statements hold, and if they are instead only virtually part of the OntModel, and kept instead elsewhere by the reasoner classes. 
In facts, apart from rule engines (which is not the case of Pellet) I do not conceive inferred statements to be concretely asserted to the OntModel  (and therefore asserted to the BaseModel) because otherwise they could be removed  as well by users, only to be recomputed again at the following query.

Summarizing, can you please tell me (1) if Pellet-inferred statements actually or only virtually reside in the pellet-backed OntModel and in particular if they are asserted to the Base Model (I also consider the case of user assertions - which are targeted to the Base Model - and the consequently new Pellet drawn inferenceafter a query  - are they asserted/removed from the BaseModel ?) 
(2) If it is not the case, as I guess, where are Pellet-inferred statements physically hold and managed by the Pellet reasoner? 


Best regards 
Paolo Bussotti         
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20080723/447dbaba/attachment.htm