Computing Taxonomies