[Pellet-users] Fw: Pellet inferred statements and BaseModel

[Paolo Bussotti]

Excuse me for this resend, but I'm having some problems with the e-mail server and I guess my message has not arrived.
Best Regards 
Paolo Bussotti

----- Original Message ----- 
From: Paolo Bussotti 
To: pellet-users at lists.owldl.com 
Sent: Thursday, July 24, 2008 10:44 AM
Subject: [Pellet-users] Pellet inferred statements and BaseModel


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?      


--------------------------------------------------------------------------------


_______________________________________________
Pellet-users mailing list
Pellet-users at lists.owldl.com
http://lists.owldl.com/mailman/listinfo/pellet-users
_______________________________________________

Sponsored by Clark & Parsia, LLC http://clarkparsia.com/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20080725/bf042061/attachment.htm