DOI10.5281/zenodo.1213035Zenodo1213035MaRDI QIDQ6724486FDOQ6724486
Dataset published at Zenodo repository.
Floriano Scioscia, Ivano Bilenchi, E. Di Sciascio, Michele Ruta, Filippo Gramegna
Publication date: 5 April 2018
Copyright license: Creative Commons Attribution-ShareAlike 4.0 International
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.
This page was built for dataset: ALN Reasoner Evaluation Dataset
