ALN Reasoner Evaluation Dataset
From MaRDI portal
DOI10.5281/zenodo.1213035Zenodo1213035MaRDI QIDQ6724486
Dataset published at Zenodo repository.
Author name not available (Why is that?)
Publication date: 5 April 2018
Copyright license: No records found.
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