OWL Reasoner Collection for Evaluation

From MaRDI portal



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



Description

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=OWL_Reasoner_Collection_for_Evaluation&oldid=54866042"
Powered by MediaWiki