Optimization of Alchemy-2 package for Markov Logic Networks