Advances in Fuzzy SystemsVolume 2012 (2012), Article ID 167939, 15 pagesdoi:10.1155/2012/167939

Research Article

Two-Dimensional Fuzzy Spatial Relations: A New Way of Computing and Representation

Nadeem Salamat and El-hadi Zahzah

Mathematics, Image, and Applications (MIA) Laboratory, University of La Rochelle, 17000 La Rochelle, France

Received 8 August 2011; Revised 19 December 2011; Accepted 6 January 2012

Academic Editor: Erich Klement

Copyright © 2012 Nadeem Salamat and El-hadi Zahzah. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

Fuzziness is found everywhere, in modeling spatial relations, fuzziness is found at object level as well as in relation semantics. Commonly, fuzzy topological relations are computed between fuzzy objects. Fuzziness in relation semantics is represented by fuzzy topological relations between crisp objects and these types of fuzzy topological relations are much less developed. In this paper, we propose a method for combining fuzzy topological and directional relations. We also propose an algorithm for defuzzification of relations which provides us a binary topological and directional relation between a 2D object pair. These relations are represented in a neighborhood graph. For validation and assessment, a number of experiments have been performed on artificial data.

1. Introduction

The space can be studied through objects as well as spatial relationship between them. These spatial relations provide information about topological structure, orientation between objects and their relative locations. Topological relations are derived from geometric descriptions. The 9-intersections and region connection calculus (RCC) [1, 2] are well known methods for defining binary topological relations. The 9-intersection method depends on point set topology where topological parts (interior, boundary, and exterior) of an object participate. In this method, topological structure is studied by empty () and nonempty () intersections of topological parts. Eight basic topological configurations between 2D objects in are observed out of 512 possible configurations. Many extensions have been proposed in the 9-intersection method [3–6]. The 9-intersection method is extended to deal with fuzzy objects and 44 useful topological relations were developed with the 9-intersection between objects with extended boundaries [7]. The 9-intersection method is also extended to 16 intersections and a set of 152 useful configurations between fuzzy regions in are observed [8]. The 9-intersection and the 16-intersection method do not represent fuzzy topological relations between crisp objects.

On the other hand, the RCC method provides information about the topological structure of an image corresponding to eight basic topological relations in two-dimensional space. The RCC method is applied to regular topological spaces and this calculus is based on the axiomatic theory in which regions are primitives [9]. In this theory, spatial relations are based on a connection relation . This calculus is extended to fuzzy theory and fuzzy topological relations are developed between fuzzy objects [10–12] and a set of 46 topological configurations are considered. This theory is also extended to deal fuzziness at relation semantics and fuzzy connection relation based on nearness is defined [13]. In this case, the next question which comes into mind is that where does a topological relation hold in space?

Topological relations ignore the directional property between objects. Many methods for determining the binary directional relations have been discussed in literature. The matrix and a projection-based cardinal directions relation method are developed in qualitative domains [14, 15]. In the matrix method, reference object is considered by its minimum bounding rectangle (MBR) and area around the reference object is divided into tiles. Intersections between argument object and these tiles are computed and relations are defined based on empty and nonempty intersections. In projection-based methods, two-dimensional projections are taken on both axis then Allen relations are used and nine directional relations are defined out of 169 possibilities. Both methods provide similar results and MBR of the reference object is called neutral or direction-less region. To reasoning about situations when argument object occupies space in the central tile of the reference object, a method of internal cardinal directional (ICD) relations was introduced in [16]. This method divides the central tile of the matrix method into four, nine, or 13 subtiles and internal cardinal directional relations between object pair are calculated by the intersection of subtiles and argument object. These methods describe the extended objects according to their relative position. Once a directional relation is determined then the next issue that arises is concerned to the binary topological relation between object pair. Either two objects are disjoint, meet, and overlap or one object is inside the other. These methods do not address the issue of topological relation between the object pair.

In existing methods, one single method cannot be used to describe object position adequately in terms of topological and directional relations in image-understanding process. In qualitative domains, topological relations are usually studied between fuzzy objects such as in the RCC and the 9-intersection methods and for directional relations, fuzziness is associated to a relation. In language, people use fuzziness in the relation semantics, for example “Both objects are approximately equal” or “Object approximately meets object from East.” In this case both objects are crisp but relations are fuzzy. In the second example, both objects do not meet, but the relation meet depends upon nearness in direction East.

A method which can describe fuzzy topological and directional relations between crisp objects is required. For this purpose, the idea of combined topological and directional relations is not new, fuzzy methods [17–20] can be used to model the fuzzy topological and directional relations simultaneously. This method represents fuzziness at relation level along with the answer to the question, where a topological relation holds in space. These methods represent directional view of fuzzy topological relations as histograms, in this representation technique, it is hard to decide which fuzzy topological relation holds between 2D objects and what is the possible directional relation. In this paper, a method for the binary topological and directional relations is developed and algorithm for the defuzzication is proposed. These defuzzified topological and directional relations are represented in a neighborhood graph.

