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