Automated Reasoning on Discrete Placement of Street Names on City Map

According to principles of cartographic name placement on line objects,the name placement rules on city streets are deduced in this paper.And,a novel approach is presented to automatically convert the labels of the annotation layer into the name attributes of the associated spatial objects.The paper presents an automated reasoning strategy and mathematical algorithms on the discrete placement of street names.At last,these algorithms are realized on the Arc/Info platform,and a case study is given.