A small fork of Tuffy (http://hazy.cs.wisc.edu/hazy/tuffy), a markov logic inference engine, with additional algorithms for transfer learning.