Computing Rule-Based Explanations of Machine Learning Classifiers using Knowledge Graphs