Markov Logic door Pedro Domingos & Daniel Lowd