This paper is structured as follows. Section 2 describes the related work. Some preliminary definitions are introduced in Section 3. Section 4 discusses in detail the different terms and necessary computations for 1D Allen relations. In Section 5, our method for computing the topological relations along with directional aspects and their interpretation is given. We also develop an algorithm for defuzzification of spatial relations. A neighborhood graph for defuzzified topological and directional relations is presented in Section 6. Results for different situations are given in Sections 7 and 8 consist of conclusion and future work.

2. Related Work

A number of methods for determining fuzzy spatial relations are introduced in literature. In early years, fuzzy topological and fuzzy directional relations are studied separately. In most of the existing topological relations methods [3, 6, 21, 22], uncertainty is represented at object level but this also exists at relation level. This type of uncertainty can be handled by assigning fuzzy membership value to a relation. According to our best knowledge, Schockaert et al. [13] are pioneers in this field. They have defined the fuzzy relation “connection” based on nearness and the topological fuzzy relations in RCC theory. The basic question, that what is the binary directional relation between object pair remains unanswered.

Many approaches were adopted for developing fuzzy directional relations, such as angle histogram method [23], mathematical morphology [24], where fuzziness is associated to a relation. Angle histogram is the first numerical description of object relative position. Force histograms [25] were the extension of angle histogram which deals only disjoint objects. In all these methods, fuzzy directional relations are studied and less attention has been paid to fuzzy topological relations while topological and directional relations are considered essential to understand scene configuration, modeling common sense knowledge and spatial reasoning.

Allen relations [26] create 13 partitions around the reference interval or segment corresponding to each relation and these partitions represent eight topological relations in . To represent fuzziness at relation’s level along with the direction information, fuzzy Allen relations are developed. This method deals with the positional fuzziness in topological relations. To answer the question, that where a topological relation exists, the idea of combined topological and directional relations information was initiated by Malki et al. [17] using the Allen relations. This work was revisited by Matsakis and Nikitenko [18] and fuzziness in the Allen relations was introduced. Problem of computational complexity is considered in [20] and fuzzy t-conorms along with polygonal approximation is used. This work is related to fuzzy spatial aspects where the topological and directional relations are evaluated according to fuzzy set theoretical viewpoint.

These 1D fuzzy topological relations are used to model the fuzziness in directional relations. In this paper, the idea is to specify fuzzy topological relations between 2D objects along with qualitative directional information. For this purpose each pair of 2D objects is decomposed into parallel segments in every direction and use 1D Allen relations. Matsakis et al. [27, 28] used this sort of relations but they use a selected combination of Allen relations and two different systems for modeling the topological and directional relations.

In this paper, we first decompose the 2D objects into parallel segments and fuzzy Allen relations are determined between each pair of segments for directional variation from . At the next step, 1D fuzzy topological relations are combined into qualitative directions. For the combination of directions, a trigonometric membership function is used [23]. This function associates a degree to each direction and this function has a certain properties which are further explained in Section 5. This information is represented into a matrix, it is a quantitative information of topological and directional relations between object pair. An algorithm is also proposed to define the JEPD fuzzy topological and directional relation. In this paper, a neighborhood graph for this set of JEPD topological and directional relations is developed. This graph is useful for the extension of spatial relations theory into spatiotemporal relations theory and spatiotemporal reasoning.

The method addressed fuzziness at two levels. Firstly, in case of topological relations, secondly, fuzziness according to the directional viewpoint. Method of combined fuzzy topological and directional (CTD) relations has twofold impacts, Allen relations are combined in such a way that whole space can be analyzed by using the directions and this method answers well the question that where a topological relation exists in space. This method will be helpful to answer the query completely in managing database and detecting the small changes in scene descriptions.

3. Preliminary Definitions

In this section, basic terms and definitions are denoted which are frequently used throughout the remainder of this paper.

Fuzzy Membership FunctionA membership function in a set is a function . Different fuzzy membership functions are proposed according to the requirements of the applications. For instance, trapezoidal membership function is defined as: It is written as where and .

Fuzzy SetA fuzzy set in a set is a set of pairs such that , where represents a fuzzy membership function.

Force HistogramThe force histogram attaches a weight to the argument object that object lies after in direction , it is defined as: The definition of Force histogram , directly depends on the definition of real valued functions , , and , which are used for the treatment of points, segments, and longitudinal sections, respectively [25]. These functions are defined as: where , represent the number of segments of object and object , respectively, and variables are explained in Figure 1.

Figure 1: Oriented line , segment as in , longitudinal section as .

Conceptual NeighborTwo relations between pairs of events are conceptual neighbors, if they can be directly transformed into one another by continuously deforming (by shortening, lengthening or moving) events in topological sense. A set of relations between pair of events form a conceptual neighborhood if its elements are path connected through conceptual neighbor relations [29].

