RuDiK: Rule discovery in knowledge bases