Research Article | Open Access

Volume 2013 |Article ID 205261 | https://doi.org/10.1155/2013/205261

Ah-Lian Kor, Brandon Bennett, "A Hybrid Reasoning Model for “Whole and Part” Cardinal Direction Relations", Advances in Artificial Intelligence, vol. 2013, Article ID 205261, 20 pages, 2013. https://doi.org/10.1155/2013/205261

# A Hybrid Reasoning Model for “Whole and Part” Cardinal Direction Relations

Accepted24 Sep 2012
Published28 Feb 2013

#### Abstract

We have shown how the nine tiles in the projection-based model for cardinal directions can be partitioned into sets based on horizontal and vertical constraints (called Horizontal and Vertical Constraints Model) in our previous papers (Kor and Bennett, 2003 and 2010). In order to come up with an expressive hybrid model for direction relations between two-dimensional single-piece regions (without holes), we integrate the well-known RCC-8 model with the above-mentioned model. From this expressive hybrid model, we derive 8 basic binary relations and 13 feasible as well as jointly exhaustive relations for the x- and y-directions, respectively. Based on these basic binary relations, we derive two separate composition tables for both the expressive and weak direction relations. We introduce a formula that can be used for the computation of the composition of expressive and weak direction relations between “whole or part” regions. Lastly, we also show how the expressive hybrid model can be used to make several existential inferences that are not possible for existing models.

#### 1. Introduction

Relative positions of regions in large-scale spaces, and particularly in the geographic domain, are often described by relations referring to cardinal directions. These relations specify the direction from one region to another in terms of the familiar compass bearings: north, south, east, and west. The intermediate directions northwest, northeast, southwest, and southeast are also often used. Some models for reasoning with cardinal directions are the cone-shaped [1, 2], projection-based models (ibid), and direction matrix .

Papadias and Theodoridis  describe topological and direction relations between regions using their minimum bounding rectangles (MBRs). However, the language used is not expressive enough to describe direction relations. Additionally, the MBR technique yields erroneous outcome when involving regions that are not rectangular in shape  Some work has been done on hybrid direction models. Escrig and Toledo  and Clementini et al.  integrated qualitative orientation and distance to obtain positional information. Isli  combined Frank’s [1, 2] cardinal direction relations model and Freksa’s  orientation model to facilitate a more expressive reasoning mechanism. Sharma and Flewelling  infer spatial relations from integrated topological and cardinal direction relations. Liu and colleagues  have developed reasoning algorithms which combine RCC-8  for topological relations (discussed in Section 4) and the cardinal direction calculus (CDC , discussed in Section 2) for direction relations. Li and colleagues’ work [14, 15] focuses on the development and evaluation of an efficient reasoning mechanism for RCC-8 and RA (Rectangle Algebra, and further explanation can be found in [16, 17]) which is employed to solve the satisfiability problem of these two joint constraint networks.

Typically, composition tables are used to infer spatial relations between objects. They have been employed to make different inferences about cardinal directions relations [3, 1924]. One of the advantages of composition tables is that they can lead to tractable computation of inferences . In this paper, we have developed an expressive hybrid model for direction relations. We will describe the binary relations in the model and define “whole and part” relations. Based on this model, we derive two composition tables for expressive and weak direction relations. This is followed by introducing a formula which could be used to compute both expressive and weak direction relations for “whole and part” regions. Finally, we will demonstrate how the model could be used to make several types of existential inferences.

#### 2. Cardinal Direction Models

Frank [1, 2] defines cardinal directions as cones which are related to the angular direction between an observer’s position (in the form of a point) and a destination point. The cone-shaped cardinal direction model could have 4, 8, or more partitions (look at Figure 1).

Frank defines the four major cardinal directions (north, south, east, and west) as pair-wise opposites and half planes. When the two sets of half planes are combined, it yields four intermediate cardinal directions (northeast, northwest, southeast, and southwest) which are depicted in Figure 2. Ligozat  applies the model to points in a two-dimensional space. Thus, the referent object, Point B, will be given the four major directions. However, the relations between two objects will be denoted by one of the following basic relations: N, S, E, W, NE, NW, SE, SW, or EQ.

Frank [1, 2] extends the half-planes to tiles for regions (as shown in Figure 3). In this projection-based model, the plane of an arbitrary single-piece region a is partitioned into nine tiles, North-West, NW(a); North, N(a); North-East, NE(a); South-West, SW(a); South, S(a); South-East, SE(a); West, W(a); Neutral Zone, O(a); East, E(a). According to Frank, the O tile is considered a neutral zone, because in this tile, the relative cardinal direction between two regions cannot be determined due to their proximity.