4. Notations and Basic Terminology

This section describes the terminology used to decompose the objects into parallel segments and computation of terms used in this paper.

4.1. Oriented Lines, Segments, and Longitudinal Sections

Let and be two spatial objects and , where is any real number and . Let be an oriented line at orientation angle and is the intersection of object and oriented line . It is denoted by , called segment of object and length of its projection interval on -axis is . Similarly for object where is segment and length of its projection interval on -axis is , is the difference between the minimum of projection points of and maximum value of projection points of (for details see [18]).

In case of polygonal object approximation are calculated from intersecting points of line and object boundary. Only those oriented lines are considered which pass through at least one vertex of two polygons. If there exists more than one segment, then it is called longitudinal section as in case of in Figure 1.

4.2. 1D Allen Relations in Space

Allen [26] introduced 13 interval relations based on temporal interval algebra. These relations are arranged as with meanings before, meet, overlap, start, finish, during, equal, during by, finish by, start by, overlap by, meet by, and after. All the Allen relations in space are conceptually illustrated in Figure 2.

Figure 2: Black segment represents the reference object and gray segment represents argument object.

4.3. Fuzzification of Allen Relations

There is a homeomorphism between Allen temporal relations and 1D topological relations. Due to this homeomorphism, Allen relations are used for extracting the combined directional and topological relations information by repeatedly decomposing a two-dimensional objects into 1D segments in every direction. Fuzzy Allen relations are used to represent 1D fuzzy topological relations between two line segments.

The fuzzification process of Allen relations does not depend on particular choice of fuzzy membership function. Trapezoidal membership function (1) is used due to flexibility in shape. Let be an Allen relation between segments and where (argument object) and (reference object), is the distance between and it’s conceptional neighborhood. We consider a fuzzy membership function such as defined in (1) and let . The fuzzy Allen relations are defined as:(i), ,(ii)(iii), (iv),(v),(vi), ,(vii), ,(viii), ,(ix),

where where and are the lengths of segment () and segment (), respectively, and is the difference between the minimum value of projection points of and maximum value of projection points of .

Most of relations are defined by one membership function like , , , and and others are represented as a conjunction of more than one fuzzy membership function, such as , , , , , and . In fuzzy set theory, sum of all the relations is one, this gives the definition for fuzzy relation. Fuzzy Allen relations are not JEPD because there exist at least two relations between two spatial objects. All these equations assign a numeric value to a spatial relation.

4.4. Treatment of Longitudinal Section

During the decomposition process of an object into segments, there can be multiple segments for a line depending on object shape and boundary that is called longitudinal section. Different segments of a longitudinal section are at a certain distance and these distances might affect end results. Fuzzy T-norms, T-conorms, and fuzzy weighted operators are used for integration of available information, here for simplicity only T-conorm is used. where , represent the membership value for first and second segments of a longitudinal section. In this case each Allen relation has a fuzzy grade and the objective is to accumulate the best available information. The choice of this operator is discussed in [20]. When fuzzy operator OR is used, only one fuzzy value contributes for the resultant value that is maximum.

4.5. Normalization of Histogram of Fuzzy Allen Relations

The histogram of fuzzy Allen relations represents the total area of subregions of and that are facing each other in given direction . Mathematically it can be written as [20] where . In discrete space this integral can be written as sum of the surface areas. where and are the areas of reference and augment object, respectively, in direction and is total number of segments to be treated and is an Allen relation for segments and . These histograms can easily be normalized by dividing an Allen relation by sum of them for every . It is represented by where . [18]. Each fuzzy Allen relation has its own weight in a specified direction . These normalized weights can be used to define the quantitative fuzzy directions.

4.6. Properties of Fuzzy Allen Relations

These fuzzy Allen relations verify some properties called reorientation of relations. Such as(i), (ii).

These relations can be written as and their inverses as . Two-dimensional eight topological relations are possible combination of eight independent Allen relations. These relations and their reorientation show that the whole 2D space can be explored with the help of Allen relations using the oriented lines varying from 0 to .

5. Topological and Directional Relations

This section consists of five subsections. In Section 5.1, fuzzy membership functions for directional relations and possible combination of 1D Allen relations are described. Section 5.2 discusses relationship between 1D Allen and topological relations. An algorithm for defuzzification of fuzzy relations is proposed in Section 5.3.

5.1. Fuzzy Membership Function for Directional Relations

The equations defined in Section 4.3 assigns a numeric value to a spatial relation in a direction . To asses qualitative directions, a number of fuzzy membership functions have been proposed for assessing the directional relations, these functions include the trigonometric [23], triangular, and trapezoidal membership function or by means of favorable and unfavorable forces in force histograms method [25].

