[Pellet-users] Some Doubts...

[Fernando Wagner]

Hello friends..

My name is Fernando and i´m a new Pellet´s user... I did a download from
pellet to include in my JENA project... i put all Pellet´s jar file in the
classpath of application, and i wanna make a method that checks an ontology
consistency... for this, my method receive an OntModel "m" in the parameter,
and inside the method, i use something like have in
IncrementalConsistencyExample.java

//OntModel m = ModelFactory.createOntologyModel(
PelletReasonerFactory.THE_SPEC);
//m.read(new FileInputStream(dirOWL.getText()),"");
//dirOWL is the directory of ontology

public boolean ChecarConsistenciaPellet(OntModel m)
    {
        PelletOptions.USE_COMPLETION_QUEUE = true;
        PelletOptions.USE_INCREMENTAL_CONSISTENCY = true;
        PelletOptions.USE_SMART_RESTORE = false;
        PelletOptions.USE_TRACING = true;

        OWLReasoner OReasoner = new OWLReasoner();
        OReasoner.load(m);
        KnowledgeBase kb = OReasoner.getKB();
        return kb.isConsistent();
   }

I call this method for an inconsistent ontology and this method return
TRUE(Wrong Answer)... but when i use pellet server(on port 8081) with
PROTEGE to check the consistency of the same ontology, the result return
that have an inconsistency(Right Answer).. what did i do wrong???

thanks for the attention....
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20080312/a20fc659/attachment.htm