OWL Reasoner Collection for Evaluation

From MaRDI portal



DOI10.5281/zenodo.1213080Zenodo1213080MaRDI QIDQ6724487

Dataset published at Zenodo repository.

Author name not available (Why is that?)

Publication date: 5 April 2018

Copyright license: No records found.



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://mardi.schubotz.org/w/index.php?title=OWL_Reasoner_Collection_for_Evaluation&oldid=44852296"
Powered by MediaWiki