# Application of Spatial Reasoning in Predicting Rainfall Situation for Two Disjoint Areas

Jian Li, Yanbo Huang, Rujing Yao, Yuanyuan Zhang

► To cite this version:

Jian Li, Yanbo Huang, Rujing Yao, Yuanyuan Zhang. Application of Spatial Reasoning in Predicting Rainfall Situation for Two Disjoint Areas. 9th International Conference on Computer and Computing Technologies in Agriculture (CCTA), Sep 2015, Beijing, China. pp.404-416, 10.1007/978-3-319-48354-2_40. hal-01614175

HAL Id: hal-01614175

https://inria.hal.science/hal-01614175

Submitted on 10 Oct 2017

HAL is a multi-disciplinary open access
archive for the deposit and dissemination of sci-
entific research documents, whether they are pub-
lished or not. The documents may come from
teaching and research institutions in France or
abroad, or from public or private research centers.

L'archive ouverte pluridisciplinaire HAL, est
destinée au dépôt et à la diffusion de documents
scientifiques de niveau recherche, publiés ou non,
émanant des établissements d'enseignement et de
recherche français ou étrangers, des laboratoires
publics ou privés.

<figure><img src="image_1.png" /></figure>

Distributed under a Creative Commons Attribution 4.0 International License
Application of Spatial Reasoning in Predicting Rainfall
Situation for Two Disjoint Areas

Jian Li ¹,*, Yanbo Huang ¹,ᵇ, Rujing Yao ¹ᶜ, Yuanyuan Zhang ¹,ᵈ

¹ College of Information Technology, Jilin Agricultural University, Changchun 130118,
China

ªliemperor@163.com, ᵇ945644996@qq.com, ᶜ562704227@qq.com ᵈ645012393@qq.com

**Abstract.** In this article, we extend the 9 - intersection matrix to 27 - intersection matrix on the basis of RCC8 relations, propose 27 - intersection model between two disjoint regions and a simple region. Giving the algorithm, 31 kinds of topological relations between two disjoint regions and a simple region by specific procedure, and give schematic diagrams of the 31 kinds of topological relations, verifying 31 kinds of topological relations are achievable. In order to further research the topological relations between two disjoint regions and a simple region, in this article we have completed the reasoning for topological relations between two disjoint regions and a simple region, and given the conceptual neighborhood graph. By comparison of related work, we can draw a conclusion that the 27 - intersection model is superior to the expressive power of the 8-intersection model. Through the representation model of topological relations established in this article, we can predict the rainfall situation on two areas, and give the probability of rainfall in different regions.

**Keywords:** topological relations, RCC8, simple region, intersection matrix, rainfall

# 1 Introduction

China is one of the most affected countries by tropical cyclones. In China, typhoon happens each year on an average of seven to eight, and China is a country that has most typhoons coming and most disasters with typhoon [1]. In the research of tropical cyclone, although some results have been made in prediction of tropical cyclone path, the predictions are still unsatisfactory for most exceptional path. At the same time, the edge of the region is not certain, all of these problems increase the difficulty in forecasting typhoon rainfall.

To establish a model that can adapt to the uncertainty of the typhoon area and improve the accuracy of typhoon rainfall warning, this article gave a new idea that forecasting typhoon rainfall is on the basis of spatial reasoning.

Spatial reasoning [2-4] is an important branch of artificial intelligence. It has become an interdisciplinary research topic involving disciplines, for example logic, algebra, topology and graph theory. Over the past three decades, the research on spatial
reasoning has been extremely active, which is one of the fundamental aspects in the fields of geographic information system[5], image databases [6,7] and CAD/CAM systems [8].

In this article, we specifically proposed a representation model between two disjoint regions and a simple region, this model is applied to predict the disaster-affected for two designated areas. This helps to improve the rainfall early warning and disaster assessment mechanism, has a guiding significance in the establishment of disaster prevention and early warning mechanisms to reduce disaster losses and casualties.

# 2 The Representations Model between Two Disjoint Regions and a Simple Region

## 2.1 9- intersection model

