A HOL-based framework for reasoning over knowledge graphs - View it on GitHub