Skip to main content
Advertisement
Browse Subject Areas
?

Click through the PLOS taxonomy to find articles in your field.

For more information about PLOS Subject Areas, click here.

  • Loading metrics

Combinational Reasoning of Quantitative Fuzzy Topological Relations for Simple Fuzzy Regions

  • Bo Liu ,

    bliu@whu.edu.cn

    Affiliations Faculty of Geomatics, East China Institute of Technology, 330013, Nanchang, PR, China, State Key Laboratory of Information Engineering in Surveying, Mapping and Remote Sensing, Wuhan University, 430079, Wuhan, PR, China

  • Dajun Li,

    Affiliation Faculty of Geomatics, East China Institute of Technology, 330013, Nanchang, PR, China

  • Yuanping Xia,

    Affiliation Faculty of Geomatics, East China Institute of Technology, 330013, Nanchang, PR, China

  • Jian Ruan,

    Affiliation Faculty of Geomatics, East China Institute of Technology, 330013, Nanchang, PR, China

  • Lili Xu,

    Affiliation Faculty of Geomatics, East China Institute of Technology, 330013, Nanchang, PR, China

  • Huanyi Wu

    Affiliation Faculty of Geomatics, East China Institute of Technology, 330013, Nanchang, PR, China

Abstract

In recent years, formalization and reasoning of topological relations have become a hot topic as a means to generate knowledge about the relations between spatial objects at the conceptual and geometrical levels. These mechanisms have been widely used in spatial data query, spatial data mining, evaluation of equivalence and similarity in a spatial scene, as well as for consistency assessment of the topological relations of multi-resolution spatial databases. The concept of computational fuzzy topological space is applied to simple fuzzy regions to efficiently and more accurately solve fuzzy topological relations. Thus, extending the existing research and improving upon the previous work, this paper presents a new method to describe fuzzy topological relations between simple spatial regions in Geographic Information Sciences (GIS) and Artificial Intelligence (AI). Firstly, we propose a new definition for simple fuzzy line segments and simple fuzzy regions based on the computational fuzzy topology. And then, based on the new definitions, we also propose a new combinational reasoning method to compute the topological relations between simple fuzzy regions, moreover, this study has discovered that there are (1) 23 different topological relations between a simple crisp region and a simple fuzzy region; (2) 152 different topological relations between two simple fuzzy regions. In the end, we have discussed some examples to demonstrate the validity of the new method, through comparisons with existing fuzzy models, we showed that the proposed method can compute more than the existing models, as it is more expressive than the existing fuzzy models.

Introduction

Geographical information sciences (GIS) commonly deal with geographical phenomena modeled by crisp points, lines, and regions, which are clearly defined or have crisp boundaries. However, geospatial data are always uncertain or fuzzy due to inaccurate data acquisition, incomplete representation, dynamic change, and the inherent fuzziness of geographical phenomena itself. In GIS, many studies have been devoted to modeling topological relations, specifically the modeling of quantitative fuzzy topological relations between simple spatial objects. Topology is a fundamental challenge when modeling spatial relations in geospatial data that includes a mix of crisp, fuzzy and complex objects. Two mechanisms, the formalization and reasoning of topological relations, have become popular in recent years to gain knowledge about the relations between these objects at the conceptual and geometrical levels. These mechanisms have been widely used in spatial data query [12], spatial data mining [3], evaluation of equivalence and similarity in a spatial scene [4], and for consistency assessment of the topological relations of multi-resolution spatial databases [57]. Dilo et al. [8] defined several types and operators for modeling spatial data systems to handle fuzzy information. Shi et al. [9] and Liu et al. [10] developed a new object extraction and classification method based on fuzzy topology.

However, the uncertain topological relations themselves must be modeled due to the existence of indeterminate and uncertain boundaries between spatial objects in GIS. Fuzzy topology theory can potentially be applied to the modeling of fuzzy topological relations among spatial objects.

