Topo-Semantic Constraints Checking. - Li Xiang; Kalum Priyanath Udagepola; Chaoguang Men; Stephen Lovatt (ISPA, 2008)