A Justification-based Semantic Framework for Representing, Evaluating and Utilizing Terminology Mappings