To date, many models have been designed to formalize topological relations between simple fuzzy objects, they can be implemented on spatial databases at less cost than other uncertainty models and are useful when managing, storing, querying, and analyzing uncertain data. For example, Egenhofer and Franzosa [5, 11] and Winter [12] modeled the topological relations between two spatial regions in two dimensional space (2-D) based on the 4-intersection model and ordinary point set theory. Li et al. [13], Long and Li [14] produced a Voronoi-based 9-intersection model based on Voronoi diagrams. Cohn et al. [15, 16] discovered forty-six topological relations between two regions with indeterminate boundaries based on the region connection calculus (RCC) theory [17]. Clemmentini and Di Felice [1820] used extended 9-intersection model to classify forty-four topological relations between simple regions with broad boundaries. The extended 9-intersection model substantially agrees with the RCC model, though the former removes two relations considered as invalid in the geographical environment. The extended 9-intersection model can be extended to represent topological relations between objects with different dimensions, like regions and lines, while the RCC model can only be applied to relations between regions. Tang and Kainz [21], Tang et al. [22], Tang [23] applied fuzzy theory and a 9-intersection matrix, discovered forty-four topological relations between two simple fuzzy regions. Shi and Liu [24] discussed fuzzy topological relations between fuzzy spatial objects based on the theory of fuzzy topology. Du et al. [25, 26] proposed computational methods for fuzzy topological relations description, as well as a new fuzzy 9-intersection model. These models provided a framework to conceptually describe the topological relations between two regions and can be considered as an extension of the crisp case. In order to define and describe spatial relations qualitatively and to compute the fuzzy topological relations quantitatively, Liu and Shi [27, 28], Shi and Liu [29] defined a computational fuzzy topology to compute the interior, boundary, and exterior parts of spatial objects, and based on these definitions, Liu and Shi [28] proposed a computational 9-intersection model, and discovered sixteen topological relations between simple fuzzy region and line segment; forty-six topological relations between simple fuzzy line segments; three topological relations between simple fuzzy region and fuzzy point; and three topological relations between simple fuzzy line segment and fuzzy point, but it did not give the topological relations between two simple fuzzy regions, and it did not compute the topological relations between one simple fuzzy spatial region and one simple crisp spatial region.

To obtain the quantitative fuzzy topological relations between simple fuzzy regions in GIS, based on the previous researches, this paper develops a new method of describing quantitative fuzzy topological relations for simple fuzzy regions. The new method not only computes the topological relations between one simple fuzzy spatial region and one simple crisp spatial region, but also computes the topological relations between two simple fuzzy regions.

The remainder of this paper is organized as follows. In section 2, some basic concepts of fuzzy topology, computational fuzzy topology and the definitions of simple fuzzy spatial objects in GIS are reviewed; In Section 3, the new definitions of simple fuzzy spatial objects are introduced, and we proposed a new combinational reasoning method of quantitative fuzzy topological relations for simple fuzzy regions; In Section 4, by comparing the proposed method with existing fuzzy models, we demonstrated that it can make finer distinctions and is more expressive; Finally, some conclusions are drawn in Section 5.

A Brief Summary of Computational Fuzzy Topology

In this section, coherent fuzzy topologies, induced by interior and closure operators [2730], are reviewed. Mathematically, point set topology is the fundamental theory for modeling topological relations between crisp spatial objects in a GIS. By extension, fuzzy topology is a generalization of ordinary topology that introduces the concept of membership value and can be adopted for modeling topological relations between spatial objects with uncertainties. Zadeh [31] introduced the concept of fuzzy sets, and fuzzy set theory. Fuzzy topology was further developed based on the fuzzy sets [30, 3234]. Liu and Shi [27, 28] and Shi and Liu [29] define a computational fuzzy topology to compute the interior, boundary and exterior of spatial objects. The computation is based on two operators, the interior operator and the closure operator. Each interior operator corresponds to one fuzzy topology and that each closure operator also corresponds to one fuzzy topology [30]. The research detailed in this paper extends this work by defining fuzzy spatial objects. However, it is important to review basic concepts in fuzzy set theory as well as simple fuzzy objects in a GIS.

Basic concepts

We focus on the two-dimensional Euclidean plane R2, with the usual distance and topology. Fuzzy topology is an extension of ordinary topology that fuses two structures, order structure and topological structure. Furthermore, the fuzzy interior, boundary, and exterior play an important role in the uncertain relations between GIS objects. Therefore, Shi and Liu [29] gave those items a very clean concept and the definition on fuzzy topological space.

In this section, we present the basic definitions for fuzzy sets and fuzzy mapping briefly, details on these definitions are given in related references [2730, 32]. Fuzzy sets, open fuzzy sets, and closed fuzzy sets are the basic elements of fuzzy topology. The following are several definitions of fuzzy sets.

