Swift Markov Logic for Probabilistic Reasoning on Knowledge Graphs