A formal model of data integration approach based on semantic dataweb | IEEE Conference Publication | IEEE Xplore