A framework for automatic schema mapping verification through reasoning | IEEE Conference Publication | IEEE Xplore