Parallelised ABox Reasoning and Query Answering with Expressive Description Logics : Evaluation Data

Sources (Sources.zip), evaluation data (Evaluation.zip) with all ontologies and queries, as well as the evaluation results (Results.zip) of the publication "Parallelised ABox Reasoning and Query Answering for Expressive Description Logics" from the 18th Extended Semantic Web Conference (ESWC), June 6-10, 2021, Auckland, New Zealand. For easily reproducing the evaluation, you can also use the Docker image koncludeeval/parqa (available at https://hub.docker.com/r/koncludeeval/parqa). See also readme files in the archive files for more details. We also maintain a GitLab repository (https://gitlab.com/koncludeeval/parqa) that contains the data/framework for reproducing the evaluation and may be updated in order to improve improve the documentation and usability.

You may only use/share/etc. the included reasoners/ontologies as restricted by their licences (see Sources.zip). In particular, Konclude and OWL BGP are available under the LGPLv3 (https://www.gnu.org/licenses/lgpl-3.0.en.html), Pellet under the AGPLv3 (https://www.gnu.org/licenses/agpl-3.0.en.html), and PAGOdA under an Academic Licence (http://www.cs.ox.ac.uk/isg/tools/PAGOdA/PAGOdA_Academic_Licence.txt). Also note that some ontologies are released under specific licences (see their folders in the Evaluation.zip). In particular, ChEMBL (https://www.ebi.ac.uk/chembl/) under CC BY-SA 3.0 and Reactome (https://reactome.org/) as well as UniProt  under CC BY 4.0.