Markov Logic Network