Definition 1 (Fuzzy subset). Let X be a non-empty ordinary set and I be the closed interval [0, 1].

An I-fuzzy subset on X is a mapping (called the membership function of A) μA : XI, i.e., the family of all the [0,1]-fuzzy or I-fuzzy subsets on X is just IX consisting of all the mappings from X to I. Here, IX is called an I-fuzzy space. X is called the carrier domain of each I-fuzzy subset on it, and I is called the value domain of each I-fuzzy subset on X. AIX is called a crisp subset on X, if the image of the mapping is the subset of {0,1} ⊂ I.

Definition 2 (Rules of set relations). Let A and B be fuzzy sets in X with membership functions μA(x) and μB(x), respectively. Then,

  1. A = B, iff μA(x) = μB(x) for all x in X;
  2. AB, iff μA(x) ≤ μB(x) for all x in X;
  3. C = AB, iff μC(x) = max[μA(x), μB(x)] for all x in X;
  4. D = AB, iff μD(x) = min[μA(x), μB(x)] for all x in X;
  5. E = AB, iff μE(x) = 1− μA(x) for all x in X.

The fuzzy interior, boundary, and exterior play an important role in the uncertain relations between GIS spatial objects [29]. In the following, we will introduce the concept of fuzzy topology, which will be a basis for the description of uncertain relations between simple spatial objects in GIS. Furthermore, and the following are the commonly used definitions of fuzzy topological space, fuzzy interior, fuzzy closure, fuzzy complement, and fuzzy boundary [30].

Definition 3 (Fuzzy topological space). Let X be a non-empty ordinary set and I = [0, 1], δIX. δ is called an I-fuzzy topology on X, and (IX, δ) is called an I-fuzzy topological space (I-fts), if δ satisfies the following conditions:

  1. 0,1 ∈δ;
  2. If A, Bδ, then ABδ;
  3. Let{Ai : iJ}⊂δ, whereJis an index set, theniJ Aiδ.

Where, 0 ∈ δ means the empty set and 1 ∈ δ means the whole set X. The elements in δ are called open elements and the elements in the complement of δ are called closed elements, and the set of the complement of open set is denoted by .

Definition 4 (Interior and closure). For any fuzzy set AIX, the interior of A is defined as the join of all the open subsets contained in A, denoted by A, and the closure of A as the meeting of all the closed subsets containing A, denoted by .

Definition 5 (Fuzzy complement). For any fuzzy set A, we defined the complements of A by AC(x) = 1 − A(x), denoted by AC.

Definition 6 (Fuzzy boundary). The boundary of a fuzzy set A is defined as .

Definition 7 (Closure operator). An operator α : IXIX is a fuzzy closure operator if the following conditions are satisfied:

  1. α(0) = 0;
  2. α(A) ≤ A, for all AIX;
  3. α(AB) = α(A) ∨ α(B);
  4. α(α(A)) = α(A), for all AIX.

Definition 8 (Interior operator). An operator α : IXIX is a fuzzy interior operator if the following conditions are satisfied:

  1. α(1) = 1;
  2. Aα(A), for all AIX;
  3. α(AB) = α(A) ∧ α(B);
  4. α(α(A)) = α(A), for all AIX.

Definition 9 (Interior and closure operators). For any fixed α ∈ [0,1], both operators, interior and closure, are defined as and , respectively. And induced an I-fuzzy topology (X, τα, τ1−α) in X, where τα = {Aα : A ∈ IX} is the open sets and τ1−α = {A1−α : A ∈ IX} is the closed sets. The elements in τα and τ1−α satisfy the relations (Aα)C = (AC) 1−α, for all fuzzy set A, i.e., the complement of the element in the τα closed set. Details on how these two operators can induce a coherent I-fuzzy topology are given in Liu and Shi [27].

To study topological relations, it is essential to firstly understand the properties of a fuzzy mapping, especially the homeomorphic mapping since topological relations are invariant in homeomorphic mappings. The following section presents a number of definitions related to fuzzy mapping.

Let IX, IY be I-fuzzy spaces, f : XY an ordinary mapping. Based on f : XY, define I-fuzzy mapping f : IXIY and its I-fuzzy reverse mapping f : IXIY by f : IYIX, f (B)(x) = B(f(x)), ∀BIY, ∀xX While I = [0,1].

