Evaluation image for the parallelized ABox reasoning and query answering approach of Konclude.