Semantic Compression Of Knowledge Bases Via Efficient Top-Down Mining Of First-Order Logic Rules