In 1991, Egenhofer et al. [8] constructed 4-intersection model, as follows gave 4 - intersection matrix, here A⁰ denotes the in-house of A and ∂A denotes the out-house of A. Then we can obtain 16 topological relations (contain the case that cannot exist in the real world):

$$ \begin{pmatrix} A^0 I & B^0 & A^0 I & \partial B \\ \partial A I & B^0 & \partial A I & \partial B \end{pmatrix} $$

Based on the 4-intersection model, the complement A⁻ of region A is regarded as the exterior of region A, we extended the 4- intersection matrix to 9- intersection matrix[9], as follows:

$$ \begin{pmatrix} A^0 I & B^0 & A^0 I & \partial B & A^0 I & B^- \\ \partial A I & B^0 & \partial A I & \partial B & \partial A I & B^- \\ A^- I & B^0 & A^- I & \partial B & A^- I & B^- \end{pmatrix} $$

When considering region in the real world, we obtain 8 kinds of relations corresponding to RCC8 relations[10]. RCC8 relations are disjoint; meet; overlap; coveredby; inside; equal; covers; contains, as shown in Fig. 1:
<figure><img src="image_2.png" /><figcaption>**Fig. 1** 9-intersection model and 8 kinds of topological relations</figcaption></figure>

## 2.2 The 27- intersection model between two disjoint regions and a simple region

Based on the definition of 9 - intersection model, we extend the 9 - intersection model, and get the 27- intersection model that can express the topological relations between two disjoint regions and a simple region.

### 2.2.1 The 27- intersection matrix between two disjoint regions and a simple region

Based on 9-intersection model, space region is divided into nine sections, as shown in Fig. 2:

<figure><img src="image_3.png" /><figcaption>**Fig. 2** 9 parts of the space is divided</figcaption></figure>
Similarly, three regions of A, B, C can divide the space into 27 parts, in other word,
we can get 27- intersection matrix, as follows:

$$
\begin{pmatrix}
A^0 I & B^0 I & C^0 & A^0 I & B^0 I & \partial C & A^0 I & B^0 I & C^0 \\
A^0 I & \partial B I & C^0 & A^0 I & \partial B I & \partial C & A^0 I & \partial B I & C^0 \\
A^0 I & B^{-} I & C^0 & A^0 I & B^{-} I & \partial C & A^0 I & B^{-} I & C^0 \\
\partial A I & B^0 I & C^0 & \partial A I & B^0 I & \partial C & \partial A I & B^0 I & C^0 \\
\partial A I & \partial B I & C^0 & \partial A I & \partial B I & \partial C & \partial A I & \partial B I & C^0 \\
\partial A I & B^{-} I & C^0 & \partial A I & B^{-} I & \partial C & \partial A I & B^{-} I & C^0 \\
A^{-} I & B^0 I & C^0 & A^{-} I & B^0 I & \partial C & A^{-} I & B^0 I & C^0 \\
A^{-} I & \partial B I & C^0 & A^{-} I & \partial B I & \partial C & A^{-} I & \partial B I & C^0 \\
A^{-} I & B^{-} I & C^0 & A^{-} I & B^{-} I & \partial C & A^{-} I & B^{-} I & C^0
\end{pmatrix}
$$

Denote $A_0 = A^0, A_1 = \partial A, A_2 = A^{-}$, Order $M_{ijk} = A_i I B_j I C_k, i,j,k = 0,1$ or $2$.

Then above 27- intersection matrix can be regarded as M.

$$
M = \begin{pmatrix}
M_{000} & M_{001} & M_{002} \\
M_{010} & M_{011} & M_{012} \\
M_{020} & M_{021} & M_{022} \\
M_{100} & M_{101} & M_{102} \\
M_{110} & M_{111} & M_{112} \\
M_{120} & M_{121} & M_{122} \\
M_{200} & M_{201} & M_{202} \\
M_{210} & M_{211} & M_{212} \\
M_{220} & M_{221} & M_{222}
\end{pmatrix}
$$

