From taxonomies to ontologies: formalizing generalization knowledge for on-demand mapping · Study