Let (IX, δ), (IY, δ) be I-fts’s, f : (IX, δ) →(IY, μ) is called I-fuzzy homeomorphism, if it is bijective continuous and open [30]. One important theorem to check an I-fuzzy homeomorphism is that, as proved by Shi and Liu [29]. Let AIX, BIY, let (IX, δ), (IY, δ) be I-fts’s induces by interior operator and closure operators. Then f : (IX, δ) → (IY, μ) is an I-fuzzy homeomorphism if and only if f : XY is bijective mapping. Meanwhile, for the topology induced by these two operators, for checking homeomorphic map, actually, we only have to check whether it is one-one corresponding between domain and range only.

Modeling simple fuzzy spatial objects in GIS

Geometrically, GIS features can be classified as points, lines, and regions, and within the framework of crisp objects modeling in GIS, we first need to model simple objects before we model the topological relations between the objects. Similarly, within the framework of fuzzy objects modeling in GIS, we first need to model simple fuzzy objects before we can model the fuzzy topological relations between the objects [19]. Many researchers also have been working on modeling fuzzy topological relations and simple fuzzy objects [21, 2729]. For example, Tang and Kainz [21] defined a simple fuzzy region based on fuzzy topology; Liu and Shi [2729] have provided definitions of simple fuzzy points, simple fuzzy line segments and simple fuzzy regions.

In this research, the mentioned fuzzy definitions of the basic elements(simple fuzzy points, lines, and regions) in GIS are summarized briefly as follows, details on these definitions are given in related references [2729].

Definition 10 (fuzzy point, Fig. 1(a)). An I-fuzzy point on X is an I-fuzzy subset XαIX, defined as: .

thumbnail
Fig 1. (a) Fuzzy point for given α; (b) Fuzzy line segment for given β; (c) Fuzzy region for given γ [28].

https://doi.org/10.1371/journal.pone.0117379.g001

Definition 11 (Simple fuzzy line). A fuzzy subset in X is called a simple fuzzy line (L), if L is a supported connected line in the background topology (i.e., a crisp line in the background topology).

Definition 12 (Simple fuzzy line segment, Fig. 1(b)). The simple fuzzy line segment (L) is a fuzzy subset in X with: 1) for any β ∈ (0,1), the fuzzy line Lβ is a supported connected line segment (i.e., a crisp line segment in the background topology) in the background topology and 2) ∂L (= (Lβ)CL1−β)) has at most two supported connected components.

Definition 13 (Simple fuzzy region, Fig. 1(c)). A simple fuzzy region is a fuzzy region in a polygon feature X which: 1) for any γ ∈ (0,1), the fuzzy set Aγ and ∂A(Aγ)CL1−γ are two supported connected regular bounded open sets in the background topological space; 2) in the background topological space, any outward normal from Supp(Aγ) must meet Supp(∂A) and have only one component.

On the basic definitions of simple fuzzy points, line segments and regions, Shi and Liu [29] provide an example of computing the interior, boundary, and exterior of spatial objects for different α values, and the interior, boundary, and exterior of spatial objects were confirmed for each given α value. Based on the fuzzy objects’ definitions, Liu and Shi [28] proposed a new 3 × 3 integration model to compute sixteen topological relations between a simple fuzzy region to a simple fuzzy line segment, three topological relations between a simple fuzzy region to a simple fuzzy point, forty-six topological relations between a simple fuzzy line segment and a simple fuzzy line segment, and three topological relations between a simple fuzzy line segment and a simple fuzzy point. However, the relations between two simple fuzzy regions were not computed, and the element fXABdV of the 3 × 3 integration model is the ratio of the area (or volume) of meet of two fuzzy spatial objects in a join of two simple spatial object (here a join of two fuzzy objects means ‘union’ of two fuzzy objects; meet of two fuzzy objects means ‘intersection’ of two fuzzy objects [28]), and was difficult to describe the topological relations between simple crisp spatial regions and simple fuzzy spatial regions.

Based on existing related studies, in next section, we will discuss the newly combinational reasoning method to compute the topological relations between simple fuzzy regions.

Combinational Reasoning of Quantitative Fuzzy Topological Relations for Simple Fuzzy Regions

The basic topological relations between two simple crisp regions