**Definition 1** For a simple region A, define $\epsilon(A) = \begin{cases} 1 & \text{A is not empty} \\ 0 & \text{A is empty} \end{cases}$. Then M is regarded as $M_e$.

$$
M_e = \begin{pmatrix}
\epsilon(M_{000}) & \epsilon(M_{001}) & \epsilon(M_{002}) \\
\epsilon(M_{010}) & \epsilon(M_{011}) & \epsilon(M_{012}) \\
\epsilon(M_{020}) & \epsilon(M_{021}) & \epsilon(M_{022}) \\
\epsilon(M_{100}) & \epsilon(M_{101}) & \epsilon(M_{102}) \\
\epsilon(M_{110}) & \epsilon(M_{111}) & \epsilon(M_{112}) \\
\epsilon(M_{120}) & \epsilon(M_{121}) & \epsilon(M_{122}) \\
\epsilon(M_{200}) & \epsilon(M_{201}) & \epsilon(M_{202}) \\
\epsilon(M_{210}) & \epsilon(M_{211}) & \epsilon(M_{212}) \\
\epsilon(M_{220}) & \epsilon(M_{221}) & \epsilon(M_{222})
\end{pmatrix}
$$

So we can represent the topological relations between two disjoint regions and a
simple region with a 0-1-matrix.
### 2.2.2 Properties of 27-intersection model between two disjoint regions and a simple region

**Definition 2** We define an operation “$\vee$” on the set $\{0, 1\}$, as shown in Table 1:

**Table 1. The operation on “$\vee$”**

<table><tr><td>$\vee$</td><td>0</td><td>1</td></tr><tr><td>0</td><td>0</td><td>1</td></tr><tr><td>1</td><td>1</td><td>1</td></tr></table>

**Definition 3** For any $m \times n$ 0-1 matrices $A = (a_{ij})_{m \times n}$ and $B = (b_{ij})_{m \times n}$, we define $A \vee B = (a_{ij} \vee b_{ij})_{m \times n}$.

According to the above definition, we can get $\varepsilon(AYB) = \varepsilon(A) \vee \varepsilon(B)$. Order RCC8 to $\Omega$, among

$$ \Omega = \begin{bmatrix} \begin{pmatrix} 0 & 0 & 1 \\ 0 & 0 & 1 \\ 1 & 1 & 1 \end{pmatrix} \begin{pmatrix} 0 & 0 & 1 \\ 0 & 1 & 1 \\ 1 & 1 & 1 \end{pmatrix} \begin{pmatrix} 1 & 1 & 1 \\ 1 & 1 & 1 \\ 1 & 1 & 1 \end{pmatrix} \begin{pmatrix} 1 & 0 & 0 \\ 1 & 1 & 0 \\ 1 & 1 & 1 \end{pmatrix} \\ \begin{pmatrix} 1 & 0 & 0 \\ 1 & 0 & 0 \\ 1 & 1 & 1 \end{pmatrix} \begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{pmatrix} \begin{pmatrix} 1 & 1 & 1 \\ 0 & 1 & 1 \\ 0 & 0 & 1 \end{pmatrix} \begin{pmatrix} 1 & 1 & 1 \\ 0 & 0 & 1 \\ 0 & 0 & 1 \end{pmatrix} \end{bmatrix} $$

For any two ordinary regions X and Y, the corresponding matrix of their topological relations must belong to the set $\Omega$, so we can get Theorem 1:

**Theorem 1** Two disjoint regions A, B and a simple region C corresponding topological relation between any two matrixes must satisfy the following three formulas:

$$ \left( \begin{array}{ccc} \bigvee_{s=0}^{2} \varepsilon(M_{00s}) & \bigvee_{s=0}^{2} \varepsilon(M_{01s}) & \bigvee_{s=0}^{2} \varepsilon(M_{02s}) \\ \bigvee_{s=0}^{2} \varepsilon(M_{10s}) & \bigvee_{s=0}^{2} \varepsilon(M_{11s}) & \bigvee_{s=0}^{2} \varepsilon(M_{12s}) \\ \bigvee_{s=0}^{2} \varepsilon(M_{20s}) & \bigvee_{s=0}^{2} \varepsilon(M_{21s}) & \bigvee_{s=0}^{2} \varepsilon(M_{22s}) \end{array} \right) = \begin{pmatrix} A^0 I & B^0 & A^0 I & \partial B & A^0 I & B^- \\ \partial A I & B^0 & \partial A I & \partial B & \partial A I & B^- \\ A^- I & B^0 & A^- I & \partial B & A^- I & B^- \end{pmatrix} \in \Omega, \quad (1) $$