Frank compares and contrasts reasoning with the cone-shaped and the projection-based models for cardinal directions. The reasoning capability for both the systems is limited and weak though they do not differ substantially in their reasoning outcomes. In order to create a more expressive reasoning model, Isli  integrates the Frank’s cone-shaped and projection-based models to facilitate reasoning about relative position of points of the 2-dimensional space. This hybrid model is well suited for applications of large-scale high-level vision, such as, for example, satellite-like surveillance of a geographic area.

The cardinal direction calculus (CDC)  is a very expressive qualitative calculus for directional information of extended objects. A direction relation matrix (DRM) in (1) is used to represent direction relations between connected plane regions. Liu and colleagues [27, 28] have shown that consistency checking of complete networks of basic CDC constraints is tractable, while reasoning with the CDC in general is NP hard. However, if some constraints are unspecified, then consistency checking of incomplete networks of basic CDC constraints is intractable.

The cardinal direction of a target object (region b) to a referent object (region a) as shown in Figure 4 is described by recording those tiles covered by the target object. According to Goyal and Egenhofer , a matrix is employed to register the intersections between the target object and the tiles of the referent object (see (1)). The elements in the direction-relation matrix correspond to the tiles of the referent object, region a (in Figure 4).

In (1), the symbol represents empty tile while represents nonempty tile. These are used to describe cardinal directions at a coarse granularity level. In Figure 4, region occupies the N, NW, and E tiles of region . Thus, these three tiles are considered nonempty while the rest are considered empty (as shown in (1)).

Goyal and Egenhofer  extend the direction relation matrix, so that it will be more expressive. Instead of using the empty and nonempty notations, it registers how much (in terms of proportion) the target region occupies each tile (see (2)). The expressive direction relation matrix in (2) has 6 elements of zero and three nonzero elements which sum up to 1.0. If the matrix has only one nonzero element then it is known as a single element direction relation matrix while a matrix with more than one nonzero element is called a multielement direction relation matrix (ibid).

Coarse direction relation matrix :

Expressive direction relation matrix :

#### 3. Horizontal and Vertical Constraints Model

Every region has a minimal bounding box with specific minimum and maximum (and ) values. The boundaries of the minimal bounding box of a region are depicted in Figure 5. The set of boundaries of the minimal bounding box for region could be represented as , , , , and these values will be employed to define each tile.

The definition of the nine tiles in terms of the boundaries of the minimal bounding box is listed as below. Note, in this paper, all the tiles are regarded as mutually exclusive. Thus neighboring tiles cannot share common boundaries:(i),(ii),(iii),(iv),(v),(vi),(vii),(viii),(ix).

In our previous papers [29, 30], we have shown how to partition the nine tiles (in Figure 5) into sets based on horizontal and vertical constraints called the Horizontal and Vertical Constraints Model. However, in this paper, we shall rename the sets for easy comprehension purposes. The following are the definitions of the partitioned regions.(i)WeakNorth(a) is the region that covers the tiles NW(a), N(a), and NE(a). WeakNorth(a) NW(a) N(a) NE(a).(ii)Horizontal(a) is the region that covers the tiles W(a), O(a), and E(a). Horizontal(a) W(a) O(a) E(a).(iii)WeakSouth(a) is the region that covers the tiles SW(a), S(a), and SE(a). WeakSouth(a) SW(a) S(a) SE(a).(iv)WeakWest(a) is the region that covers the tiles SW(a), W(a), and NW(a). WeakWest(a) SW(a) W(a) NW(a).(v)Vertical(a) is the region that covers the tiles S(a), O(a), and N(a). Vertical(a) S(a) O(a) N(a).(vi)WeakEast(a) is the region that covers the tiles SE(a), E(a), and NE(a). WeakEast(a) SE(a) E(a) NE(a).

#### 4. RCC Model

RCC stands for region connection calculus [13, 18, 31]. It is a first-order theory employed for qualitative spatial representation as well as reasoning and is based on Clarke’s logic of connection [32, 33]. The connection predicate, , which means “region a is connected with region b”, is the only primitive predicate for RCC. This dyadic relation is both reflexive and symmetric and holds whenever regions and are “connected.” The two main axioms expressing reflexivity and symmetry  are as follows: Based on this primitive, a basic set of dyadic relations are defined as shown in Table 1.

 Relations Semantics Definition DC a is disconnected from b C P a is part of b PP a is a proper part of b P  ∧  P EQ a is identical with b P  ∧ P O a overlaps b P  ∧ P DR a is discrete from b O PO a partially overlaps b O   P ∧  P EC a is externally connected to b C  ¬ O TPP a is a tangential proper part of b PP   EC  ∧ EC NTPP a is a nontangential proper part of b PP  ¬  EC  ∧ EC