Many models have been designed to formalize topological relations between simple crisp objects, such as the 4-Intersection Model (4IM) [11, 35], the 9-Intersection Model (9IM) [36], Region Connection Calculus (RCC) theory [17], and the Voronoi-based 9-Intersection Model (V9I) [13, 14]. All of the existing models can determine the eight basic topological relations possible for 2-dimensional simple crisp regions in the physical world: disjoint, meet, overlap, cover, contain, equal, inside, and covered-by, respectively as seen in Fig. 2. In point set topology, the 4IM, 9IM, and V9I models divide a simple crisp region into three parts: interior (A), boundary (∂A), and exterior . In this paper, we used 9IM (as Eq. (1)) to compute the eight basic topological relations of simple crisp regions.

(1)
thumbnail
Fig 2. The eight basic topological relations between two simple crisp regions [36]

https://doi.org/10.1371/journal.pone.0117379.g002

Since the intersection of two sets can be either 0 or 1, the topological relation between two simple crisp regions as follows.

The new definitions of simple fuzzy spatial objects

A given α, a simple fuzzy spatial line segment and region in GIS has a certain interior and boundary as shown in Fig. 1. We developed a new definition for a simple fuzzy spatial line segment and region by applying the definition in the previous section, and on fuzzy topological space [32], the fuzzy point definition remains the same as Definition 10.

Definition 14 (inner and outer boundary of simple fuzzy line segment, Fig. 3(a)), for given α, the interior and boundary of simple line segment L(as shown in Fig. 1(b)) are confirmed, in the same way as a simple crisp line segment. Hence, we define as the outer-boundary of L, and as the inner-boundary of L, as the interior of L, and ∂Lα as the boundary of L (as shown in Fig. 3(a)): . So, a simple fuzzy line segment L for given α can be expressed as: .

thumbnail
Fig 3. (a) The inner-outer boundary of simple fuzzy line segment L for given α; (b) the inner-outer boundary of simple fuzzy region A for given α.

https://doi.org/10.1371/journal.pone.0117379.g003

Definition 15 (inner and outer boundary of simple fuzzy region, Fig. 3(b)), for a given α, the interior and boundary of fuzzy region A (as shown in Fig. 1(c)) is confirmed. Just as for a crisp region, we defined as the outer-boundary of A, and as the inner-boundary of A, as the interior of A and ∂Aα as the boundary of A (as shown in Fig. 3(b)): . So the fuzzy region A for given α can be expressed as: . Meanwhile, and can be considered as two simple crisp regions.

Based on the above definitions, 1) to a simple fuzzy line segment L for given α, if , that is ∂Lα = 0, and , it means L is a simple crisp line segment; 2) to a fuzzy region A for given α, if , that is ∂Aα = 0, , it means A is a simple crisp region.

On the basis of these definitions, we will primarily focus on discussing the new combinational reasoning method of quantitative fuzzy topological relations for simple fuzzy regions in next section.

Combinational reasoning of quantitative fuzzy topological relations for simple fuzzy regions

In this section, we will only discuss the topological relations between the simple fuzzy regions, and we will develop a new combinational reasoning method of quantitative fuzzy topological relations for simple fuzzy regions.

For a fuzzy region A1 for given α (Fig. 4 (a)), while the other fuzzy region A2 for given β (Fig. 4 (b)), Considering the relationship between the outer-boundary (/), boundary (∂A1α/∂A2β), inner-boundary (/), and interior (/) of the simple fuzzy region A and B (as shown in Fig. 4), their topological relations have three different situations:

  1. If , that is ∂A1α = 0, and . If , that is ∂A2β = 0, and . A1 and A2 are simple crisp regions, the eight topological relations R(A1, A2) between A1 and A2 (as shown in Fig. 2). So, R(A1, A2) can be computed by 4IM [11], 9IM [36], or other existing models.
  2. If , that is ∂A1α = 0, and . If , that is ∂A2β ≠ 0, . A1 is a crisp region, A2 is a fuzzy region, and comprised of four components , and . The topological relations between A1 and A2 can be described as and which can be computed by 4IM [11], 9IM [36], or other existing models.

thumbnail
Fig 4. (a) Fuzzy region A1 for given α; (b) Fuzzy region A2 for given β.

https://doi.org/10.1371/journal.pone.0117379.g004

