koncludeeval/parqa repository overview

Image for evaluating the parallelized ABox reasoning and query answering approach implemented in the reasoning system Konclude (http://konclude.com⁠). This image is created from the Dockerfile in the Docker folder in the Evaluation.zip archive from https://zenodo.org/record/4606566⁠. It executes the query answering evaluation for the PAGOdA ontologies and queries for different versions of Konclude (i.e., with different number of threads) and for PAGOdA. Subsequently, the results are analysed and a webserver is started (on the internal port 8888) that exposes the result analyses.

Licence:

You may only use/share/etc. the included reasoners/ontologies as restricted by their licences (see Sources.zip from https://zenodo.org/record/3266160⁠). 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.

Usage example:

docker run -p 8888:8888 --rm -v /path/to/save/result/Analyses:/data/Evaluation/Analyses -v /path/to/save/result/Responses:/data/Evaluation/Responses koncludeeval/parqa

For more details, see the readme files in the archives from https://zenodo.org/record/4606566⁠.