A cooperative environment for the negotiation of term taxonomies in digital libraries