Semantic Integration “Axiomatizing WordNet: A Hybrid Methodology