$$ \text{Here} \quad \bigvee_{s=0}^{2} \varepsilon(M_{00s}) = \varepsilon(M_{000}) \vee \varepsilon(M_{001}) \vee \varepsilon(M_{002}) $$

$$ \left( \begin{array}{ccc} \bigvee_{s=0}^{2} \varepsilon(M_{0s0}) & \bigvee_{s=0}^{2} \varepsilon(M_{0s1}) & \bigvee_{s=0}^{2} \varepsilon(M_{0s2}) \\ \bigvee_{s=0}^{2} \varepsilon(M_{1s0}) & \bigvee_{s=0}^{2} \varepsilon(M_{1s1}) & \bigvee_{s=0}^{2} \varepsilon(M_{1s2}) \\ \bigvee_{s=0}^{2} \varepsilon(M_{2s0}) & \bigvee_{s=0}^{2} \varepsilon(M_{2s1}) & \bigvee_{s=0}^{2} \varepsilon(M_{2s2}) \end{array} \right) = \begin{pmatrix} A^0 I & C^0 & A^0 I & \partial C & A^0 I & C^- \\ \partial A I & C^0 & \partial A I & \partial C & \partial A I & C^- \\ A^- I & C^0 & A^- I & \partial C & A^- I & C^- \end{pmatrix} \in \Omega \quad (2) $$
$$ \left( \begin{array}{ccc} \bigvee_{s=0}^{2} \varepsilon(M_{s00}) & \bigvee_{s=0}^{2} \varepsilon(M_{s01}) & \bigvee_{s=0}^{2} \varepsilon(M_{s02}) \\ \bigvee_{s=0}^{2} \varepsilon(M_{s10}) & \bigvee_{s=0}^{2} \varepsilon(M_{s11}) & \bigvee_{s=0}^{2} \varepsilon(M_{s12}) \\ \bigvee_{s=0}^{2} \varepsilon(M_{s20}) & \bigvee_{s=0}^{2} \varepsilon(M_{s21}) & \bigvee_{s=0}^{2} \varepsilon(M_{s22}) \end{array} \right) = \left( \begin{array}{ccc} B^0 I & C^0 & B^0 I \partial C & B^0 I C^- \\ \partial B I & C^0 & \partial B I \partial C & \partial B I C^- \\ B^- I & C^0 & B^- I \partial C & B^- I C^- \end{array} \right) \in \Omega^{(3)} $$

Since the intersection of two sets is empty or not, we obtain the following Theorem 2. **Theorem 2** The topological relation between two disjoint regions and a simple region given by 27-intersections model are exclusive and complete.

### 2.2.3 Constraints of 27-intersection model between two disjoint regions and a simple region

Theorem 1 gave a indispensable condition for a 0-1 matrix corresponding to a topological relation. Therefore, not every 0-1 matrix can be represented in a topological relation, some 0-1 matrix cannot be achieved. To get achievable topological relations, we will add three constraints.

**Restricted condition 1** A 0-1 matrix corresponding to an achievable topological relation must satisfy the following three formulas.

