OWL Reasoner Evaluation Results

From MaRDI portal
(Redirected from Dataset:6724511)



DOI10.5281/zenodo.5013799Zenodo5013799MaRDI QIDQ6724511FDOQ6724511

Dataset published at Zenodo repository.

Ivano Bilenchi, Filippo Gramegna, Michele Ruta, Davide Loconte, Floriano Scioscia, E. Di Sciascio

Publication date: 22 June 2021

Copyright license: Creative Commons Attribution 4.0 International



Correctness, performance and energy impact evaluationresults produced with evOWLuator for the following OWL reasoners:Fact++ (version 1.6.5);HermiT (version 1.3.8);JFact (version 1.2.1);Konclude (version0.6.2-544);Mini-ME (version 2.0);Mini-ME Swift (version 1.0);Pellet (version 2.3.1);TrOWL (version 1.5).Ontologies mentioned in the csv files are part of the ORE 2014 Reasoner Competition and BioPortal datasets.Publication: A multiplatform energy-aware OWL reasoner benchmarking framework







This page was built for dataset: OWL Reasoner Evaluation Results