[Pellet-users] Fw: Consistency, Classifying, Realizing : Need some Help

[Paolo Bussotti]

Hi everybody, 
I resend this mail because I didn't receive any reply. Of course It may depend on correct mail delivery as well as your time availability and certainly also on the relevance of the questions I posed for the mailing-list, which maybe was not too high. However, when you can, please give me an acknowledgement.
Best Regards, 
Paolo Bussotti   
----- Original Message ----- 
From: Paolo Bussotti 
To: pellet-users at lists.owldl.com 
Sent: Monday, May 12, 2008 11:44 AM
Subject: Consistency, Classifying, Realizing : Need some Help


Hi everybody,
Excuse me for my previous mails which, maybe, are a little bit confusing.

What would like to know is this:
I work on a pellet-backed jena ontmodel and try to make the underlying Pellet ABox dynamic.
Whenever I make a new assertion I prepare the OntModel (or equivalently the PelletInfGraph) and therefore load the new contents to the Pellet KB.
Then I explicitly call kb.isConsistent and treat the new assertions dependently.
I call explicitly classify() and and realize() at the very beginning of the session (when I load the ontology), but I dont make any explicit call to these
methods after assertions, becouse instrumental queries of the kind getTypes() already call for them inside their bodies.
I would like to know:
1) Is isConsistent() correct if I only use model.prepare()  without classifying/realizing the updated KB? I think so from the source code (in these methods there is a consistencyEnsure() at the very start), but please confim it.
2) Is it a correct practice to avoid direcly calling classify/realize and instead to let these method be performed by query methods?
3) Does it work the same also for SPARQL queries?
4) In the faq about concurrency on Pellet you advice to use PelletInfGraph.classify() before any query, which includes calling kb.prepare() and kb.classify() -if I  remember correctly). If I use some external java synchronisation construct (a mutex) can I avoid to explicitly call fot classify and only using model.prepare() or PelletInfGraph.prepare() , which should call for kb.prepare as well, being my purpose just to check consistency of new assertions and querying the Kb by letting classification calls to be called inside the query method.
5) Why I always obtain isClassyfied=false (direcly asking the kb) after some query that, apparently, do classification or realization ? or is it a form of classification/realization which, after the assertion and the query does not set to true the classification flag?

Excuse for my reiterate questions but I really need some help understanding these issues.
Best Regards (and many thanks in advance) 
Paolo Bussotti 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20080521/87dbd722/attachment.htm