Published April 5, 2018 | Version 2018.04.05

ALN Reasoner Evaluation Dataset

Description

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.

Files

Files (150.7 MB)

Name Size Download all
md5:2c07428d17c2ed2b5d8000bfb53f3b0a
150.7 MB Download