In this paper, we prefer to use trigonometric functions which are easy to implement. The function to model the direction Right_of for four-directional system should have conditions, and . This function is increasing in the interval and decreasing in the interval . At both relations Above or North and Right_of have equal values. Similarly at both Below or South and Right_of have equal values. at are the best choices.

To formulate eight directions, straightway process is to narrow the interval, that is, and for relation Right_of. For this purpose double-angle trigonometric functions are used which satisfies all the above cited conditions. Directions are represented as with meanings East, North_East, North, North_West, West, South_West, South, and South_East.

The angle distribution is taken to the half plane so opposite Allen relations are used to define the opposite directions except the direction East and West where union of both relations is used. This exception is used due to the reorientation of relations. Domain of East and West relations lies in different Allen relations (domain of East directional relation is and . This combination of relations results in the decrease of computational complexity due to angle distribution from ). Mathematically these relations are written as:(i), (ii), (iii),(iv),(v),(vi),(vii),(viii),

where , given in Section 4.6 are the fuzzy Allen relations with is the reorientation of and is a topological relation (Disjoint, Meet, Partially overlap, Tangent proper part, Nontangent proper part, Tangent proper part Inverse, Nontangent proper part Inverse, and Equal). In this way the relations are manipulated as a () matrix where row holds the topological relations and columns have the qualitative directional aspects of 2D scene information. Relations are expressed in numeric values where each value represents the percentage area of two objects under a specific topological relation in that qualitative direction.

5.2. Computing Two-Dimensional Topological Relations from Allen Relations

Simple 1D definitions cannot be extended and applied directly to a 2D space. Some assumptions have to be adopted and these definitions are extended to two-dimensional case through logic.

In the case of merging the topological and directional relations, some of the topological relations depend on a finite direction and limited set of points such as , , , . Relations like , , and hold if the relation holds in all directions. The topological relations which exist in a finite directions, they share with another topological relation existing in another direction. The relations which exist in all directions, they share directional relations. Temporal Allen relations represent the eight topological relations in spatial domain , these relations can be extended to spatial domain through the logical implication. These relations are defined as follows:

Disjoint In the theory, two objects are disjoint when there does not exist a connection relation (e.g., ). A fuzzy connection relation based on nearness¹ is defined using the resemblance relation. This states that if two objects are at a certain distance and resemblance relation is zero degree then objects will be disjoint. In our method, functions and play the same role as the resemblance relation with variable for the 1D interval. In such a case both functions, and , capture the semantics of , representing disjoint topological relation between two intervals on a real line. This provides us additional information that argument interval is either before or after the reference interval. This definition of disjointness of 1D intervals can be extended to two-dimensional objects by following relation: where are 2D objects. Now follow equation (7), objects have fuzzy disjoint topological relation in a direction if all parallel segments are topologically disjoint in direction . A fuzzy disjoint topological relation exists in 2D domain if it exists in all directions, that is, all the or behave like crisp functions and have a unit value along all oriented lines in . All the other functions have zero values and objects are at certain distance. These relations are explained in Table 1.

Table 1: Explanation of rows and columns in representation matrix.

Row
1
2
3
4
5
6
7
8

Top. rel.
D
M
PO
TPP
NTPP
TPPI
NTPPI
EQ

Column
1
2
3
4
5
6
7
8

Dir. rel.
E
NE
N
NW
W
SW
S
SE

Meet According to the topological view point, two objects have a meet topological relation when they share at least one boundary point and they do not share the interior regions of two objects. In our method of defining the topological relations, two functions are introduced and . Both functions play similar role like the resemblance relation defined by Schockaert et al. in [13], where degree of closeness is one, when the intervals share a common point and smooth transition from closeness to apart depends upon the size of the smaller interval. Both functions capture some additional semantics regarding position of the interval, either the interval is after or before the reference interval. To make the sense in 2D scene, overall Meet relation holds if at least one or has some nonzero value for any and all the other directions have the Disjoint topological relation. These relations are explained in Table 3.

Partially Overlap Partially overlap relation in topology (or overlap) exists when two objects share their interior region, in such a case their boundaries intersect at least from two points. In the functions and capture the overlap semantics on the interval along with the directional information. When 2D objects are decomposed into 1D segments, each pair of segments may have the different topological relations in different directions, for example, the object segments in direction may have overlap relation while in direction may have meet topological relation and in direction both the segments may be disjoint, where . This shows that overlap in 2D objects has other topological relations between 1D segments of both objects. These relations are explained in Table 4.

Tangent Proper Part and topological relation hold in space when and they share a common point on the boundary. In 1D spaces the relation or shares the same semantics, if is a crisp relation. In case of is a fuzzy relation they represent the fuzzy semantics. When a 2D object is decomposed into 1D segments, in a limited number of directions, they have the relation or while in other directions object is contained in the container, during Allen relation exists. Similarly in case of TPPI topological relation, in some directions the 1D segments share the common boundary point and and fuzzy Allen relations exist while in other directions the Allen relation exists. In our system of defining the topological and directional relations information, TPP (TPPI) relation exists in some direction while in other directions NTPP (respectivelyNTPPI) relation exists. These relations are explained in Tables 5 and 6.

