Mining expressive rules in knowledge graphs