OWL reasoner evaluation results - mobile and edge

<p>Results of an evaluation campaign concerning OWL ontology classification on mobile and edge devices.</p> <p>Experiments were conducted using the evOWLuator framework.</p> <h2>Mobile</h2> <p><strong>Device:</strong> Samsung Galaxy Tab S6 Lite</p> <p><strong>Dataset:</strong> <a href="https://doi.org/10.5281/zenodo.10791">ORE 2014 competition corpus</a> (full dataset)</p> <p><strong>Reasoners:</strong></p> <ul> <li><a href="http://www.hermit-reasoner.com">HermiT</a> (v1.3.8)</li> <li><a href="https://github.com/stardog-union/pellet">Pellet</a> (v2.3.1)</li> <li><a href="https://jfact.sourceforge.net">JFact</a> (v1.2.1)</li> <li><a href="https://github.com/TrOWL/core">TrOWL</a> (v1.5)</li> <li><a href="https://github.com/liveontologies/elk-reasoner">ELK</a> (v0.4.3)</li> <li><a href="http://julianmendez.github.io/jcel">jcel</a> (v0.24.1)</li> </ul> <p><strong>Metrics</strong></p> <ul> <li>Correctness</li> <li>Parsing and reasoning time</li> <li>Peak memory usage</li> </ul> <h2>Edge</h2> <p><strong>Device:</strong> Raspberry Pi 4 Model B+</p> <p><strong>Dataset:</strong> <a href="https://doi.org/10.5281/zenodo.10791">ORE 2014 competition corpus</a> (subset)</p> <p><strong>Reasoners:</strong></p> <ul> <li><a href="https://www.derivo.de/products/konclude">Konclude</a> (v0.7.0)</li> <li><a href="https://github.com/TrOWL/core">TrOWL</a> (v1.5)</li> <li><a href="http://owl.cs.manchester.ac.uk/tools/fact">FaCT++</a> (v1.6.3.1)</li> </ul> <p><strong>Metrics:</strong></p> <ul> <li>Correctness</li> <li>Parsing and reasoning time</li> <li>Peak memory usage</li> <li>Energy usage (<a href="https://github.com/fenrus75/powertop">PowerTOP</a>)</li> <li>Energy usage (<a href="https://www.msoon.com/high-voltage-power-monitor">Monsoon High Voltage Power Monitor</a>)</li> </ul>