OWL Reasoner Evaluation Results
收藏Zenodo2020-07-30 更新2026-05-25 收录
下载链接：
https://zenodo.org/record/3473134
下载链接
链接失效反馈官方服务：
资源简介：
Correctness, performance and energy impact evaluation results produced with evOWLuator for the following OWL reasoners: Fact++ (version 1.6.5); HermiT (version 1.3.8); Konclude (version 0.6.2-544); Mini-ME (version 2.0); Mini-ME Swift (version 1.0); TrOWL (version 1.5). Ontologies mentioned in the csv files are part of the ORE 2014 Reasoner Competition Dataset.
本数据集收录了使用evOWLuator生成的针对下述OWL推理机（OWL reasoner）的正确性、性能与能耗影响评估结果：Fact++（版本1.6.5）、HermiT（版本1.3.8）、Konclude（版本0.6.2-544）、Mini-ME（版本2.0）、Mini-ME Swift（版本1.0）及TrOWL（版本1.5）。CSV文件中提及的本体（ontology）均属于ORE 2014推理机竞赛数据集（ORE 2014 Reasoner Competition Dataset）。
提供机构：
Zenodo创建时间：
2019-10-04
