Reasoning About Taxonomies