$$ \left( \begin{array}{ccc} \bigvee_{s=0}^{2} \varepsilon(M_{00s}) & \bigvee_{s=0}^{2} \varepsilon(M_{01s}) & \bigvee_{s=0}^{2} \varepsilon(M_{02s}) \\ \bigvee_{s=0}^{2} \varepsilon(M_{10s}) & \bigvee_{s=0}^{2} \varepsilon(M_{11s}) & \bigvee_{s=0}^{2} \varepsilon(M_{12s}) \\ \bigvee_{s=0}^{2} \varepsilon(M_{20s}) & \bigvee_{s=0}^{2} \varepsilon(M_{21s}) & \bigvee_{s=0}^{2} \varepsilon(M_{22s}) \end{array} \right) = \left( \begin{array}{ccc} A^0 I & B^0 & A^0 I \partial B & A^0 I B^- \\ \partial A I & B^0 & \partial A I \partial B & \partial A I B^- \\ A^- I & B^0 & A^- I \partial B & A^- I B^- \end{array} \right) \in \Omega^{(4)} $$

$$ \left( \begin{array}{ccc} \bigvee_{s=0}^{2} \varepsilon(M_{0s0}) & \bigvee_{s=0}^{2} \varepsilon(M_{0s1}) & \bigvee_{s=0}^{2} \varepsilon(M_{0s2}) \\ \bigvee_{s=0}^{2} \varepsilon(M_{1s0}) & \bigvee_{s=0}^{2} \varepsilon(M_{1s1}) & \bigvee_{s=0}^{2} \varepsilon(M_{1s2}) \\ \bigvee_{s=0}^{2} \varepsilon(M_{2s0}) & \bigvee_{s=0}^{2} \varepsilon(M_{2s1}) & \bigvee_{s=0}^{2} \varepsilon(M_{2s2}) \end{array} \right) = \left( \begin{array}{ccc} A^0 I & C^0 & A^0 I \partial C & A^0 I C^- \\ \partial A I & C^0 & \partial A I \partial C & \partial A I C^- \\ A^- I & C^0 & A^- I \partial C & A^- I C^- \end{array} \right) \in \Omega^{(5)} $$

$$ \left( \begin{array}{ccc} \bigvee_{s=0}^{2} \varepsilon(M_{s00}) & \bigvee_{s=0}^{2} \varepsilon(M_{s01}) & \bigvee_{s=0}^{2} \varepsilon(M_{s02}) \\ \bigvee_{s=0}^{2} \varepsilon(M_{s10}) & \bigvee_{s=0}^{2} \varepsilon(M_{s11}) & \bigvee_{s=0}^{2} \varepsilon(M_{s12}) \\ \bigvee_{s=0}^{2} \varepsilon(M_{s20}) & \bigvee_{s=0}^{2} \varepsilon(M_{s21}) & \bigvee_{s=0}^{2} \varepsilon(M_{s22}) \end{array} \right) = \left( \begin{array}{ccc} B^0 I & C^0 & B^0 I \partial C & B^0 I C^- \\ \partial B I & C^0 & \partial B I \partial C & \partial B I C^- \\ B^- I & C^0 & B^- I \partial C & B^- I C^- \end{array} \right) \in \Omega^{(6)} $$

**Restricted condition 2** For simple bounded regions, $A^- I B^- I C^-$ must be nonempty, namely $M_{222} = 1$.
**Restricted condition 3** The regions A and B are disjoint, so we can get the following formula:

$$ \left( \begin{array}{c} 2 \\ \bigvee_{s=0}^{2} \varepsilon(M_{00s}) \\ \bigvee_{s=0}^{2} \varepsilon(M_{10s}) \\ \bigvee_{s=0}^{2} \varepsilon(M_{20s}) \end{array} \right) \left( \begin{array}{c} 2 \\ \bigvee_{s=0}^{2} \varepsilon(M_{01s}) \\ \bigvee_{s=0}^{2} \varepsilon(M_{11s}) \\ \bigvee_{s=0}^{2} \varepsilon(M_{21s}) \end{array} \right) \left( \begin{array}{c} 2 \\ \bigvee_{s=0}^{2} \varepsilon(M_{02s}) \\ \bigvee_{s=0}^{2} \varepsilon(M_{12s}) \\ \bigvee_{s=0}^{2} \varepsilon(M_{22s}) \end{array} \right) = \left( \begin{array}{c} A^0 I B^0 & A^0 I \partial B & A^0 I B^- \\ \partial A I B^0 & \partial A I \partial B & \partial A I B^- \\ A^- I B^0 & A^- I \partial B & A^- I B^- \end{array} \right) = \left( \begin{array}{c} 0 & 0 & 1 \\ 0 & 0 & 1 \\ 1 & 1 & 1 \end{array} \right) \in \Omega \quad (7) $$

