Ivan Meza-Ruiz * Sebastian Riedel † ‡ Markov Logic (ML, Richardson and Domingos, 2006) is a Statistical Relational Learning language based on First Order Logic and Markov Networks.
a more detailed description of the formulae can be found in our MLN model files.