DOI10.5281/zenodo.1213080Zenodo1213080MaRDI QIDQ6724487FDOQ6724487
Dataset published at Zenodo repository.
Filippo Gramegna, Ivano Bilenchi, Michele Ruta, Floriano Scioscia, E. Di Sciascio
Publication date: 5 April 2018
Copyright license: Creative Commons Attribution 4.0 International
Set of reasoners and auxiliary scripts for use with the evaluation benchmarking framework at https://github.com/sisinflab-swot/owl-reasoner-test-framework. It includes: Fact++ (version 1.6.5); HermiT (version 1.3.8); Konclude (version 0.6.2-544); TrOWL (version 1.5); Mini-ME Java (version 2.0); Mini-ME Swift (version 1.0).
This page was built for dataset: OWL Reasoner Collection for Evaluation