According to the above three constraints, we can give specific algorithm, and then get the topology diagram.

### 2.2.4 Schematic diagram of topological relations between two disjoint regions and a simple region

According to the restricted condition, we can give the main idea of algorithm, as shown in Table 2:

<table><caption>**Table 2. The main idea of program**</caption><tr><td>topologicalRelationGen(null; TR)</td><td>// Input: null</td></tr><tr><td>Output: topological Relations that satisfy all the constraints</td><td></td></tr><tr><td>TR 2<sup>27</sup>←2<sup>27</sup> basic topological relations</td><td>//</td></tr><tr><td>All basic topological relations</td><td></td></tr><tr><td>TR←null</td><td>// TR blank</td></tr><tr><td>for each t in TR 2<sup>27</sup></td><td></td></tr><tr><td>if t satisfy restricted condition 1</td><td></td></tr><tr><td>// Inspection t satisfy restricted condition 1</td><td></td></tr><tr><td>if t satisfy restricted condition</td><td></td></tr><tr><td>2</td><td>// Inspection t satisfy restricted condition 2</td></tr><tr><td></td><td>if t satisfy restricted</td></tr><tr><td>condition 3// Inspection t satisfy restricted condition 3</td><td></td></tr><tr><td>TR←{TR, t}</td><td>// Put</td></tr><tr><td>topological Relation into TR</td><td></td></tr><tr><td>end if</td><td></td></tr><tr><td>end if</td><td></td></tr><tr><td>end if</td><td></td></tr><tr><td>end for</td><td></td></tr><tr><td>return TR</td><td>// Return results</td></tr></table>

31 kinds of 0-1 matrices were gotten through the program, and then according to the 31 kinds of topological relations matrix, we specifically draw this 31 schematic diagrams of topological relations, as shown in Fig. 3(Specifically, we give the corresponding topological relations and the corresponding matrix), and verified that 31 kinds of 0-1 matrices can uniquely correspond to the topological relations between two disjoint regions and a simple region.
<figure><img src="image_4.png" /><figcaption>Fig. 3 Schematic diagrams of the 31 kinds of topological relations</figcaption></figure>

3 The Reasoning of Topological Relations

We specially gave the schematic diagrams of the 31 kinds of topological relations
between two disjoint regions and a simple region based on the content of section 2.2.4,
we will now complete the reasoning of topological relations. Representing the spatial
topological relation between region A and region B by using R (A, B), similarly
representing the spatial topological relations between region A and region C by using
R (A, C), and representing the topological relations between region B and region C by
using R (B, C). By the study of R (A, B); R (A, C); R (B, C), the reasoning table of the
spatial topological relations can be gotten, as shown in Table 3. Through this table, if
we know a topological relation, we will simply reasoning unknown topological relations.

<table><caption>**Table 3. Reasoning table**</caption><thead><tr><th>R(A,B)</th><th>R(A,C)</th><th>R(B,C)</th></tr></thead><tbody><tr><td rowspan="7">disjoint</td><td>disjoint</td><td>disjoint meet overlap<br>coveredby inside<br>equal covers contains</td></tr><tr><td>meet</td><td>disjoint meet overlap<br>coveredby inside</td></tr><tr><td>overlap</td><td>disjoint meet overlap<br>coveredby inside</td></tr><tr><td>coveredby</td><td>disjoint meet overlap<br>coveredby inside</td></tr><tr><td>inside</td><td>disjoint meet overlap<br>coveredby inside</td></tr><tr><td>equal</td><td>disjoint</td></tr><tr><td>covers</td><td>disjoint</td></tr><tr><td>contains</td><td>disjoint</td></tr></tbody></table>

## 4 The Conceptual Neighbourhood Graph between Two Disjoint Regions and a Simple Region