Nontangent Proper Part This topological relation holds when argument object is contained in reference object and both objects do not share boundary. It means that object is contained in container object in all directions. When 1D Allen relations are applied to the spatial domain, relation captures same semantics. If each segment of an argument object is contained in the segment of a reference object in all directions, then argument object is topologically inside the reference object and they do not share boundary. Representing the fuzzy semantics, it is observed that this relation holds when there is a certain distance between boundaries of both objects. Situations having such relations are explained in first row in Table 7 of Section 7.6.

Nontangent Proper Part Inverse This topological relation holds when the container is an argument object and reference object is contained in the argument object, for example, object is a reference and is an argument object and object is contained in object , both objects do not share boundary points. It means that the object is contained in the container object in all directions. When the 1D relations are applied to the spatial domain, the relation captures the same semantics. If each segment of an argument object is contained in the segment of a reference object and this relation holds in all the directions, then there exists topological relation for a pair of 2D objects. As explained in second row in Table 7 of Section 7.6.

Equal Two objects and are equal if they share the interior, exterior, and boundary. Semantically both objects have the same interior, boundary, and exterior. In RCC system equal topological relations are defined as . Geometrically two regions are called equal when both objects seem equal in all directions. Function in our system captures the semantics equal if two intervals are equal. When this relation is applied to 1D segments of 2D objects, segments of both objects must be equal in all directions. These results that degree of topological relation distributed equally in all directions. As explained in third row in Table 7 of Section 7.6.

5.3. Defuzzification of Relations

Numerical values of a relation are stored in a matrix called fuzzy matrix of relations. The relations are manipulated in () matrix where topological relations are represented into rows and columns show directional distribution of each topological relation. The normalized histogram of fuzzy Allen relations represents a percentage surface area of two objects in a given direction . Multiplication with the directional fuzzy set normalizes this histogram over the whole 2D space. Hence, each entity of this matrix represents percentage surface area of two objects, represents the th topological relation in th direction. Rows and columns of the representation matrix are explained below².

These relations are not jointly exhaustive and pairwise disjoint (JEPD). To approximate 2D topological and directional relation, an algorithm for defuzzification of relations is proposed.

Defuzzification can be performed by a multiple ways, topological relations do not depend on numerical values. Two dimensional objects are decomposed into one-dimensional segments and two dimensional overlap topological relations give rise to all the one-dimensional topological relations in different directions. Another reason is that our question at hand is that where a topological relation holds between the object pair, we proceeds for extracting topological relation then proceed for directional relation. Fuzzy directional relations are distributed over multiple directions and reasoning about directional relations is performed by plausible occurrence of relation so we choose the maximum numerical value of directional relation.

As discussed in Section 5.2, that when a 2D object having a partially overlap relation is decomposed into 1D segments, then almost all the relations are possible between the segments in different directions. This distribution of 1D spatial relations depends upon the size of objects and overlapping surface area of objects. Due to this reason extraction method must be started from overlap relation. If partial overlap relation does not exist anywhere then we search for other possible topological relation. Proposed algorithm for 2D topological relation from 1D topological relations is described as Algorithm 1. The output of this algorithm is a pair of JEPD topological and directional relation. These relations are possible to represent in a neighborhood graph for topological and directional relations.

for to 8 do

    if  then

        topological relation is overlap and directional relation is

    else if  then

        topological relation is TPP and directional relation is

    else if  then

        topological relation is TPPI and directional relation is

    else if all are approximately equal for all  then

        topological relation will be NTPP

    else if all are approximately equal for all  then

        topological relation is NTPPI

    else if all are approximately equal for all  then

        topological relation will be EQ

    else if  then

        topological relation is meet and directional relation is

    else

        topological relation is Disjoint and directional relation is

    end if

end for

Algorithm 1: Algorithm for defuzzification of 2D fuzzy topological and directional relations.

6. Neighborhood Graph

Conceptual neighborhood graphs describe the possible continuous transitions. Graphs in topological relations describe the topological transitions between object pair when topological transformations are applied. These transformations denote the movement, expansion, and contraction of objects. On the other hand, neighborhood graph in directional relations captures only movement.

These neighborhood graphs are frequently used for common sense reasoning and path planning in many A.I. fields. These graphs are developed between the crisp relations. Combined topological and directional relations, after the defuzzification process behaves like the crisp relations. A graph can describe the three types of movements, here for simplicity we represent one part of the complete graph.

In Figure 3, it is shown that every node of the neighborhood graph has eight edges except from the nodes representing the and TPP relations. Each node represents a pair of relations where represents the topological and represents the orientation relation. In this neighborhood graph each node has eight neighbors circular, straight, and diagonal neighbors, respectively, represent directional, topological, and topological-directional neighbors.

