Ontology matching and verification system using concept description translation | IEEE Conference Publication | IEEE Xplore