Æ
Ý
Þ Ý
Ý
!"#
$
%&
'( ) #*#&
%) ++,-././000 12 34435
62) ++,-./.3407
!"#
$
%&
'( Þ
& Æ 2 # 18 25 #( & (& #
& (9 2 1 25 (#( 2 % 7/ ( ( ( ( 7/ ( 7
# &
:(& ;# < # Æ " 6 & & 8 2 # ; ;# => 8
(( 1=8 5 2 #
1) / / ?@%
(
# "
5
!!"
( # 15 (# $ A4
3B
# " " (9 (# &
(9 % ( 2 (9 &"
/ Æ
( (# 2# # A77B
2
& 1# #5 " (9 6 @ A77B # C A.B A+B
=> 8 (( 2 # 1 =8 2 #5
& ( " / ?@% 2 " " 8 (( 2 # A-B =8 2
#
(& # & (9 ( 7/ ( 2
( ;# #
& # " & (
A7
/
?
70
74B
=8 2 # " 1 ;#
5 / #
=8 2 # ; ( ;# & Æ
2 # 18 25 #( & (& # & (9 2 1 25 (#( 2 % 7/ ( ( ( ( 7/ ( 7
# Æ (&:(& # " 6 & & 8 2 # ; ;# =8
2 #
% > & / " ( (
7
%( 7) D @E 1 ' A7/B 5
Notation
Condition
Meaning
A<B
A=B
end(A) < begin (B)
begin(A) = begin(B)
end(A) = end(B)
end(A) = begin(B)
begin(A) < begin(B)
end(A) > end(B)
begin(A) = begin(B)
end(A) > end(B)
begin(A) < begin(B)
end(A) = end(B)
begin(A) < begin(B)
< end(A) < end(B)
A disjoins B
A is the same as B
A|B
A%B
A[B
A]B
A/B
A is edge to edge with B
A contains B and they
have not the same bound
A contains B and they
have the same begin bound
A contains B and they
have the same end bound
A is partly overlapping
with B
7,? 4 # 3 &
6#
. " @ E / A7/B
# D & %( 7
& F(15F " (
( (9 F15F " ( (9 A7/B (( ( (9
(& &
2 1 25 ( > 74 # %
% 7,? # (& & / & 6 7
& £ " 2
# £ # (" 7,? 6 7
& # D" ) !
& 6 /
4
3
. ,
"# (" (
& 8(
# /
6 7) % 7,? # & (9 1 ' A7/B5
11 0
00
011
1
1
00
0
1
0
00 1
011
1
0
1
0
1
11 0
1
000
1
1111
1000
0
0
0
1
111
1 0
0
11 00
00
11 0
00
0000
1
11
1 11
1
00
000
111
0
1
0
1
0
1
00
11
0
1
0
1
00
11
000 1
0 1
0111
1
0
1
00 1
0 11
0
0
1
0
0
11 1
11 1
100
0
11 0
1
01
0 00
1
0 00
1
0
1
0
0
0
11 1
11 1
11 0
1 1
000
1
0 00
1
0 00
1
0
1
0
1
00
11
00
11
00
11
00
11
00
11
00
11
<<
%<
<* * <%
%*<
<*[*
< *
<* <
%<*
< [*
<*%
/*<*
<
[<
<*/*
<[
]*<
<*
< /*
<*
[<*
<
<*[
</
=<
<*]*
<=
/*<
/ <*
< ]*
<*/
=<*
/<
<*=
%*<*
<]
[*<
<*%*
< <*
*<
] <*
<%*
<*]
*<*
]<
<*<*
[*<*
]*<*
6 /) % 3+ # 000
111
0
1
0
1
00
11
0
1
00
0
1
00
11
00
0
000 11
111
0
0 1
1
00 1
11
011
1
00
11
0
1
00
11
00
11
0
1
1 11
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
000
111
00
11
00
11
0
1
00
11
00
00
11
11111
00
000
00
00
11
0
1
00
11
111
0
1
0
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
00
11
00
11
00
01
1
0 11
0 11
1
0
1
01
1
011
0 1
1
0 11
00
11
000
111
00
00
11
00
00
00
11
1
0
00
11
000 00
111
00
11
00
11
00
11
11
11
00
00
11
00
11
1 0
0
10
1 0
1
1 0
0
1 0
10
1 0
10
1
11
00
11
00
11
00
11
00
111
000
0
1
0
1
0
1
0
1
0
1
0
1
0
1
1 1
0
111 1
11
1 1
11
0000
0 1
0 00
0 1
1
0 0
0 00
0
1
*
] *
[
/
/*
% *
=
]
]*
[ *
%*
= *
%
/* *
[*
*
/*
]*
*[
]
*]*
*=
%
*%*
* *
[
*[*
=
/ *
*/
]* *
%*
*]
%* *
[*
*%
[* *
/
* /*
6 4) % 30 # 4
1 1
0
0
0 1
1
0
11100
000
11100
000
11
1 [*00
11
11
1 ] ]*0
0
] [*
]%*
[
//
/[
=/
/* /
0
1
00
11
00
11
00 11
00 11
00 1
1 11
0
0
00
11
00
11
11
00
00
11
00 [*%
11
00 / ] / % %* / [* /
11
%[*
%%* %]*
0
00
11
0
1
1
0
1 / =1
0
0000
1
00
11
11
00
111
1
0
0
1
[ %*
[ ]*
/ /*
[ [*
[* ]
/* %
/* [
111
000
0
1
11
00
11 / 00
00
11
111
000
1
0
111
000
]* [
]* %
]* ]
/ [*
/*]*
/ ]*
%*
/* /*
0
1
00
11
0
1
0
1
0
1
0
1
00
11
0
1
110
10
1
1 ]/ %/ 0
0
1[ / 00
11
0
1
000
1
0
]1
/*
%* [
%*%
%* ]
/* [*
00
11
111
]* /000
[*/*
000
111
11
00
000
111
/* ]
%*/*
0
1
0
1
0
1
0
1
/* =
[ /*
0
1
11
/*%* 00
= /*
0
1
000
111
0
1
000
0/*111
]* /*
%1
6 3) % .0 # ==
=%
]=
]%
%=
%%
[=
[%
=]
=[
]]
][
%]
%[
[]
[[
6 .) % 7, # & (9 (& 5
& 2 2 1
%( 7 % D" ( &
£
£
£
# $ ! " £
!£ "£ £
% & ' £ £ £ £
" ! " ! ! " £ !£ "£ 11
00
00
11
=%*
11
00
11
00
=]*
=[*
==
0000 1
1
0
0000
100
0
111111
0000 0
1111
0]*= 1111
1
0000
1111
0
1
]*%* %*= %*%* [*=
111
111
1111 11
00
00
11
000
000
0000
00
11
000
000
1111
00
]*]* 111
]*[* 111
%*]*0000
%*[* 11
[*]*
111
000
000
111
[*%*
111
000
000
111
[*[*
6 ,) % 7, # 3
distinguish spatial
operators in the
same category
part_overlap
in
{%*,[*,]*}
11
10
9
8
in
{%,[,]}
7
join
in {=,/,/*,
[,[*,],]*,%,%*}
in
{/,/*}
6
5
belong
contain
disjoin
in
{=,[*,]*,%*}
in
{=,[,],%}
not in
{<,<*}
4
3
2
in
{|,|*}
1
in
{<,<*}
0
6 -) 7/ (
(" ("
& Æ (# G
8( 2 % 9 ; ( 1 5 D" 6 - & 7/ ( H £ £ A A£ B B£ I I£ £ H & (9 #(
D 15 & "
000000000000 175 % # #
( 0 % (15 )H (15 000000000007
£ %
# & 6 + & £
( 1/5 % # #
( 7 % (15 )H (15 000000000070
£ % ( ( & ( £ "
( £ ( / 1 &
( (
£ 5 % (15 )H (15 000000000700
£ %
" # & 6 + #
145 % # #
( 4 % (15 )H (15 000000007000
H I B A %
# & 6 + & (
H I B A 135 % # #
( 3 % .
$ # $$ % !!!!!!!!!!!$ && !!!!!!!!!!!
###
$ % # $$ % !!!!!!!!!!!$
####
$ # $$ % !!!!!!!!!!!$$ && !!!!!!!!!!
###
$ % # $$ % !!!!!!!!!!!$ && !!!!!!!!!!!
###
$ % # $$ % !!!!!!!!!!!$ && !!!!!!!!!!!
###
$ # $$ % !!!!!!!!!!!$
#####
### $ % #
$$ % !!!!!!!!!!!$$ && !!!!!!!!!!$
#' #$ '$
$ # $$ % !!!!!!!!!!$ && !!!!!!!!!!$
####
#' #$ '$
6 +) 8( # (15 )H (15 000000070000
H I£ B£ A£ %
# & 6 + & ( £ £ £
H I B A 1.5 % # #
E & & ( 6
& £ I A B H I£ A£ B£ £ ( . ( , "# % (15 )H (15 000000700000
£ H $7
(15 )H (15 000007000000
I A B H I£ A£ B£ £ H $/
%
D 1( FF 5 ! # & 6 + & £ I A B H I£ I£ A£ B£ £ &" ( .
1 5 7
( , 1 5 7 $7 $/ %
$7 & & " # # $/ %( / & ( ( . ( , & FJF & & ( 1 (
F07F ( $7 $/5 6 2
& 77 00
D ( % &#
5 K (1 55 K 0000070000005
( , ( 11(1
,
%( /) % ( . ( ,
#
!
!
!
!!
!!
!!
$ #
!
!!
!
!!
!
!!
(&
(&
# $
$ # $ % ! # % $ % !
&& !
!
!
!
!
!!
')
!
!
!!
!
)
!!
!!
)
!
!!
')
!!
!!
)
!!
!!
)
#
& ( & 00 77
& I B A I£ B£ A£ ( - ( + "#
% (15 )H (15 000070000000
I B A (15 )H (15 000700000000
I£ B£ A£ %
1 FF 5 ! # & 6 + & I B A I£ A£ B£ (" & " ( & ( L Æ# &"
(& # & (9 Æ#
& "
G ( ; %
& " ( & # 6 #
& ( ? 70 MF M£F
"# #
#
& ( ? 70 MF M£F
"# &#
#
& ( ? 70 M:F M£F
"# "
#
& ( ?
70 77 MIF
MAF MBF
"# & ( ?
( 70 ( 77 0
-
*
+
,
&
(
(
(
(
(
(
(
!!!!!!!!!!
!!!!!!!!!
!!!!!!!
!!!!!!!
!!!!!!!
!!!!!!!!
!!!!!!!!
( !!!!!!!!!!
( !!!!!!!!!
* ( !!!!!!!
+ ( !!!!!!!
, ( !!!!!!!
( !!!!!!!!
6 ?) % 74 B
D
A
C
E
15
1(5
6 70) 2) 15 < 1(5 #( MHF 6#
#
& ( ?
70 77 MI£F
MA£F MB£F
"# %
( 74 & 6 ?
6 #( & 6 70
& &
& (& 2 125 1 5)
&
!
*
* *
! *
! *
!
+
!
( " 74 ( (
& 2 8 2 (# & ; ( &
+
1 > / 2 ( ( (9 & 5
&
!
!!!!!!!!!!
!!!!!!!!!!
!!!!!!!!!!
!!!!!!!
!!!!!!!!!
!
!!!!!!!!!
!!!!!!!!!!
!!!!!!!!
!!!!!!!
!!!!!!!!!!
!
!!!!!!!!!!
!!!!!!!!!!
!!!!!!!
!!!!!!!
!!!!!!!
!
!!!!!!!!!!
!!!!!!!!
!!!!!!!!!!
!!!!!!!!
!!!!!!!
!
8 2
# " (9 2 2 &#
# 2 "
# (9 ( (#
& 8( # & 6 +
& # (
" 1 (5 % # " " ;#
# $ # % & ¼
¼
$ '
& $ ¼ & $ ' $ & & $ ' $ &$
' 5 H 1 5)
(' 1
H %' ( H )
H ' H )
5 & & # & & & 1
& % *%%$ %+,
¼
¼
¼
¼
¼
¼
¼
¼
6 2
6 77
#0 ( #7 ( #/ ( D &
"! ("! ("! ) *********** ***********+
"! ("! ("! ) *********** (" ! ) (" ! ) ***********
**********+
?
D
A
C
B
A
A
C
C
A
C
B
B
B
6 77) #
" ! ("! ) ("! ) *********** ***********+
" ! # ("! ) ("! ) *********** ***********+
" ! % (" ! (" ! ) *********** ("! ) ("! ) ***********
********** ("! ("! ) ********** **********
% A
9B H 7
/
4
3
. (& (9 "#
(# & 8( # % & (
%
&
& #0
#7
#/ #
"#
" & 8 2 1 ( & # " & ;# &
2 (2 2 (
& / > ;# 2 %
& &
# "5
,-$ .&. /$0 1 2 /$0 34 .
$ - /1 /'0
5 6 - $1 34 - /1 0.*
30+ - 3/
$3 0.* £ 5 £ 6 - $1 34 -/ 3 $ .4 .4 3 - /1 0. 30+
- 3/
70
%( 4) ;# - .! !!/ !!!
!!0 !!!
!!! !!!/
5 6 - /1 0. 30+ - 3/
#
& ;# 1 # #
0 /5 =8 2 8 2 % #
& 2 ( L (9 (
( /0 6 (9
& 700000 J 700000 /000 =8 2 8 2 ( "
"# 7. L (9 6 ;# # #
0 /
& ;#
=8 2 1 8 25 & /000 (
"# %( 4 & 1 5
6 (
& (" 8 2 # ; # G ; =8 2 # % ( =8 2 # ( G (& :(& 8 2 #
6 ( & #/ ;# G &
#0 ;#
# #0 ;# (
& #/ ;# "
& #7 ;# # G & #0 ;#
#
#7 # #0 # D
% (( # "
2
77
%( 3) 8 A,B (& A73B
2
(
(
7,?
?
?
( # #
#0
7
/
#/
#/
@E # A,B
(& E # A73B % & (
( & & 2# 1
5 & ( "
& ( & (
( (9 & ;# &"
& : & (( & (< & # # ( #
& 9 2 (
& &
( % (
( # &"
& (( # (
" (9
(
"
# 7,? & & # # ? 6#
# "
# "
& & # 2 # " & #/ # # # & & & %( 3
& " " Æ 2 # 18 25 #(
& ( " #
& " ; (#( " D" 8( # 8( # 7/
(& # Æ " 6 & " & 8 2 # (
=8 2 #
+, 1 ) 12 3 2 3 2 453 ( 1 567 376 86 . 129 : 2 ;0<;!2 ;;;
+, .2 1 = .6 :2 4377 6> 37 8 17629 ;;;
+, ? 72 @ A B A2 45 5>7 = 729 : -135;2 2 "<"2 3 ;
+", ? 72 B A2 = =6C 12 41 57 567 = 629
!" : "2 /2 0<02 3 ;
+/, 72 4 3 8 6 -
29 # ! : 2 "2 "!/<"2 = ;;
+0, 7 A D2 48 6 -
- =29 $
: "2 2 0/<0!2 E
;;
+, A 5 7 . A A72 41 -6
6. 3> 7 Æ 5 5>7
6 -
29 $ : !2 !2 <2 F ;;
+, A 5 72 . A A7 B G A2 41 H -6
6 3> 7 Æ 5 5>7 6 -
29 $ %
: 2 /2 0/<
0002 3 !!
+;, A 5 72 G A 1 B G A2 41 Æ 7
) 7 6 8
6 D7 5 567 =29 # %
: 2 2
<"2 1 !!
+!, 1 ?2 3 ?
I 1 2 4)6I . 8 6 567 =29 !
: 2 2 "<;2
;;;
+, A D ) E G
2 4= 7( 1 ?7 567 =
629 $ : 2 !2 !<!2 F ;;!
+, A D ) E G
2 4 7 6 8 567 J7 = 7
?7 29 $ : /2 2 !/<2 3 ;;
+, 3 -I2 )
= D2 45673( 1 567 5>7 3 . 629 &" ' !!
+", D ? .2 4- G 176 567 = J7 78
1 :
29 $ : 2 2 !;<!2 E
;;/
74