The conceptual neighbourhood graph of 31 topological relations between two disjoint regions and a simple region is given, as shown in Fig. 4. We use the straight line connected two circle to represent the corresponding two kinds of topological relations between one step to another. The digital serial number corresponding to the circle is a schematic diagram of topological relations in Fig. 4.

<figure><img src="image_5.png" /><figcaption>**Fig. 4** the conceptual neighbourhood graph of 27-intersection model</figcaption></figure>
# 5 Applications

## 5.1 Two disjoint areas and rainfall area are abstractly considered as two disjoint regions and a simple region

The studied region in this article as shown in Fig. 5, shows the possible rainfall situation in Taizhou and Ningbo. Taizhou is regarded as the region A, Ningbo is regarded as the region B, and rainfall region is regarded as region C. Therefore, the problem of predicting the possible rainfall situation in Taizhou and Ningbo is converted to the study of the topological relations between the two disjoint regions A, B and a simple region C.

<figure><img src="image_6.png" /><figcaption>Fig. 5 the regional map</figcaption></figure>

## 5.2 Affected probability of the target region

We understand that the topological relations between rainfall region, two specified disjoint target regions and 31 kinds of topological relations are a one-to-one correspondence. It is important to note that in order to adapt to the uncertainty of abnormal typhoon landing, we stipulated that the rainfall situation associated with typhoons is completely natural and random, so we think that the probability of occurrence for 31 kinds of topological relations between two disjoint areas and rainfall area is equal, that is the probability of each situation is 1/31.

For example, in region B, we studied the situation where region B is influenced by the rainfall, region A and region B is similar. By the study of schematic diagram of the topological relations, we had found that when the topological relations of region B and region C is disjoint, meet, region B is not affected by the rainfall. There are 13 kinds of situations corresponding to both cases according to Table 2, respectively,
which correspond to the number 1, 2, 9, 10, 14, 15, 16, 20, 21, 25, 26, 27, 28 of the Fig. 3, and then the probability is 41.93%.

When the topological relation of region *B* and region *C* is contained, covers, overlap, region *B* is partly affected by the rainfall. There are 7 kinds of situations corresponding to three cases according to Table 2, respectively, which correspond to the number 6, 7, 8, 13, 19, 24, 31 of the Fig. 3, and then the probability is 22.58%.

When the topological relation of region *B* and region *C* is inside, covered by, equal, region *B* is perfectly affected by the rainfall. There are 11 kinds of situations corresponding to three cases according to Table 2, respectively, which correspond to the number 3, 4, 5, 11, 12, 17, 18, 22, 23, 29, 30 of the Fig. 3, and then the probability is 35.48%.

According to the reasoning table of the topological relations, we can predict the possible rainfall situation. When we know the possible rainfall situation of an area, then we can study the possible rainfall situation of another area. For example, when we know $R(A,B)$= disjoint and $R(A,C)$= overlap, then $R(B,C)$ can be obtained, they are disjoint, meet, overlap, covered by, inside.

We can further study the rainfall situation according to the conceptual neighbourhood graph, namely when we know the rainfall situation of an area, we can further study the next rainfall situation. For instance, when we know that the situation corresponding to the number 25 of Fig.3 happens, namely contains($A,B$), disjoint($A,C$), then the next possible rainfall situation corresponds to the number 26 of Fig.3, namely covers($A,B$), disjoint($A,C$).

# 5 The Comparison of Related Work

LI Jian et al. constructed the 8-intersection model[11] that can represent the topological relations between two disjoint regions and a simple region. We can get 17 kinds of topological relations by the 8-intersection model, as shown in Fig. 6.