Figure 3: Neighborhood graph in the system of combined topological and directional relations (CTD) method.

7. Experiments

The fuzzy relations that are manipulated in matrix where topological relations are represented into rows and columns show the directional distribution of each topological relation. Values in each cell represent the strength of the relation between pair of the objects. Throughout this paper reference object is represented by dark grey color and light grey object represents the argument object . In these tables, object pairs are represented in first column, second column shows the graphical representation of results. In third column, results for the defuzzified topological and directional relations are represented, these results are produced by the Algorithm 1. Throughout the rest of paper, the abbreviation Top. rel. is used for topological relation and Dir. is used for directional relation.

7.1. Fuzzy Disjoint () Topological Relation

In this section the fuzzy disjoint topological relations in different directions are considered. As in Table 2, first column represents spatial position of objects and second column represents the overall 2D topological and directional relations and defuzzified topological and directional relation by Algorithm 1 are depicted in third column. As object changes its position, its directional relation also changes, in first row of Table 2, argument object lies in to the reference object . The Algorithm generates the topological relation Disjoint and directional relation East. In second row, argument object lies in direction North_West, it histogram representation shows that in the North_West direction, it has the maximum membership value, as a result, algorithm allocates it a directional relation North_West.

Table 2: Topological relation D.

Obj. pairs
Matrix rep.
Algo. output

Top. rel. = D

Dir. = E

Top. rel.= D

Dir = N_W

Top. rel. = D

Dir = W

Top. rel. = D

Dir. = S_W

Table 3: Topological relation M.

Obj. pairs
Matrix rep. of relations
Algo. output

Top. rel. = M

Dir. = East

Top. rel. = M

Dir = North

Top. rel. = M

Dir = NW

Top. rel. = M

Dir. = W

Table 4: Object pairs with PO topological relation.

Obj. pairs
Matrix rep. of relations
Algo. output

Top. rel. = PO

Dir. = East

Top. rel. = PO

Dir = N

Top. rel. = PO

Dir = W

Top. rel. = PO

Dir. = S

Table 5: Object pairs with TPP topological and their directional relations.

Obj. pairs
Matrix rep. of relations
Algo. output

Top. rel. = TPP

Dir. = E

Top. rel. = TPP

Dir = N

Top. rel. = TPP

Dir = W

Top. rel. = TPP

Dir. = S

Table 6: Object pairs with TPPI topological and their directional relations.

Obj. pairs
Matrix rep.
Algo. output

Top. rel. = TPPI

Dir. = E

Top. rel. = TPPI

Dir = N

Top. rel. = TPPI

Dir = West

Top. rel. = TPPI

Dir. = South

Table 7: Topological relations NTPP, NTPPI and EQ.

Obj. pairs
Matrix rep.
Algo. output

Top. rel. = NTPP

Dir. = All

Top. rel. = NTPPI

Dir. = All

Top. Rel. = Equal

Dir. = All

7.2. Fuzzy Meet (M) Topological Relation

Fuzzy meet relations in topology exist when the objects are exactly meeting or very close to each other and it seems that they are sharing the boundary. The Table 3 represents the fuzzy meet topological relation ().

First column shows the object locations at different directions of argument object with respect to the reference object . First rows show that the argument object touches the object from the East direction (first column). Second column shows its histogram representation where the relations are shared between the Disjoint and Meet (second column) and their 2D topological relation generated by the algorithm are shown in third column. Similarly second row represents the argument object touches the reference object from North direction, for this object pair algorithm produces the result that topological relation with North directional relation. In the third row argument object seems touching from the north_ west direction, hence the output of algorithm shows that topological relation holds with directional relation North_West. Similarly argument object in last row nearly touches from west as a result the algorithm for defuzzification of spatial relations produces the resultant direction as West.

7.3. Fuzzy Overlap (PO) Topological Relation

In this example we consider the overlapping objects in different directions. The object relative position, topological and directional relations, and the topological and directional relations generated by the Algorithm 1 are described in Table 3.

In the first column, object pairs are represented having the topological relation Partially_Overlap in different directions, second column represents topological and directional relations in a histogram representation. The results generated by algorithm are denoted in third column. As soon as object changes their position, topological and directional relations matrix also changes. The directional relation between overlapping objects depends upon the relative size, shape and overlapping surface area of objects. In all the above-cited examples, object is smaller relatively to object .

7.4. Fuzzy TPP Topological Relation

In crisp topological relations, this relation holds when the argument object lies inside the reference object and share the boundary with the reference object. In fuzzy relations, this relation (TPP) holds when the argument object lies inside the reference object near the boundary. In this method an entity in the matrix represents the degree of topological relation in a particular direction, as a result this relation holds in a particular direction along with the other fuzzy topological NTPP relation in other directions. For example in first row of the Table 4 where object lies near the eastern edge of reference object, their relations show that highest value of topological relation, TPP, exists in direction East while in all other directions fuzzy topological relation, NTPP, holds. Third column represent the topological and directional relation which is the algorithm output.

