[Pellet-users] Pellet inferred statements and BaseModel

[Paolo Bussotti]

Hello everybody, 

I have a simple question which maybe can be trivial to you. However I hope you can give me an answer.
PS I apology for sending the same question in a previous mail, but I need to reformulate the questions more clearly.
   
I'm working with a pellet-backed ontModel and I have some basic doubts.
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, when required, by Pellet to the Base Model. In other terms does the basemodel only contain the loaded-ontology asserted contents and the possible programmatic user assertions, or may it host Pellet inferences? 

This is important to me since I update the OntModel by adding to it/removing from it some "updating models" which have been constructed asynchronously on non-inferential OntModels which are initially loaded with a copy of the basemodel of the pellet-backed ontModel. Of course I arranged the ontologies so that the directly loaded ontology (which imports all the other) is only devoted to user assertions to be held on the basemodel, for ABox-level updates.              

Besides:
(2) In case Pellet inference were not concretely asserted to the OntModel (an do not become part of its basemodel), as I guess from what I've tested, where are Pellet-inferred statements physically hold and managed by the Pellet reasoner? Can you indicate the name of this structure (if any)?
(3) Which is the difference from a basemodel and a rawmodel, with regards to the questions?      
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20080724/a69743f7/attachment.htm