The relations P, PP, TPP, and NTPP are nonsymmetrical and will have their respective inverses (Pi, PPi, TPPi, and NTPPi). Of all the listed relations, only 8 relations in the following set {DC, EC, PO, EQ, TPP, NTPP, TPPi, NTPPi} are provably jointly exhaustive and pairwise disjoint (JEPD—which means any two regions are related by exactly one of these eight relations [34, 35]). Randell and colleagues  refer this set of relations as RCC-8, and they are depicted in Figure 6.

#### 5. Expressive Hybrid Model

In our expressive hybrid model, we have combined our Horizontal and Vertical Constraints Model [29, 30] and RCC-8 .

##### 5.1. Definitions

If there is a referent region and another arbitrary region , the possible basic binary relations between them can be defined as below.

In terms of weak relations,(i)WeakNorth(b,a): b WeakNorth(a),(ii)Horizontal(b,a): b Horizontal(a),(iii)WeakSouth(b,a): b WeakSouth(a),(iv)WeakEast(b,a): b WeakEast(a),(v)Vertical(b,a): b Vertical(a),(vi)WeakWest(b,a): b WeakWest(a).

In terms of RCC-8 relations,(i)DCy(a,b): y-dimension of is disconnected from y-dimension of b, (ii)EQy(a,b): y-dimension of is identical with y-dimension of b, (iii)POy(a,b): y-dimension of partially overlaps y-dimension of b, (iv)ECy(a,b): y-dimension of is externally connected to y-dimension of b, (v)TPPy(a,b): y-dimension of is a tangential proper part of y-dimension of b, (vi)NTPPy(a,b): y-dimension of is a nontangential proper part of y-dimension of b, (vii)TPPiy(a,b): y-dimension of is a tangential proper part of y-dimension of a, (viii)NTPPiy(a,b): y-dimension of is a non-tangential proper part of y-dimension of a, (ix)DCx(a,b): x-dimension of is disconnected from x-dimension of b, (x)EQx(a,b): x-dimension of is identical with x-dimension of b, (xi)POx(a,b): x-dimension of partially overlaps x-dimension of b, (xii)ECx(a,b): x-dimension of is externally connected to x-dimension of b, (xiii)TPPx(a,b): x-dimension of is a tangential proper part of x-dimension of b, (xiv)NTPPx(a,b): x-dimension of is a non-tangential proper part of x-dimension of b, (xv)TPPix(a,b): x-dimension of is a tangential proper part of x-dimension of a, (xvi)NTPPix(a,b): x-dimension of is a non-tangential proper part of x-dimension of a.

##### 5.2. Basic Binary Relations of the Hybrid Model

In this section, we shall demonstrate how we come up with all possible binary direction relations for the hybrid model. All the possible basic binary relations for each horizontal set are shown in Figure 7. The notations that will be used in this section are as follows.(i)RELy(b,Z) is any basic binary relation between and the horizontally partitioned region, . (ii)RELx(b,Z) is any basic binary relation between and the vertically partitioned region, .

Based on Figure 7, the total number of possible binary relations for the hybrid model in the y-direction is which equals 44 cases. However, due to the single-piece condition, the following rules apply.

Rule 1. (b WeakNorth(a) WeakSouth(a)).

Rule 2. Assume to be {WeakNorth(a), Horizontal(a), WeakSouth(a)}. If NTPP where then (NTPP) REL,where , or (NTPP REL) REL,where .