7.5. Fuzzy TPPI Topological Relation

In this example, reference object is considered inside the argument object . The object pairs are shown in first column of the Table 5. Second column shows the histogram representation of relations and third column shows the results produced by the Algorithm 1 as a single topological and directional relation.

Obviously it is an inverse relation as a result visually reference object seems to be in opposite direction of the directional relation. In first row of the table, visually reference object lies near the West edge of the argument object, but its relation is East, this is due to the inverse topological relation. When the objects commute, the topological and directional relations become inverse, for example consider the object pairs in third row of Table 4 and first row of Table 5, both represent the same object pair, when the objects commute, both the topological and directional relations become inverse to each other. Similarly for the other object pairs in Tables 4 and 5, same object is used to represent the object pair when objects commute the topological and directional relations become inverse.

7.6. Fuzzy NTPP, NTPPI, and EQ Topological Relations

In these examples, all those topological relations which must exist in all the directions are considered.

Here, it is explained that a single topological relation must be held in all the directions for reference object. The object pairs are represented in first column of the Table 6. In first row, argument object lies inside the reference object as a result the NTPP relation holds equally in all directions, these results are represented in first row of the table, the algorithm generates the directional relation All which means that this topological relation holds in all directions. In second row reference object lies inside the argument object, as a result inverse topological relation holds in all directions. Third rows show the situation, when both objects are equal in size, thus fuzzy equal relation holds if both objects have equal size in all directions.

8. Conclusion and Future Work

In this paper a new method for developing fuzzy topological and directional relations was proposed and all the topological relations are generated using fuzzy Allen relations and directions are evaluated with the help of trigonometric functions. This method deals with fuzziness at two levels, fuzziness in the topological relations due to their geometrical description and fuzziness in directional relations. This method also deals objects with holes or convex objects. Longitudinal section holds when objects with holes or convex objects are decomposed into 1D segments. A method is described in Section 4.4 to deal with a longitudinal section. It is a numerical description of relative position of objects and value in each cell that represents the strength of the relation between object pair.

This method can be used in designing and managing spatial database, where one single model can answer adequately a query. This method can detect small changes in a spatial scene when implemented to the same pair of objects at two different time instant. In this way this method can replace the implementation of four methods (topological, directional, distance, and internal cardinal directional (ICD) relations) of spatial relations which are used to compare a scene.

An algorithm for defuzzification of spatial relations is also given such that we can estimate the 2D fuzzy topological relation along with the directional components. These defuzzified spatial relations are represented by a neighborhood graph. These results will be helpful in extending this work to a spatiotemporal aspects and fuzzy spatiotemporal reasoning and natural language processing. These results will be used in future to develop the spatiotemporal relations and motion verbs.

Endnotes

1.Schockaert et al. [13] defined a connection relation based on nearness as: where , , and is a Euclidian distance between objects and . They considered all of three, that is, relation , and both objects are fuzzy, but the connection will remain fuzzy if we consider the resemblance relation as fuzzy relation and , as crisp regions.

2. It is the representation, rows and columns explain labeling of topological and directional relations.

References

N. H. Ps and Max J. Egenhofer, “A model for detailed binary topological relationships,” Geomatica, vol. 47, no. 3-4, pp. 261–273, 1993.

