Knowledge-Based Probabilistic Logic Learning