Re: [OWLAPI-developer] How to invoke a reasoner in OWLAPI 3.0.0

[Matthew H. <mat...@cs...>]

Hi Qiu,

There are no publicly available versions of the reasoners that work  
with version 3.  Privately, I know the reasoner developers are working  
on porting their OWL API connections to version 3.  Hopefully, the API  
will be released in the next few weeks.

Cheers,

Matthew

On 27 Jul 2009, at 21:01, Qiu Ji wrote:

> Hi all,
>
> Currently, I am using OWLAPI 3.0.0. I would like to invoke a reasoner
> like Pellet or HermiT to do reasoning tasks (e.g. check consistency of
> an ontology). To do so, I use the following code to create a reasoner
> for HermiT:
>
> imports  
> org.semanticweb.owlapi.reasonerfactory.hermit.HermiTReasonerFactory
> ...
> OWLOntologyManager manager = OWLManager.createOWLOntologyManager();
> OWLReasonerFactory reasonerFactory = new HermiTReasonerFactory();
> ...
>
> To execute these code, I downloaded the latest version 0.9.3 of HermiT
> and imported it to my project. When I execute these code, I got the
> following errors:
>
> org.semanticweb.owlapi.reasonerfactory.OWLReasonerSetupException:  
> There
> was a problem setting up the reasoner (HermiT).  Please ensure that  
> you
> have the appropriate classes (jar files) are in your class path
> 	at
> org 
> .semanticweb 
> .owlapi 
> .reasonerfactory 
> .hermit.HermiTReasonerFactory.<init>(HermiTReasonerFactory.java:62)
> 	at test3.OWLReasoning.<init>(OWLReasoning.java:32)
> .....
> Caused by: java.lang.ClassNotFoundException:  
> org.semanticweb.HermiT.Reasoner
> 	at java.lang.ClassLoader.findClass(Unknown Source)
> .....
>
> Then I have a look at the source code of HermiT and found that it is
> not compatible with OWLAPI 3.0.0. For the latest version 2.0 RC7 of
> Pellet, there is the same problem. While for Fact++, I got the similar
> error message.
>
> May I ask:
> (1) Is this (see code above) the right way to invoke a reasoner in
> OWLAPI 3.0.0? Or there is another way?
>
> (2) If the latest version of Pellet or HermiT is indeed incompatible
> with OWLAPI 3.0.0, then how to do reasoning in OWLAPI 3.0.0?
>
> Thank you very much for your help in advance!
>
> Best regards,
>
> Qiu
>
>
>
>
> ------------------------------------------------------------------------------
> _______________________________________________
> Owlapi-developer mailing list
> Owl...@li...
> https://lists.sourceforge.net/lists/listinfo/owlapi-developer