Conflict Resolution in the Collaborative Design of Terminological Knowledge Bases