Rule 3. Assume to be {WeakNorth(a), WeakSouth(a)}.
If (TPP(,Horizontal()) EC, where ,
then (TPP,Horizontal) EC REL,
where .

Based on the rules above, the total number of feasible binary relations for single-piece regions in the y-direction is (44-4-23-4) which equals 13 cases. The thirteen feasible and jointly exhaustive binary relations for the hybrid model are depicted in Figure 8. This means that, in the hybrid model, the number of jointly exhaustive binary relations (in both the - and -directions) that hold between two single-piece regions will be . This concurs with the basic relations in the Rectangle Algebra Model [16, 17].

#### 6. Combined Mereological, Topological, and Cardinal Direction Relations

Mereology (from the Greek μερος, “part”) is the theory of parthood relations: of the relations of part to whole and the relations, of part to part within a whole . In this section, we shall make two distinctions: “whole and part” cardinal directions, as well as “weak and expressive” relations. We shall rewrite the notations used in our previous paper . means that only part of the destination extended region, , is in tile R(). The direction relation means that whole destination extended region, , is in the tile R(). As an example, when is completely in the South-East tile of , this direction relation can be represented as shown below:

The “whole and weak” direction relations are defined in terms of horizontal and vertical sets:(i) WeakNorth() Vertical(),(ii) WeakNorth() WeakEast(),(iii) WeakNorth() WeakWest(),(iv) WeakSouth() Vertical(),(v) WeakSouth() WeakEast(),(vi) WeakSouth() WeakWest(),(vii) Horizontal() WeakEast(),(viii) Horizontal() WeakWest(),(ix) Horizontal() Vertical().

The “whole and expressive” direction relations are defined in terms of expressive horizontal and vertical sets. A general form of such direction relation can be represented as follows: where H(a) and V(a) are horizontally and vertically partitioned regions for , respectively, where and R(a) (H(a) V(a)).

#### 7. Composition Table

Composition is a common inference mechanism for a wide range of relations and has been exploited for automated reasoning. It has been employed for reasoning about temporal descriptions of events based on intervals , topological relations [5, 3842], direction relations [1, 24, 29, 30], and combined topological relations with cardinal direction relations . To reiterate, one of the main advantages of using composition tables is that they can lead to tractable computation of significant classes of inference .

Given the relation between and and the relation between and , a composition table allows for concluding the relation between and . Bennett  defines the concept of the composition of two binary relations as follows.  Given a theory Θ which is used to define a set β of mutually exhaustive and pairwise disjoint dyadic relations (i.e., a basis set), the composition, Comp(, ), of two relations and which are taken from is defined to be the disjunction of all relations in , such that, for arbitrary constants , , and , the formula is consistent with Θ.

##### 7.1. Composition of Regions with Parts

In our previous paper , the method for computing the composition of cardinal direction relations for part regions is not robust enough, because it does not hold for all cases. In order to address this problem, we introduce a formula (obtained through case analyses) for computing the composition of cardinal direction relations. The basis of the formula is to consider the direction relation between and each individual part of followed by the direction relation between each individual part of and .

Assume that the region covers one or more tiles of region while region covers one or more tiles of .The direction relation between and is while the direction relation between and is . The composition of direction relations could be written as follows: Firstly, establish the direction relation between and each individual part of b: where .

Consider the direction relation of each individual part of and . Equation (7) becomes where .

##### 7.2. Composition of Weak Direction Relations

Firstly, we shall demonstrate how to apply the formula for the composition of weak direction relations followed by more expressive direction relations.

Type 1. (().
Find the composition of .
Use (8) with and :
The outcome of the composition is
This means that the region c O(a) W(a) S(a) SW(a).

Type 2. (().
Find the composition of .
Use (8) with , and :
The outcome of the composition is
Viewing the fact that and , the above outcome can be written as
This means that the region E(a) O(a) W(a) NE(a) N(a) NW(a).

Type 3. () ().
Find the composition of (()). Establish the relationship between and each individual part of . In this case, (), () and () holds (this is not necessarily true for all cases).
Use (8) with and .
Therefore, the above composition can be rewritten as
The outcome of the composition is
This means that the of the minimal bounding box for region is greater than of the minimal bounding box for region and .

Type 4. (().
Find the composition of
Figure 9 has been drawn for this example. Establish the direction relation between each individual part of and .
Use (8) with ; the value of for is , while the value for is :

In part of the above composition, . To simplify the composition, we consider the combined horizontal and vertical sets of all the parts of .Thus, we have the following:

In part of the above composition, , , , , , , . The simplified version of the composition is as follows:

The final outcome of the composition is part part is equivalent to

This means that the region which is the union of all the 9 tiles of region . However, based on Figure 9, region .

##### 7.3. Composition of Expressive Direction Relations

We shall use the following notations to represent the 13 binary y-direction relations:(i)REL1-NTPP(,WeakNorth()), (ii)REL2()-TPP(,WeakNorth()) EC(,Horizontal()),(iii)REL3()-TPP(,Horizontal()) EC(,WeakNorth()),(iv)REL4()-TPP(,Horizontal()) EC(,WeakSouth()),(v)REL5()-NTPP(,Horizontal()),(vi)REL6()-EQy(,Horizontal()),(vii)REL7()-NTPP(,WeakSouth()),(viii)REL8()-TPP(,WeakSouth()) EC(,Horizontal()),(ix)REL9()-PO(,WeakNorth()) PO(,Horizontal())   DC(,WeakSouth()),(x)REL10()-PO(,WeakNorth()) PO(,Horizontal())   EC(,WeakSouth()),(xi)REL11()-PO(,WeakNorth()) PO(,WeakSouth())   NTPP(,Horizontal()),(xii)REL12()-PO(,WeakSouth()) PO(,Horizontal())   DC(,WeakNorth()),(xiii)REL13()-PO(,WeakSouth()) PO(,Horizontal())   EC(,WeakNorth()).

Similar notations will be used to represent the 13 binary -direction relations (WeakNorth is replaced by WeakEast, Horizontal with Vertical, and WeakSouth by WeakWest).

Example 1. Find the composition of the following:
Establish the direction relation between and each individual part of . Use (8), with and , and :
Use (5), and the above composition can be rewritten in the following expressive form:
Use Tables 2 and 3, and and . Thus, the outcome of the composition can be written as follows:
The outcome of the composition is:

(a)
 Composed relations of  {WN} and {WN,H} WN c,b H(c,b) NTPPy(c,WN(b)) TPPy(c,WN(b))∧ ECy(c,H(b)) TPPy(c,H(b))∧ ECy(c,WN(b)) TPPy(c,H(b))∧ ECy(c,WS(b)) NTPPy(c,H(b)) EQy(c,H(b)) NTPPy(b,WN(a)) NTPPy(c,WN(a)) NTPPy(c,WN(a)) NTPPy(c,WN(a)) NTPPy(c,WN(a)) NTPPy(c,WN(a)) NTPPy(c,WN(c)) WN TPPy(b,WN(a))∧ ECy(b,H(a)) NTPPy(c,WN(a)) NTPPy(c,WN(a)) NTPPy(c,WN(a)) TPPy(c,WN(a)) ∧ ECy(c,H(a)) NTPPy(c,WN(a)) TPPy(c,WN(a)) ∧ ECy(c,H(a)) WN(b,a) NTPPy(c,WN(a)) WN(c,a)
Note: the data in bold are results of the composition of relations.
(b)
 Composed relations of  {H} and {WN,H} WN(c,b) H(c,b) NTPPy(c,WN(b)) TPPy(c,WN(b))∧ ECy(c,H(b)) TPPy(c,H(b))∧ ECy(c,WN(b)) TPPy(c,H(b))∧ ECy(c,WS(b)) NTPPy(c,H(b)) EQy(c,H(b)) H(b,a) TPPy(b,H(a))∧ ECy(b,WN(a)) NTPPy(c,WN(a)) TPPy(c,WN(a)) ∧ ECy(c,H(a)) TPPy(c,H(a)) ∧ ECy(c,WN(a)) NTPPy(c,H(a)) NTPPy(c,H(a)) TPPy(c,H(a)) ∧ ECy(c,WN(a)) TPPy(b,H(a))∧ ECy(b,WS(a)) NTPPy(c,H(a))  ∨   TPPy(c,H(a)) ∧ ECy(c,WN(a))  ∨   TPPy(c,WN(a)) ∧ ECy(c,H(a))  ∨   NTPPy(c,WN(a))  ∨   POy(c,WN(a)) ∧ POy(c,H(a)) ∧ DCy(c,WS(a)) NTPPy(c,H(a))  ∨   PPy(c,H(a)) ∧ ECy(c,WN(a))  ∨   POy(c,WN(a)) ∧ POy(c,H(a)) ∧ DCy(c,WS(a)) NTPPy(c,H(a)) TPPy(c,H(a)) ∧ ECy(c,WN(a)) NTPPy(c,H(a)) TPPy(c,H(a)) ∧ ECy(c,WN(a)) NTPPy(b,H(a)) NTPPy(c,H(a))  ∨   TPPy(c,H(a)) ∧ ECy(c,WN(a))  ∨   TPPy(c,WN(a)) ∧ ECy(c,H(a))  ∨   NTPPy(c,WN(a))  ∨   POy(c,WN(a)) ∧ POy(c,H(a)) ∧ DCy(c,WS(a)) NTPPy(c,H(a))  ∨   TPPy(c,H(a)) ∧ ECy(c,WN(a))  ∨   POy(c,WN(a)) ∧ POy(c,H(a)) ∧ DCy(c,WS(a)) NTPPy(c,H(a)) NTPPy(c,H(a)) NTPPy(c,H(a)) NTPPy(c,H(a)) EQy(b,H(a)) NTPPy(c,WN(a)) TPPy(c,WN(a)) ∧ ECy(c,H(a)) TPPy(c,H(a)) ∧ ECy(c,WN(a)) TPPy(c,H(a)) ∧ ECy(c,WS(a)) NTPPy(c,H(a)) EQy(c,H(a)) H(b,a) WN(c,a) H(c,a) H(c,a)
Note: the data in bold are the results of the composition of relations.
(c)
 Composed relations of  {S} and {WN,H} WN(c,b) H(c,b) NTPPy(c,WN(b)) TPPy(c,WN(b))∧ ECy(c,H(b)) TPPy(c,H(b))∧ ECy(c,WN(b)) TPPy(c,H(b))∧ ECy(c,WS(b)) NTPPy(c,H(b)) EQy(c,H(b)) S(b,a) NTPPy(b,WS( )) U-13 relations NTPPy(c,WS(a))  ∨   TPPy(c,WS(a)) ∧ ECy(c,H(a))  ∨   POy(c,WS(a)) ∧ POy(c,H(a)) ∧ DCy(c,WN(a))  ∨   POy(c,WS(a)) ∧ POy(c,H(a)) ∧ ECy(c,WN(a))  ∨   POy(c,WS(a)) ∧ POy(c,WN(a)) ∧ NTPPiy(c,H(a)) NTPPy(c,WS(a)) NTPPy(c,WS(a)) NTPPy(c,WS(a)) NTPPy(c,WS(a)) TPPy(b,WS(a))∧ ECy(b,H(a)) NTPPy(c,H(a))  ∨   TPPy(c,H(a)) ∧ ECy(c,WN(a))  ∨   TPPy(c,WN(a)) ∧ ECy(c,H(a))  ∨   NTPPy(c,WN(a))]  ∨  POy(c,WN(a)) ∧ POy(c,H(a)) ∧ DCy(c,WS(a)) TPPy(c,H(a)) ∧ ECy(c,WS(a))  ∨   EQy(c,H(a))  ∨   POy(c,WN(a)) ∧ POy(c,H(a)) ∧ ECy(c,WS(a)) TPPy(c,WS(a)) ∧ ECy(c,H(a)) NTPPy(c,WS(a)) NTPPy(c,WS(a)) TPPy(c,WS(a)) ∧ ECy(c,H(a)) S(b,a) WN(c,a) ∨ H(c,a) ∨ WS(c,a) WS(c,a)
Note: the data in bold are the results of the composition of relations.
(d)
 Composed relations of  {WN,H,S} and {WS} WS(c,b) WN(b,a) NTPPy(b,WN(a)) NTPPy(c,WS(b)) TPPy(c,WS(b)) ∧ ECy(c,H(b)) TPPy(b,WN(a)) ∧ ECy(b,H(a)) U-13 relations NTPPy(c,WN(a))  ∨   TPPy(c,WN(a)) ∧ ECy(c,H(a))  ∨   POy(c,WN(a)) ∧ POy(c,H(a)) ∧ DCy(c,WS(a))  ∨   POy(c,WN(a)) ∧ POy(c,H(a)) ∧ ECy(c,WS(a))  ∨   POy(c,WN(a)) ∧ POy(c,WS(a)) ∧ NTPPiy(c,H(a)) WN(b,a) WN(c,a) ∨ H(c,a) ∨ WS(c,a) H(b,a) TPPy(b,H(a)) ∧ ECy(b,WN(a)) TPPy(c,H(a)) ∧ ECy(c,WN(a)) NTPPy(c,H(a))  ∨   TPPy(c,H(a)) ∧ ECy(c,WS(a))  ∨   TPPy(c,WS(a)) ∧ ECy(c,H(a))  ∨   NTPPy(c,WS(a))  ∨   POy(c,WS(a)) ∧ POy(c,H(a)) ∧ DCy(c,WN(a)) TPPy(b,H(a)) ∧ ECy(b,WS(a)) TPPy(c,H(a)) ∧ ECy(c,WN(a)) NTPPy(c,WS(a)) NTPPy(b,H(a)) NTPPy(c,H(a))] ∨   TPPy(c,H(a)) ∧ ECy(c,WS(a))  ∨   TPPy(c,WS(a)) ∧ ECy(c,H(a))  ∨   NTPPy(c,WS(a))  ∨   POy(c,WS(a)) ∧ POy(c,H(a)) ∧ DCy(c,WN(a)) NTPPy(c,H(a))  ∨   TPPy(c,H(a)) ∧ ECy(c,WS(a))  ∨   POy(c,WS(a)) ∧ POy(c,H(a)) ∧ DCy(c,WN(a)) EQy(b,H(a)) NTPPy(c,WS(a)) TPPy(c,WS(a)) ∧ ECy(c,H(a)) H(b,a) H(c,a) ∨ WS(c,a) S(b,a) NTPPy(b,WS(a)) NTPPy(c,WS(a)) NTPPy(c,WS(a)) TPPy(b,WS(a)) ∧ ECy(b,H(a)) NTPPy(c,WS(a)) NTPPy(c,WS(a)) S(b,a) NTPPy(c,WS(a))
Note: the data in bold are the results of the composition of relations.
(a)
 Composed relations of  {WE} and {WE,V,WW} WE(c,b) V(c,b) WW(c,b) NTPPx(c,WE(b)) TPPx(c,WE(b))  ∧ ECx(c,V(b)) TPPx(c,V(b))  ∧ ECx(c,WE(b)) TPPx(c,V(b))  ∧ ECx(c,WW(b)) NTPPx(c,V(b)) EQx(c,V(b)) NTPPx(c,WW(b)) TPPx(c,WW(b))  ∧ ECx(c,V(b)) WE(b,a) NTPPx(b,WE(a)) NTPPx(c,WE(a)) NTPPx(c,WE(a)) NTPPx(c,WE(a)) NTPPx(c,WE(a)) NTPPx(c,WE(a)) NTPPx(c,WE(a)) U-13 relations NTPPx(c,WE(a))  ∨  TPPx(c,WE(a)) ∧ ECx(c,V(a))  ∨  POx(c,WE(a)) ∧ POx(c,V(a)) ∧ DCy(c,WW(a))  ∨  POx(c,WE(a)) ∧ POx(c,V(a)) ∧ ECx(c,WW(a))  ∨  POx(c,WE(a)) ∧ POx(c,WW(a)) ∧ NTPPix(c,V(a)) TPPx(b,WE(a))  ∧ ECx(b,V(a)) NTPPx(c,WE(a)) NTPPx(c,WE(a)) NTPPx(c,WE(a)) TPPx(c,WE(a)) ∧ ECx(c,V(a)) NTPPx(c,WE(a)) TPPx(c,WE(a)) ∧ ECx(c,V(a)) NTPPx(c,V(a))  ∨  TPPx(c,V(a)) ∧ ECx(c,WW(a))  ∨  TPPx(c,WW(a))   ∧ ECx(c,V(a))  ∨  NTPPx(c,WW(a))    ∨  POx(c,WW(a))   ∧ POx(c,V(a)) ∧ DCy(c,WE(a)) TPPx(c,V(a)) ∧ ECx(c,WE(a))  ∨  EQx(c,V(a))  ∨  POx(c,WW(a)) ∧ POx(c,V(a)) ∧ ECx(c,WE(a)) WE(b,a) NTPPx(c,WE(a)) WE(c,a) WE(c,a) ∨ V(c,a) ∨ WW(c,a)
Note: the data in bold are the results of the composition of relations.
(b)
 Part 1 of composed relations of  {V} and {WE,V,WW} WE(c,b) V(c,b) WW(c,b) NTPPx(c,WE(b)) TPPx(c,WE(b))  ∧ ECx(c,V(b)) TPPx(c,V(b))  ∧ ECx(c,WE(b)) TPPx(c,V(b))  ∧ ECx(c,WW(b)) NTPPx(c,V(b)) EQx(c,V(b)) NTPPx(c,WW(b)) TPPx(c,WW(b))  ∧ ECx(c,V(b)) V(b,a) TPPx(b,V(a))  ∧ ECx(b,WE(a)) NTPPx(c,WE(a)) TPPx(c,WE(a)) ∧ ECx(c,V(a)) TPPx(c,V(a)) ∧ ECx(c,WE(a)) NTPPx(c,V(a)) NTPPx(c,V(a)) TPPx(c,V(a)) ∧ ECx(c,WE(a)) NTPPx(c,V(a))  ∨  TPPx(c,V(a)) ∧ ECx(c,WW(a))  ∨  TPPx(c,WW(a)) ∧ ECx(c,V(a))  ∨  NTPPx(c,WW(a))   ∨  POx(c,WW(a)) ∧ POx(c,V(a)) ∧ DCy(c,WE(a)) NTPPx(c,V(a))  ∨  TPPx(c,V(a)) ∧ ECx(c,WW(a))  ∨  POx(c,WW(a)) ∧ POx(c,V(a)) ∧ DCy(c,WE(a)) TPPx(b,V(a))  ∧ ECx(b,WW(a)) NTPPx(c,V(a))  ∨  TPPx(c,V(a)) ∧ ECx(c,WE(a))  ∨  TPPx(c,WE(a)) ∧ ECx(c,V(a))  ∨  NTPPx(c,WE(a))    ∨  POx(c,WE(a)) ∧ POx(c,V(a)) ∧ DCy(c,WW(a)) NTPPx(c,V(a))  ∨  TPPx(c,V(a)) ∧ ECx(c,WE(a))  ∨  POx(c,WE(a)) ∧ POx(c,V(a)) ∧ DCy(c,WW(a)) NTPPx(c,V(a)) TPPx(c,V(a)) ∧ ECx(c,WE(a)) NTPPx(c,V(a)) TPPx(c,V(a)) ∧ ECx(c,WE(a)) NTPPx(c,WW(a)) TPPx(c,WW(a)) ∧ ECx(c,V(a))
Note: the data in bold are the results of the composition of relations.
(c)
 Part 2 of composed relations of  {V} and {WE,V,WW} WE(c,b) V(c,b) WW(c,b) NTPPx(c,WE(b)) TPPx(c,WE(b))  ∧ ECx(c,V(b)) TPPx(c,V(b))  ∧ ECx(c,WE(b)) TPPx(c,V(b))  ∧ ECx(c,WW(b)) NTPPx(c,V(b)) EQx(c,V(b)) NTPPx(c,WW(b)) TPPx(c,WW(b))  ∧ ECx(c,V(b)) V(b,a) NTPPx(b,V(a)) NTPPx(c,V(a))  ∨  TPPx(c,V(a)) ∧ ECx(c,WE(a))  ∨  TPPx(c,WE(a)) ∧ ECx(c,V(a))  ∨  NTPPx(c,WE(a))   ∨  POx(c,WE(a))  ∧ POx(c,V(a)) ∧ DCy(c,WW(a)) NTPPx(c,V(a))  ∨  TPPx(c,V(a)) ∧  ECx(c,WE(a))  ∨   POx(c,WE(a))  ∧POx(c,V(a)) ∧  DCy(c,WW(a)) NTPPx(c,V(a)) NTPPx(c,V(a)) NTPPx(c,V(a)) NTPPx(c,V(a)) NTPPx(c,V(a))  ∨  TPPx(c,V(a)) ∧  ECx(c,WW(a))  ∨  TPPx(c,WW(a)) ∧  ECx(c,V(a))  ∨  NTPPx(c,WW(a))    ∨  POx(c,WW(a)) ∧  POx(c,V(a)) ∧  DCy(c,WE(a)) NTPPx(c,V(a))  ∨  TPPx(c,V(a)) ∧ ECx(c,WW(a))  ∨  POx(c,WW(a)) ∧ POx(c,V(a)) ∧ DCy(c,WE(a)) EQx(b,V(a)) NTPPx(c,WE(a)) TPPx(c,WE(a)) ∧ ECx(c,V(a)) TPPx(c,V(a)) ∧ ECx(c,WE(a)) TPPx(c,V(a)) ∧ ECx(c,WW(a)) NTPPx(c,V(a)) EQx(c,V(a)) NTPPx(c,WW(a)) TPPx(c,WW(a)) ∧ ECx(c,V(a)) V(b,a) WE(c,a) ∨ V(c,a) V(c,a) V(c,a) ∨ WW(c,a)
Note: the data in bold are the results of the composition of relations.
(d)
 Composed relations of  {WW} and {WE,V,WW} WE V WW NTPPx(c,WE(b)) TPPx(c,WE(b))  ∧ ECx(c,V(b)) TPPx(c,V(b))  ∧ ECx(c,WE(b)) TPPx(c,V(b))  ∧ ECx(c,WW(b)) NTPPx(c,V(b)) EQx(c,V(b)) NTPPx(c,WW(b)) TPPx(c,WW(b))   ∧  ECx(c,V(b)) WW(b,a) NTPPx(b,WW(a)) U-13 relations NTPPx(c,WW(a))    ∨  TPPx(c,WW(a))  ∧ ECx(c,V(a))  ∨  POx(c,WW(a)) ∧ POx(c,V(a)) ∧ DCy(c,WE(a))  ∨  POx(c,WW(a)) ∧ POx(c,V(a)) ∧ ECx(c,WE(a))  ∨  POx(c,WW(a)) ∧ POx(c,WE(a)) ∧ NTPPix(c,V(a)) NTPPx(c,  WW(a)) NTPPx(c,  WW(a)) NTPPx(c,  WW(a)) NTPPx(c,  WW(a)) NTPPx(c,  WW(a)) NTPPx(c,  WW(a)) TPPx(b,WW(a))  ∧ ECx(b,V(a)) NTPPx(c,V(a))  ∨  TPPx(c,V(a)) ∧ ECx(c,WE(a))  ∨  TPPx(c,WE(a)) ∧ ECx(c,V(a))  ∨  NTPPx(c,WE(a))    ∨  POx(c,WE(a))  ∧ POx(c,V(a)) ∧ DCy(c,WW(a)) TPPx(c,V(a)) ∧ ECx(c,WW(a))  ∨  EQx(c,V(a))  ∨  POx(c,WE(a)) ∧ POx(c,V(a)) ∧ ECx(c,WW(a)) TPPx(c,WW(a))   ∧ ECx(c,V(a)) NTPPx(c,  WW(a)) NTPPx(c,  WW(a)) TPPx(c,WW(a))   ∧ ECx(c,V(a)) NTPPx(c,  WW(a)) NTPPx(c,  WW(a)) WW(b,a) WE(c,a) ∨ V(c,a) ∨ WW(c,a) WW(c,a) NTPPx(c,WW(a))
Note: the data in bold are the results of the composition of relations.

Example 2. This example is similar to the fourth example in the previous section of this paper.
Find the composition of
Establish the direction relation between and each individual part of .Use (8), with and , and .
The composition in expressive form will be as follows.

For part ,

The regions , , , ; the above composition can be written as follows:

For part , The final outcome of the composition is the composition of part (29a) part (29b).

Apply Rule 3 from the earlier part of the paper, and we will get the following: