[xabush]

Thanks for the comment. Have you run cplint on a kb of the similar size before and gotten it to finish in reasonable time?

[riku_iki]

I never used cplint, but I use other software (including I built myself) to process KBs with many billions of facts.

[xabush]

Is the software open-source? If so, can you share a link to it?