David A. Randell, Cui Zhan, and Anthony G. Cohn, “A spatial logic based on regions and connection,” in Proceedings of the 3rd International Conference on Knowledge Representation and Reasoning (KR '92), pp. 165–176, Morgan Kauffmann, San Francisco, Calif, USA, 1992.

S. Du, Q. Qin, Q. Wang, and B. Li, “Fuzzy description of topological relations I: a unified fuzzy 9-intersection model,” in Proceedings of the 1st International Conference on Natural Computation (ICNC '05), vol. 3612, part 3, pp. 1261–1273, Changsha, China, August 2005.

J. Chen, C. Li, Z. Li, and C. Gold, “A voronoi-based 9-intersection model for spatial relations,” International Journal of Geographical Information Science, vol. 15, no. 3, pp. 201–220, 2001.

F. Benjamin Zhan, “Approximate analysis of binary topological relations between geographic regions with indeterminate boundaries,” Soft Computing, vol. 2, no. 2, pp. 28–34, 1998.

W. Shi and K. Liu, “A fuzzy topology for computing the interior, boundary, and exterior of spatial objects quantitatively in GIS,” Computers and Geosciences, vol. 33, no. 7, pp. 898–915, 2007.

Eliseo Clementini and Paolino Di Felice, “An algebraic model for spatial objects with indeterminate boundaries,” in Geographic Objects with Indeterminate Boundaries, P. Burrough and A. Frank, Eds., pp. 155–169, Taylor & Francis, London, UK, 1996.

Xinming Tang, Modeling fuzzy spatial objects in fuzzy topological spaces with application to land cover changes, Ph.D. thesis, ITC publications,, The Netherlands, 2004.

Bowman L. Clarke, “A calculus of individuals based on “connection”,” Notre Dame Journal of Formal Logic, vol. 22, no. 3, pp. 204–218, 1981.

K. Liu and W. Shi, “Quantitative fuzzy topological relations of spatial objects by induced fuzzy topology,” International Journal of Applied Earth Observation and Geoinformation, vol. 11, no. 1, pp. 38–45, 2009.

G. K. Palshikar, “Fuzzy region connection calculus in finite discrete space domains,” Applied Soft Computing Journal, vol. 4, no. 1, pp. 13–23, 2004.

S. Schockaert, M. De Cock, C. Cornelis, and E. E. Kerre, “Fuzzy region connection calculus: representing vague topological information,” International Journal of Approximate Reasoning, vol. 48, no. 1, pp. 314–331, 2008.

S. Schockaert, M. De Cock, C. Cornelis, and E. E. Kerre, “Fuzzy region connection calculus: an interpretation based on closeness,” International Journal of Approximate Reasoning, vol. 48, no. 1, pp. 332–347, 2008.

K. Roop and Max J. Egenhofer, “Similarity of cardinal directions,” in Proceedings of the 7th International Symposium on Advances in Spatial and Temporal Databases (SSTD '01), vol. 2121 of Lecture Notes in Computer Science, no. 1, pp. 36–58, Springer, London, UK, 2001.

A. U. Frank, “Qualitative spatial reasoning about distances and directions in geographic space,” Journal of Visual Languages & Computing, vol. 3, no. 4, pp. 343–371, 1992.

Y. Liu, X. Wang, X. Jin, and L. Wu, “On internal cardinal direction relations,” in Proceedings of the International Conference on Spatial Information Theory (COSIT '05), vol. 3693 of Lecture Notes in Computer Science, pp. 283–299, Ellicottville, NY, USA, September 2005.

J. Malki, L. Mascarilla, E.-H. Zahzah, and P. Boursier, “Directional relations composition by orientation histogram fusion,” in Proceedings of the International Conference on Pattern Recognition (ICPR '00), vol. 15, no. 3, pp. 758–761, 2000.

Pascal Matsakis and Dennis Nikitenko, “Combined extraction of directional and topological relationship information from 2D concave objects,” in Fuzzy Modeling with Spatial Information for Geographic Problems, pp. 15–40, Springer, New York, NY, USA, 2005.

Nadeem Salamat and Elhadi Zahzah, “Fuzzy spatial relations for 2D scene,” in Proceedings of the 2010 International Conference on Image Processing, Computer Vision, and Pattern Recognition (IPCV '10), pp. 47–53, Las Vegas, Nev, USA, July 2010.

N. Salamat and E.-H. Zahzah, “On the improvement of combined fuzzy topological and directional relations information,” Pattern Recognition, vol. 45, no. 4, pp. 1559–1568, 2012.

S. Du, Q. Wang, Q. Qin, and Y. Yang, “Fuzzy description of topological relations II: computation methods and examples,” in Proceedings of the 1st International Conference on Natural Computation (ICNC '05), pp. 1274–1279, Changsha, China, August 2005.

M. A. Cobb and F. E. Petry, “Modeling spatial relationships within a fuzzy framework,” Journal of the American Society for Information Science, vol. 49, no. 3, pp. 253–266, 1998.

K. Miyajima and A. Ralescu, “Spatial organization in 2D segmented images: representation and recognition of primitive spatial relations,” Fuzzy Sets and Systems, vol. 65, no. 2-3, pp. 225–236, 1994.

I. Bloch and A. Ralescu, “Directional relative position between objects in image processing: a comparison between fuzzy approaches,” Pattern Recognition, vol. 36, no. 7, pp. 1563–1582, 2003.

P. Matsakis and L. Wendling, “A new way to represent the relative position between areal objects,” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 21, no. 7, pp. 634–643, 1999.

J. Allen, “Maintaining knowledge about temporal intervals,” Communications of the ACM, vol. 26, no. 11, pp. 832–843, 1983.

P. Matsakis, L. Wawrzyniak, and J. Ni, “Relative positions in words: a system that builds descriptions around Allen relations,” International Journal of Geographical Information Science, vol. 24, no. 1, pp. 1–23, 2010.

L. Wawrzyniak, P. Matsakis, and D. Nikitenko, “Speaking with spatial relations,” International Journal of Intelligent Systems Technologies and Applications, vol. 1, no. 3-4, pp. 280–300, 2006.

C. Freksa, “Temporal reasoning based on semi-intervals,” Artificial Intelligence, vol. 54, no. 1-2, pp. 199–227, 1992.