<figure><img src="image_7.png" /><figcaption>**Fig. 6** Schematic diagrams of the 17 kinds of topological relations based on 8-intersection model</figcaption></figure>
In this article, we can get 31 kinds of topological relations by the study of the 27 - intersection model. However, we can only get 17 kinds of topological relations by 8-intersection model. Thus, expressive power of the 27 - intersection model is superior to expressive power of the 8 - intersection model. The reason while the expressive power of the 8 - intersection model is weaker is as follows: 8 - intersection model cannot differentiate between some cases (as shown in Fig. 7: two different situations). It is worth noting that when the specified target region is not affected by rainfall area, does not mean that the residents of the specified target region cannot take protective measures. It is different that the topological relations of region B, C are disjoint and the topological relations of region B, C are met. As shown in Fig. 7, (a) Figure corresponds to the schematic diagram of number 1 of Fig. 3, (b) Figure corresponds to the schematic diagram of number 2 of Fig. 3. Although two schematic diagrams of topological relations all represent that the specified target region is not affected by rainfall, they are very different in essence. When the situation which corresponds to (a) Figure happens, the residents of the designated target region cannot take protective measures. We can find that (a) Figure can be transformed to (b) Figure according to the conceptual neighbourhood graph, and target region still is not affected by rainfall. However, while the situation which corresponds to (b) Figure happens, the residents of the designated target region must take protective measures to reduce property damage.

<figure><img src="image_8.png" /><figcaption>**Fig.7** Two different situations</figcaption></figure>

# 7 Conclusions

In this article, we established a representation model between two disjoint regions and a simple region, we also got schematic diagrams of the 31 kinds of topological relations between two disjoint regions and a simple region, and then specially gave the reasoning table of the topological relations and the conceptual neighbourhood graph between two disjoint regions and a simple region. This specific theory can be applied to predict the rainfall of two disjoint areas, and we got the chance of rain for a specific area, then we can predict the rainfall situation by reasoning table and conceptual neighborhood graph of topological relations, which is of great significance for residents to take the next step of preventive measures to reduce disaster losses.
## Acknowledgment

Funds for this research was provided by The research of Jilin science and technology development project (the youth fund project) (20130522110JH), Jilin province science and technology development plan project (key scientific and technological project) (20140204045NY), Agricultural science and technology achievement transformation project of national science and Technology Department (2014GB2B100021), Jilin province science and technology development plan project (key science and technology research project) (20150204058NY)

## References

[1] Lianshou Chen, Zhiyong Meng. An overview on tropical cy-clone research progress in China during the past ten years[J]. Chinese Journal of Atmospheric Sciences (in Chinese), 25 (3), 420-432(2001).

[2] Shengsheng Wang, Dayou Liu. Knowledge representation and reasoning for qualitative spatial change. Knowledge-Based Systems, 161-171(2012).

[3] Shengsheng Wang, Dayou Liu. An Efficient Method for Calculating Qualitative Spatial Relations. Chinese Journal of Electronics, 18(1), 42-46(2009).

[4] Ya-bin LIU, Da-you LIU. A Review on Spatial Reasoning and Geographic Information System [J]. Journal of Software, 11(12), 1598-1606(2000).

[5] J Scott, L H Lee, et al. Designing the low-power M.CORETM architecture [A]. IEEE Power Driven Microarchitecture Workshop [C]. Haifa, Israel: IEEE Computer Society, 29-33(1998).

[6] N. S. Chang and K. S. Fu, Query-by-pictorial-example. IEEE Transactions on Software Engineering. SE-6(6): 519–524, 1980.

[7] N. Roussopoulos, C. Faloutsos and T. Sellis, An efficient pictorial database system for PSQL. IEEE Transactions on Software Engineering, 14(5), 630–638, 1988.

[8] Egenhofer MJ, Franzosa RD. Point-set topological spatial relation [J]. International Journal of Geographical Information System, 5(2), 53-174(1991).

[9] Chang Ning-San, Fu King-Sun. Query by pictorial example[J]. IEEE Transactions on Software Engineering, 1980, SE-6(6): 519–524

[10] Zhenji GAO, Lun WU, YANGJian.Representaion of Topological Relations between Vague Objects Based on Rough and RCC Model [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 44(4), 597-603(2008).

[11] Jian LI, Ji-hong OUYANG, Zhen-xin WANG, Wei WANG. Representation model of topological relationship among three simple regions [J]. Journal of Jinlin University Engineering and Technology Edition, 43(4), 117-122 (2013).