http://dbpedia.org/resource/Probabilistic_logic Probabilistic logic