OWL Reasoner Collection for Evaluation

<p>Set of reasoners and auxiliary scripts for use with the evaluation benchmarking framework at <a href="https://github.com/sisinflab-swot/owl-reasoner-test-framework">https://github.com/sisinflab-swot/owl-reasoner-test-framework</a>. It includes:</p> <ul> <li> <p><a href="https://bitbucket.org/dtsarkov/factplusplus">Fact++</a> (version 1.6.5);</p> </li> <li> <p><a href="http://www.hermit-reasoner.com/">HermiT</a> (version 1.3.8);</p> </li> <li> <p><a href="http://derivo.de/en/products/konclude/">Konclude</a> (version 0.6.2-544);</p> </li> <li> <p><a href="http://trowl.org/">TrOWL</a> (version 1.5);</p> </li> <li> <p><a href="http://sisinflab.poliba.it/swottools/minime/">Mini-ME Java</a> (version 2.0);</p> </li> <li> <p><a href="http://sisinflab.poliba.it/swottools/minime-swift/">Mini-ME Swift</a> (version 1.0).</p> </li> </ul>