Exploiting Term, Predicate, and Feature Taxonomies in Propositionalization and Propositional Rule Learning