Tuffy: A Scalable Markov Logic Inference Engine · HackerTrans