Since all of the existing models can determine eight basic topological relations, such as{disjoint, meet, overlap, cover, contain, equal, inside, and covered-by}, each topological relation between two simple crisp regions and can be any one of the eight basic topological relations, hence in theory, and can determine 82 = 64 topological relations, but only 23 basic relations for 2-dimensional simple regions in the physical world have been defined, and the relevant topological relations between A1 and A2 are included within the Supporting Information (S1 Table).




  1. , ;

iii) If , that is ∂A1α ≠ 0, and . If , that is ∂A2β ≠ 0, and . A1 and A2 are fuzzy regions, A1 comprised of four components , ∂A1α, and , meanwhile, , A2 also comprised of four components , ∂A2β, , and , meanwhile, . The topological relations between A1 and A2, can be described as by ,, , and , which can be computed by 4IM [11], 9IM [36], or other existing models.

Corresponding to conditions (ii), each topological relation between two simple crisp region ,, and can be any one of the eight basic topological relations. Hence in theory, ,, , and can determine 84 = 4096 topological relations, but only 152 basic relations for 2-dimensional simple regions in the physical world have been defined, and the relevant topological relations between A1 and A2 are included within the Supporting Information (S2 Table).

  1. ,, , ;
  2. ,,

Comparison with Existing Models

In dealing with fuzzy spatial objects, Cohn and Gotts [15] proposed the ‘egg-yolk’ model with two concentric sub-regions, indicating the degree of ‘membership’ in a vague/fuzzy region. In this model, the ‘yolk’ represents the precise part and ‘egg’ represents the vague/fuzzy part of a region. The ‘egg-yolk’ model is an extension of RCC theory [17] into the vague/fuzzy region, a total of forty-six relations can be identified [15]. Based on the 9-intersection model (9IM, Eq. (1)), Clemmentini and Di Felice defined a region with a broad boundary, by using two simple regions [18, 20], this broad boundary is denoted by ΔA. Based on empty and non-empty invariance, Clementini and Di Felice’s Algebraic Model as equation (2): (2) Equation (2) gave a total of forty-four relations between two spatial regions with a broad boundary. The extended 9-intersection model (Eq. (2)) substantially agrees with the ‘egg-yolk’ model, though the former removes two relations considered as invalid in the geographical environment.

For example, in the table 2 (18) and (21), as shown in Fig. 5(a, b), the equation (2) yielded the same matrix, . That is to say, the topological relations are same, but they are obviously different from each other as shown in Fig. 5 (a, b). And then, we'll discuss the topological relations (as shown in Fig. 5) of using the new combinational reasoning method in this paper.

thumbnail
Fig 5. Two different topological relations between A1 and A2.

https://doi.org/10.1371/journal.pone.0117379.g005

Fuzzy topology is dependent on the value of αorβ used in leveling cuts. Different values of αandβ generate different fuzzy topologies and may have different topological structures. Therefore, we can generate the suitable fuzzy topology by adjusting the value ofαorβ, and the generated fuzzy topology can thus match the cases of the application concerned. Moreover, different values of αandβcan provide a multi-directional spatial analysis in GIS [29]. Details about calculating the value of αorβ in fuzzy topology and fuzzy sets, we can see the relevant literatures [27, 29]. In this paper, based on the research of Liu and Shi, we propose a new definition for simple fuzzy line segments and simple fuzzy regions, and also propose a new combinational reasoning method to compute the fuzzy topological relations between two simple spatial regions. Therefore, it’s important to note that the values ofαandβin the Fig. 5 only used to demonstrate the validity of the new method, in the actual application and analysis, an optimal value ofαorβcan be obtained by investigating these fuzzy topologies, and generated a suitable fuzzy topological relations [29]. We can generate a suitable fuzzy topology by adjusting the value of αorβ, and then more information can be generated for spatial queries by applying fuzzy topology.

In Fig. 5 (a) and (b), the simple fuzzy region A1 for givenα, A2 for givenβ, the topological relation between A1 and A2 can be obtained by calculating , , , and .

For Fig. 5 (a), we used 9IM (Eq. (1)) to compute , , , and , so the topological relation can be described as follows:

a):

For Fig. 5 (b), we used 9IM (Eq. (1)) to compute , , , and , so the topological relation can be described as follows:

b): Through the above comparison analysis, the new proposed combinational reasoning method (when taking different values ofαandβ) not only can obtain the topological relations of simple fuzzy regions as listed in existing studies [15, 16, 18, 20], but also the topological relations not currently listed.

Conclusion

