Tuffy is an open-source Markov Logic Network inference engine. The original code is from: http://hazy.cs.wisc.edu/hazy/tuffy/