Can I have a progress bar for Hermit?

[Ehsan Majidi]

Hi,
I am using Hermit for reasoning and I want to add a progress bar for the reasonin. In Owl Api there is a class for that which can be fed into the reasoner and then get the progress bar printed in the console:

       ConsoleProgressMonitor progressMonitor = new ConsoleProgressMonitor();  

OWLReasonerConfiguration config = new SimpleConfiguration(

progressMonitor);
       OWLReasoner reasoner = reasonerFactory.createReasoner(ont, config);

But I need to use Hermit configuration to set:

       Configuration config = new Configuration();
       config.ignoreUnsupportedDatatypes=true;

so, I don't know how to get the progress bar in to the reasoner if I use this:

       Configuration config = new Configuration();
       config.ignoreUnsupportedDatatypes=true;
       OWLReasoner reasoner = reasonerFactory.createReasoner(ont, config);

Appreciate any help!

[Ignazio Palmisano]

Hi,

the Configuration object has a public field to hold a ReasonerProgressMonitor, called reasonerProgressMonitor. You can assign your desired monitor to that field, and it will be picked up by the reasoner, same as the progress monitor in a conventional OWLReasonerConfiguration instance.

HTH,

I.

 

Appreciate any help!

--
You received this message because you are subscribed to the Google Groups "HermiT Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to hermit-users+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.