Fuzzy topological relations between simple spatial objects can be used for fuzzy spatial queries, fuzzy spatial analyses, and other questions. This paper presented a combinational reasoning method of quantitative fuzzy topological relations for simple spatial regions in GIS. Based on the research of Liu and Shi, we proposed a new definition for simple fuzzy line segments and simple fuzzy regions based on the computational fuzzy topology, we also proposed a new combinational reasoning method to compute the fuzzy topological relations between simple spatial regions, an analysis of the new method exposes: (1) 23 different topological relations between a simple crisp region and a simple fuzzy region; (2) 152 different topological relations between two simple fuzzy regions. Based on the new definitions, the proposed method in this study not only computes the topological relations between a simple crisp region and a simple fuzzy region, but also computes the topological relations between two simple fuzzy regions. In the end, we have discussed some examples to demonstrate the validity of the new method. Through comparisons of results, we showed that the proposed method can make finer distinctions, as it is more expressive than the existing fuzzy models.

Supporting Information

S1 Table. The 23 relations between a simple crisp region and a simple fuzzy region in R2.

https://doi.org/10.1371/journal.pone.0117379.s001

(PDF)

S2 Table. The 152 relations between two simple fuzzy regions in R2.

https://doi.org/10.1371/journal.pone.0117379.s002

(PDF)

Acknowledgments

The authors would like to thank the Editor and the two anonymous reviewers whose insightful suggestions have significantly improved this letter.

Author Contributions

Wrote the paper: BL DJL YPX JR LLX HYW. Conceived and analyzed the paper: BL DJL.

