Aln Reasoner Evaluation Dataset
收藏数据链接：
官方服务：
资源简介：
Dataset for evaluation of Description Logics reasoners in the Attributive Language with unqualified Number restrictions (ALN). The dataset consists in two sections: a) for standard reasoning tasks, 1398 knowledge bases with expressivity up to ALN, extracted from the 2014 OWL Reasoner Evaluation Workshop competition dataset; b) for non-standard reasoning tasks, 4 knowledge bases, each with a different number of "request" and "resource" individuals.
提供机构：
Zenodo创建时间：
2018-04-05
