koncludeeval/abqa repository overview

Image for evaluating the absorption-based query entailment checking / 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/3266160⁠. It first executes the query answering evaluation of the PAGOdA ontologies and queries for Konclude, Pellet, PAGOdA, and OWL BGP. Subsequently, the query entailment checking queries are tested for these reasoners. Then 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⁠).

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/abqa

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