ArThUR: A Tool for Markov Logic Network. - Axel Bodart; Keyvin Evrard; James Jerson Ortiz; Pierre-Yves Schobbens (OTM Workshops, 2014)