The Formal Representation of Semantic on Stratum Attribute Data Oriented 3D Geo-Modeling | IEEE Conference Publication | IEEE Xplore