“…The formalization of topological relations among spatial objects (such as interval‐based temporal logic—Allen, ; Masunaga, , point‐set topology—Chen, Li, Li, & Gold, ; Egenhofer & Franzosa, ; Egenhofer, Sharma, & Mark, , and region connection calculus (RCC)—Cohn, Bennett, Gooday, & Gotts, ; Cohn, Randell, & Cui, ; Gotts, Gooday, & Cohn, ; Jonsson & Drakengren, ; Randell & Cohn, ; Randell, Cui, & Cohn, ) has gained increasing attention in the last few decades. Research on formalizing topological relations based on point‐set topology has been conducted, and the 4‐intersection model (4IM) (Egenhofer & Franzosa, ), the 9‐intersection model (9IM) (Egenhofer & Herring, ), the Voronoi‐based 9‐intersection model (Chen, Li, Li, & Gold, ), the dimensionally extended 9‐intersection model (DE‐9IM) (Clementini, Felice, & Oosterom, ; Open GIS Consortium, ), the intersection and difference model (Deng, Cheng, Chen, & Li, ), the extended model expressed as 4 × 4 matrices (Liu & Shi, ), the 9+‐intersection model (Kurata, ), the uncertain intersection and difference model (Alboody, Sedes, & Inglada, ), the double straight line 4‐intersection model (Leng, Yang, & Chen, ), and the 27‐intersection model (Shen, Zhou, & Chen, ) have all been proposed. The intersection models and the extended models based on these have been widely studied.…”