References

  1. 1. Egenhofer MJ (1997) Query processing in spatial-query-by-sketch. Journal of Visual Languages and Computing, 8 (4): 403–424.
  2. 2. Clementini E, Sharma J, Egenhofer MJ (1994) Modeling topological spatial relations: Strategies for query processing. Computers and Graphics, 18 (6): 815–822.
  3. 3. Clementini E, Di Felice P, Koperski K (2000) Mining multiple level spatial association rules for objects with a broad boundary. Data & Knowledge Engineering, 34 (3): 251–270.
  4. 4. Paiva JAC (1998) Topological equivalence and similarity in multi-representation geographic databases. Ph.D. Dissertation. Department of Surveying Engineering, University of Maine.
  5. 5. Egenhofer M, Franzosa R (1994) On the equivalence of topological relations. International Journal of Geographical Information Systems, 8 (6): 133–152.
  6. 6. Du SH, Qin QM, Wang Q, Ma H (2008a) Evaluating structural and topological consistency of complex regions with broad boundaries in multi-resolution spatial databases. Information Sciences, 178(2008): 52–68.
  7. 7. Du SH, Guo L, Wang Q, Qin QM (2008b) Efficiently computing and deriving topological relation matrices between complex regions with broad boundaries. ISPRS Journal of Photogrammetry & Remote Sensing, (63): 593–609.
  8. 8. Dilo A, de By RA, Stein A (2007) A system of types and operators for handling vague spatial objects. International Journal of Geographical Information Systems, 21 (4): 397–426.
  9. 9. Shi WZ, Liu KF, Huang CQ (2010) A Fuzzy-Topology-Based Area Object Extraction Method. IEEE Transactions on Geoscience and Remote Sensing, 48(1): 147–154.
  10. 10. Liu KF, Shi WZ, Zhang H (2011) A fuzzy topology-based maximum likelihood classification, ISPRS Journal of Photogrammetry and Remote Sensing, (66): 103–114.
  11. 11. Egenhofer M, Franzosa R (1991a) Point-set topological spatial relations. International Journal of Geographical Information Systems, 5 (2): 161–174.
  12. 12. Winter S (2000) Uncertain topological relations between imprecise regions. International Journal of Geographical Information Science, 14 (5): 411–430.
  13. 13. Li CM, Chen J, Li ZL (1999) Raster-based method or the generation of Voronoi diagrams for spatial entities. International Journal of Geographical Information Systems, 13 (3): 209.
  14. 14. Long ZG, Li SQ (2013) A complete classification of spatial relations using the Voronoi-based nine-intersection model. International Journal of Geographical Information Science, 27(10): 2006–2025.
  15. 15. Cohn AG, Gotts NM (1996) The ‘egg-yolk’ representation of regions with indeterminate boundaries. In Geographic Objects with Indeterminate Boundaries, Burrough P.A., Frank A.U. (Eds.). Taylor & Francis, London and Bristol: 171–187.
  16. 16. Cohn AG, Bennett B, Gooday J, Gotts NM (1997) Qualitative spatial representation and reasoning with the region connection calculus. GeoInformatica, 1 (1): 1–44.
  17. 17. Randell DA, Cui Z, Cohn AG (1992) A spatial logic based on regions and connection. In Proceedings 3rd International Conference on Knowledge Representation and Reasoning, 25–29 October 1992, San Mate, M. Kaufmann, California, 165–176.
  18. 18. Clemmentini E, Di Felice DP (1996a) An algebraic model for spatial objects with indeterminate boundaries. In Geographic Objects with Indeterminate Boundaries, Burrough P.A., Frank A.U. (Eds.). Taylor & Francis, London and Bristol: 155–169.
  19. 19. Clementini E, Di Felice P (1996b) A model for representing topological relationships between complex geometric features in spatial databases. Information Sciences, 90 (1): 121–136.
  20. 20. Clementini E, Di Felice P (1997). Approximate topological relations. International Journal of Approximate Reasoning, 16 (2): 173–204.
  21. 21. Tang XM, Kainz W (2002) Analysis of topological relations between fuzzy regions in general fuzzy topological space. In The SDH conference 02, 9–12 July 2002, Ottawa Congress Centers, Ottawa, Canada, 114–123.
  22. 22. Tang XM, Kainz W, Yu F (2005) Reasoning about changes of land cover with fuzzy settings. International Journal of Remote Sensing, 26 (14): 3025–3046.
  23. 23. Tang XM (2004) Spatial object modeling in fuzzy topological spaces: with applications to land cover change. Ph.D. Dissertation. University of Twente, ITC publications, The Netherlands.
  24. 24. Shi WZ, Liu KF (2004) Modelling fuzzy topological relations between uncertain objects in GIS. Photogrammetric Engineering and Remote Sensing, 70(8): 921–930.
  25. 25. Du SH, Qin QM, Wang Q (2005a) Fuzzy description of topological relations I: a unified fuzzy 9-intersection model. In: Advances in Natural Computation, Wang L., Chen K., Ong Y.S. (Eds.), Lecture Notes in Computer Science, vol. 3612: 1260–1273.
  26. 26. Du SH, Qin QM, Wang Q (2005b) Fuzzy description of topological relations II: computation methods and examples. In: Advances in Natural Computation, Wang L., Chen K., Ong Y.S. (Eds.), Lecture Notes in Computer Science, vol. 3612: 1274–1279.
  27. 27. Liu KF, Shi WZ (2006) Computation of fuzzy topological relations of spatial objects based on induced fuzzy topology. International Journal of Geographical Information Systems, 20 (8): 857–883.
  28. 28. Liu KF, Shi WZ (2009) Quantitative fuzzy topological relations of spatial objects by induced fuzzy topology. International Journal of Applied Earth Observation and Geoinformation, (11): 38–45.
  29. 29. Shi WZ, Liu KF (2007) A fuzzy topology for computing the interior, boundary, and exterior of spatial objects quantitatively in GIS. Computer and Geoscience, 33 (7): 898–915.
  30. 30. Liu YM, Luo MK (1997) Fuzzy Topology (Singapore: World Scientific).
  31. 31. Zadeh LA (1965) Fuzzy Sets. Information and Control, (8): 338–353.
  32. 32. Chang CL (1968) Fuzzy topological spaces. Journal of Mathematical Analysis and Applications, 24: 182–190.
  33. 33. Wong CK (1974) Fuzzy points and local properties of fuzzy topology. Journal of Mathematical Analysis and Applications, (46): 316–328.
  34. 34. Wu G, Zheng C (1991) Fuzzy boundary and characteristic properties of order homomorphisms. Fuzzy Sets and Systems, (39): 329–337.
  35. 35. Egenhofer M, Mark D (1995) Modeling Conceptual Neighborhoods of Topological Line-Region Relations. International Journal of Geographical Information Systems, 9 (5): 555–565.
  36. 36. Egenhofer M, Herring J (1991b) Categorizing Binary Topological Relationships between Regions, Lines, Points in Geographic Databases. Oronoi: Technical Report, Department of Surveying Engineering, University of Maine, Oronoi, ME