Table 1 The mapping of interval algebra.

From: Reasoning with the inverse of 3D cardinal direction relations based on direction matrices

Symbolic

Interval algebra

Interval matrix

Inverse interval matrix

p1

{d, s, f, e}

[0 1 0]

[0 1 0] [0 1 1] [1 1 1] [1 1 0]

p2

{m, b}

[1 0 0]

[0 0 1]

p3

{mi, bi}

[0 0 1]

[1 0 0]

p4

{fi, o}

[1 1 0]

[0 1 1] [0 1 0]

p5

{si, oi}

[0 1 1]

[0 1 0] [1 1 0]

p6

{di}

[1 1 1]

[0 1 0]