Description logics and correspondence refinement process in databases interoperability's service | IEEE Conference Publication | IEEE Xplore