Flexible Rule-based Inference Exploiting Taxonomies