This is the companion code for the the paper "Fast Computation of Explanations for Inconsistency in Large-Scale Knowledge Graphs" by Trung Kien Tran et al. The paper can be found here https://people.mpi-inf.mpg.de/~gadelrab/downloads/icheck/preprint_www2020_inconsistency_explanation.pdf. The code allows the users to reproduce and extend the results reported in the paper. Please cite the above paper when reporting, reproducing or extending the results.
This software is a research prototype, solely developed for and published as part of the above publication.
The code is under a careful clearing process and it will be released when the process is finished.
PROJECT-NAME is open-sourced under the AGPL-3.0 license. See the LICENSE file for details.