Efficient Semantic Verification of Ontology Alignment | IEEE Conference Publication | IEEE Xplore