Axiomatizing WordNet Glosses in the OntoWordNet Project