The transformation mechanism of semantic scale of geographical information and its formalization | IEEE Conference Publication | IEEE Xplore