Re: Problem when use HermiT reasoner

Posted by Jiba on
URL: http://owlready.306.s1.nabble.com/Problem-when-use-HermiT-reasoner-tp580p584.html

Hello,

You should try to run the reasoner manually, as follows:

1) run it with Owlready with the keep_tmp_file = True parameter :

        sync_reasoner(keep_tmp_file = True)

With this option, Owlready will not remove the temporary file.

2) try to the run the reasoner manually in a terminal, using the command line shown by Python, something like:

        /Library/Java/JavaVirtualMachines/jdk1.8.0_131.jdk/Contents/Home/bin/java -Xmx2000M -cp /Users/fengbozheng/anaconda3/lib/python3.7/site-packages/owlready2/hermit:/Users/fengbozheng/anaconda3/lib/python3.7/site-packages/owlready2/hermit/HermiT.jar org.semanticweb.HermiT.cli.CommandLine -c -O -D -I file:////var/folders/70/z2jgs93x45zb_yrd6y3_4dth0000gv/T/tmpxry015f2

The exact name of temporary file will vary, of course.

You should get additional information in the terminal.

Best regards,
Jean-Baptiste Lamy
MCF HDR, Laboratoire LIMICS, Université Paris 13