[Pellet-users] Some Doubts...

[Fernando Wagner]

Hello again Friends...

About the doubt below, i did a test: the inconsistent class didn´t has
instances...so, i make an instance for this class and, only after that, the
method kb.insConsistent returned FALSE... Have any way to check only
TBox(concepts) consistency ??

And if i have 1000 class in my ontology, I have to make 1000
"test-instances" to check the consistency of these??

thanks..

2008/3/12, Fernando Wagner <fernando.wagner at gmail.com>:
>
> 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/20080313/cbf3ebf2/attachment.htm