Rule Induction in Knowledge Graphs Using Linear Programming - View it on GitHub