Professional Documents
Culture Documents
Creating and Using Ontologies in Agent Communication: Chris Van Aart Ruurd Pels
Creating and Using Ontologies in Agent Communication: Chris Van Aart Ruurd Pels
Ruurd Pels
Acklin B.V.
Parkstraat 1a
4818 SJ Breda
The Netherlands
ruurd@acklin.nl
aart@swi.psy.uva.nl
Giovanni Caire
Federico Bergenti
giovanni.caire@tilab.com
bergenti@ce.unipr.it
ABSTRACT
!
"
#
$%
& '
(%)*+%
,-',
+%
./0/1'#
%320
0'
%)%+*
14/0
+%
"5
#&6/0/1'#
%7+%8
./0
#
+
9
:;
;<=/0
+
<
>5
?A@
B
+
2CD
)/ E
FG'
?<%%)%+FH5
#&-B
1
I
?!
./0;&
)J
#&7
,$8;*&
K
0
/"
:!1/0
+%
0%
?L
%2NM'
/0
%O%
>)P
#&.
N#
0
Q
+%
<%+
/0/0
G&
+%+ /0
+%
K%
(%)*+%
@<R,
ST;
U +V
WU )
&.
LV*XKY
#8
I'
;&
%2=C
.Q'&;FGB;
?
)X'
K
$Z0:#@<<
:E
I[%/\;)%+FH&
+- QFQ
/\
$?
'
.&
+%X2
1.
]^7INTRODUCTION
*:@W_OV@
0
,
4
?6`.
0?
#
%4
&
)R
#
%&;Fx&
)#F
#&8%
$*'s&/"
O</"
Fy:
-
&
"5
.
L*5)
%RK>>%5)*
."/0;&R`FG
:'&
?)F+
QFQ
/HOP6+%'
BR0`s
s&/"
OW"6
+
$
&RbJ
<
8;
< ;&'
K
@c!'%
)R
2
i
(@(
F9:bJ
P
8;*
W"
k
?L5)*
(/"
N*N5F1/0
=
/0
&*
2IC[A@(
$
1
+%
k#
e
K
k
/0
&*
k#
5)
T
)[
$+0
+%
I/0
+
(
$F-Q'%<
@_f
05
{
$*
))RFf`'&
#&y5F
-]QmA
] lWjIi vO#2 E%%$E#%OJX %#@(@(@:2 5$@:2 +2
>
9
8;
%O2
%2NR<#
B
>
>
.
&'
. 2Cc
QE
&'
1/"
9Q'?*1[%/
+%
;17
8;
-
&4
')R
`/
?8
ef
+
#2H
%
s
d
%&8%
;
+%
$W
k
+%
<&
W(
$8%
I_;$@<)
#&+%
>3
I*;8
%s
9
8;
20
0
+%
:#
75
9'
#&BG`/
@
)RE
#
$*O=,5F6/0
#
:>
+
%3OT2
2HF*+-H')*
&RbJ
;%/0
W@<Rs%
Fs[A@
%O5'W5F0!
#&;E
$*XO2
2PQ
&
&+1
H
$
2N*(/0
$
+%
P&:N
#8
I
P:
0
?# N;&
I5'=
?F
#
{
#'
Q"
?8
s5Ff
&+7/0
+
2 l FM
#&
?
+
QFQ
/0O
>
/0
)
(%G
+
<%))*
5
%-*Q
#
%&s
8;
";
+
X2 i ',8
@6
"_;&dI&Q5'
#&
QFQ
/0<<
IN
H`/"
B
+"
&G%/0/9'RE
#
$*6Q''
#&eQFQ
/0I
+%
.
$
1
6
:`/"
$E
%y
} ?A2( `~?2 h
)*)
+%+d5)
/09
G@<
+ [%/\(Q'&FG
&G'++%
QI!''
k@W_2
2.
h %/0/1'COMMUNICATION
CI+%
AGENT
#
$*H#
d5
9&
?
&H
:
`/|P*
E
z{@<
e&;F
/0s
)*
%z5
^@
z
+%
;"
?L
#&B'+%e
9;
?/0
#&*
FHP*+
)*OX@<XO3%
#&3OI@<)).
bJ
G
7
+
4 2\CIH&*'
#&x5F
M
5
#O
9)*
+
:'/15
}
+%
?~/0/1'#
%0`/0<
L;E
QW 2Ttk
T@W
P
=
N
V%/0/1'#
$*K
&+</0
!/"
$%6[%/
-
&
:B
G
, }
&
#&~>
8
2
I!/"
$%-(
;&
&s@<RG
K
)sT)*
+%'
+
I
&
&
;&
#&0'%s
$*8
)5F9
<
8
2NCIs
%&8
+%
I3
BI
>%
,
B+%
?k)%
)F;Eu')
#&H
BQFQ
/0O
.)RF6'
/0
+%
0
+B
,8%
)
!,%))*
5
%32
>`'
)RFOT
G9eQ
&
&
#&y&
R%y<@<
} %
$*
)`~G
+%
;-H
&z#@a
+%
G/"
#F/0/1'RE
.5
A@W
-@<RH
H
#2N]AGI
<@W
K
!
I1
5Q
I%/0/9'#
$%s/0;&
)JTMV]QSJC(
I&
8
`/
?
T
FsR$#u2=]^9*=/0;&
)O%/0/1'#
9'
%'+%.
W
?L
+
QF%'V/0
+%
=
%&E
+,,%/0/9'*
8
<
?2W
kC h pB)*
+%'
+%
k`/"
$II&
E
.
`/"
$1(
"/0
+%
2eC h pz/0
+%
,#
5
$
?*
#&H5F3
]A
%3O;
%2 +2O.<,,<,O]AkM ikj o7OrkK jT j NMW2
C
&
O2
%2P
K
&
I
&H
1
?>V
*8%
2
C4;
;#O2
%2
N
'
)*!/"
%:
$X
L?
+
#&32
h %
.&
XO32
21
7&#
7 } [~I
,E
K)*
+%'
+
'
#&Bs
L
k
9%
:
& } [~I
%)*+F75FB/0
#
KW@<?75e
9
&
,
&e
*8%
(
5
k
K%
W/0
#
*+k:
(
/0='
& *
k%
#2
h %;8
?
%g%%)O.
%2 +2*
%D%)9
&
8%
%-[&
R#
$*X2
$#$6?#?#;e
$$$
$$$$
?y#$$$$?###$$;7#
#$$$$
#$$$
$%$
$$$$
?y#$?#$?$###$$6#
#$$$$
#$%$
$?$$$
u #d$7$%$
#$?$$$
#$$$$##$#$
#?$###?##?$#$###?##
$?$$??$$#$?$##$#%#$$$#??%
#$#$$
s,W#s TL
/0)*
P/0
+
L
#&,,n:oHp"@<
%4]^KM ikj o7
&
9SV
?
&4Y%3=%
9
?L
%B
5%'I
k@
?#)*
*-N+%)e
<;
;<)*
E
+'
+%
%
.%%)+F.
5%'X
T@
?#
&:%;8
?
%.E
)
MV]ASJC
0
) &
#&48
)*& !/"
$1e
;0
C h p
/0
+%
/0%+0@<?7
enKoHpf5
#&B%
%2,
9n:oHp3K#
;3 %$@(@(@:2
2 +
;3 %$@(@(@:2
2 +$
%RF2 /0)
5
>`%'&s
kMV]AS3Cz
RF2NC h po-
+
k#@<<
L
/0)
9e@<?d
+%
.SV
?:!/0:
+
.Y%e
>
@
?1;&
F6*.
*+27C>,#@< 4
"
L
/0)
%O=C h p
/0
+%
N
W5')R=',)*
#F
T)*
+%'
+
2NN)
/0
;*,
@)*&-
K&
#&0-
G !eu%2WC^?#
L
* } 2
2G
0
)
/0
,5
A@W
4
:
+%~:9'
#&
G
.Q
$
/0
KW
1@W)*&32"MV
))RFOV
euf%
} 2
%2]^KM ikj oB~
<
.
+%
# I*
%G0&
?*5
.K
)
?
>@)*&H(@(
#&H
'&s
k%
I
L
X2
.
,)*
F
k
1
)G)_%
#&H5F-Q
*K'?e
O
/
+%
W
?L
V@<*.%
T)*
+%'
+
%O%
;&*+K
&:%E
0
%)+%
H
$
e'
#&`s
H%
#2DMs
L
/0)
%O(@<
z
5)*+s!
K!KTOOLKITS
9&
8%
)%/0
;>P
)RE
)+%
-
+%
;"s%Q'
#&{5Fy
B
LQ
B,
4;'/95
W
+
Eu
#&-%)_;R
$k
8
)RF-$8;[&
k5
1
?E
8;
'?G
%/0/1'#
$*XO;)R!
K?F)*
>/"
+%
/0
#OF
))#@
+%
H
&xf%32\]Az*-
?-@
d@<)*):`'Hc%
7
s5
Q1_#@<XGYC>wK } Y
#8%
dC>+
1w:=8
)/0
,`
/0
?E
@_~IR2PYC>wK4*W
:`^@(
$
k`
/0
@_1
$/0)R
N
/0)
/0
$*:/1')RE^
+%
0QFQ
/01%'+%z
d/0*&&)
E
@(
$
:
>/0)
(@<H
.MV]QSJC
#
O
1)5
$F
W)*
:
,&
8
)%
k#
7'
1.
L;
&H@<*)
0
+
+
k
&H
?>=+
#
)%)I
I'<
:&
5'+E
+%+
&{&
)#F/0
;
2DYC>wK
+%
"%/0/9'*
5Fs
L?
++0/0
+%
IH%/0)[
K@<RH
:MV]QSJCgC h p
)*
+%'
+%
#2 M'
/0
%OXYCIw:c'k
CKoBm } C>+%
;
o-
+%
sm
?8
#~Q
&H
9w:M } wKR
FeM
*)R
?~?O@<*
<
K@<R
.
&GF
)*)#@D
+
:!k
+
}
8;*
$~I&QE
$8
F2
3.1
C %Handling
0
L
*message
{@<Rz
content
zC h pD/0
+%
B0AF*
))RF
;&
#&7
,
-Q+2stk#@
8%
#O%*&
+B[A@
s
+
3 $@(@(@:2
+
)*_2 +#
%'
+%
#Eu[A@(
$
%2 ;/0)
@(R
f{
5A
0
#&f%+
/0/0+e)*
+%'
+%
%OW
$*DH-%;8
Gf/"
*')*
B
7`E
/"
$%08%
F
#&15F,
<;
;N
L
%0@<R
<
+%
;&
%2=Cy5
;
$%1T5F./0
#
%5;Q
2=T
<
Fk
3!VQ
T
=
L
% $?g`yQ
^
$d % K
#
QFH"/"
*')*
,R=
;
&d
:
e5A
N
1)*
O
<))*'Q
#&HBMV+2X2
#H$?
$$$
#$d
$$$ $d$
# H6#$ #$4dB
# !
#$7$#$ $$7
# H6##$ $4%
#$de
# 6$e$##$ !
$$6$
'/"
#
))RF2T;'W
))$@<+0&
8%
)%
P/"
')*
+.`E
/"
$%4@<R4
1
+
1
15A
9@<R%',
"
#&6
FH
L;
1@_2>o-
,*e&
)O3H
%)%+Fy
*9AF#
)*)RF
R"7
B+*8%
f&%/"
XO
%
K)*
+%'
+%
.
&%/"
*e&
&
#2k
`
%OX'E
)_
d%%)+%
-
G/"
))F{/1'QG5
7&
?
&z
%&zd`
e&/"
x
%&&
&{5F{
x
+
H
)*#
$%XO>
6%
)*
+%'
+
KWAF#
))F"
)*
#&s
/0%+,%
k
)R
#
%&;Fs
#8%
*)*
5)
@<R%'"
B
#&.&
*+
6
@|%
2gYCIw: $8*&
;&
,!1
"
L;,^@e;
;,)*
+%'
+%
24
2MONQPFRTSU
;# T
<;'/"
E
#
%&
5)
=Q+E^
;&
#& } 2
%2T
<%
?L
%d7MV]ASJC mp *K
"Q+~>
K)*
+%'
+%
1
&B
%5
5)RF-5
*&
>q:]QM4
./0%Q)RF-&RbJ'
&H%
I)*
+'
+%
d
1*
;R %/0/9'^FH&
#
)+G@<7;
)*)+%
;,
+%
O
I`
?L
/0)
ICI+%
R
WA
W V2=MV]AS3CzmpHW
E
')*
)RFs*&#
$
#&G7??"
)#
@<
?
:
+
`%/&R`E
`
=&
8
)%
?T
&:'*+(1&bJ
?
V
;8;R%/0
;J
$8%
-%/0/9'#
$
%2Go-
8%
#OV
0%
^Fd<5
+-'/"
E
%&
5)
B#
{5
H8
?Fy
)`')(@<
z&
5'++%+6
&y
Q+
4
)#
$*X21MV]QSJC mpf&
#
)*K@<R7
+
,
%:
$*'E
)*
$)FJG
))I
+
0
%1*fMV]AS3C|mpc/9'Q,5
s*
#&y;
$
XG3YZ3KL[ Q'?W
$
*
I
+%
;
":
*&
=
+%
=
$T=*
&
#&:k
?!/g
(
?*X2
M
#
%"@
>'
KMV]ASJCDmpe
(;
;W)*
+'
+%
K"
#2
\U=]^R$Pf#`_PV
<Eu;'/"
E
#
%&
5)
T5F;
Eu
;&
#&
} 2
%2
G;
;K
L
%d4pXPC>Sc.
s
#'
1(5F
~
%
,)[
+'
+
s
9
95
&
#&6
%&6"` YC>w:(2
]u:K
?!
1)
#
.
$:%)RFdYC>w:c
+%
K@<))P5
1
5)
1
V ;3 %$@(@(@:2
+%
R
2 +
_ ;3 %)
#
X2 / Eu
$2 %/
V
&s^F#
))RFs'
#&G@<R*-] j <2
MV+2:#@<
I
)*
$*<
/0%+:
k
)
/0
;N
_;+,;
'0
$"%)RFf
&#
O<
+
-
%G
&y] j N"
$
/0
+!')V;
;kP%/0
9C h py/0
+%
2:]AH!
.
0
#&RE
:#
-5
k
k;
;=
-]AkM ikj o /0
+%
%O
&G
+%
%7#
d5
9
9
:W
j PrkKPm/0
+%
1
&d
] j c#
65
1
%
.<
Hrkk jT j PMz/0
+%
2 i )RF
?/0(#
H5
:/0
+!')J8%
)*'
(!I
:)I*-
1
#2
Object
ContentElement
Term
IRE
Predicate
AgentAction
Concept
Primitive
Aggregrate
Variable
&,
L%/02 h )[
=
W%
X,
W&%/"
.&'
%O
@<R0@<"
K
L%%/0<
F #
"&
<Q'?
#&32Nm;)
&
5
%
K.
5'
KW
9)[
21C).*
R
)R>
-`
/0
0
9
-^F
2d1#
5
s
e/08
)[
OW)_
Gm;+O=]A
+
1
& MV)%
#ON
Q
">
E
P)*
2NM'
?/0
%O
K)*W
P
k8
)'
%2TM
?W&
5
%
)2=
P%
} X%Q
~X)'&
%
qNQ! !(X
K)#O;2
%2=$@/"
F98%
)'
T
<)W#
#8
O2
2K;O*O 92JMK
L
/0)
%OJ
)*
k???G#
d)RF
#8
9%
9
$
} 2
%2}{Q$~?2 i .
s)*
+o3i
`?W#
s
#8
I/1'))*
>?)[&;
} 2
%O2 k {Q~?2
>
R
h% ?>
Q*?*4W
8
)'
9AF
1<
-)#2
! W
M>
?L
/0)
K]^;
+%
#Om;+O]AQ
:=
1)*
2
eu?I2
2K
./0/1'/
&e/"
$L*/9'/
0??H
8
)'
(!(
K;'/0
?*()#2WMP
L
/0)
(5
^@
<)
#>5
?A@
H
&7#;2
<
s
r ;! H% 2yM0
L
/0)*
OT
s)*B0,
#'R
#&"!>
K)*
<???2
wk
*+x
z/0
+%
y%
d%)*+F/0
#
7&
+{
^F
T%
O%
#&#
=
&9
+%
;N
%=
=
$
)
E
8
TI
(
&&
#&1&%/"
32vxR1S=
U +
IU
>A
P#
5
.)*'&
#&s
I
>
)R
#
%&;FB&
#&G
:)*
W 2(CIH
L;E
/0)
I*W#@<GGMV+2;2NM(
+9%%)%+
(-ST;
U +U
@W
(
!
N R#$2W
('
(
('
N
+
W/0
+%
(%
%)%+FG5
#&s% hWj o|*())'Q
$
#&G"
KC h po-
+
,
)'&+6
ZL3c
&
J JE }
s
15D
ZLc4
&
J JE C
$
K
/0~?2
;3 %
+
%2 Q
!&J2
#&'
;3 %$@(@(@:2 Q@<2 QF2 '8
2 )`$'Q?
%
?$5
#
+%
&/"
6%)%+Fd@<R*4S=U
+
0
U #
65
0&
8
)
#&6
&e
L;E
& dY
#8
d)[
2y]A
')[
$"Y
#8
e5
2 C\Y
#8%
l
#
H
*
)WAF
0I
BY%
$8
H)*
O=@<*y
%&
,e
1 E 0%
$*B>
C %
$%X2
(
)*
%0[%/ S=U
+
IU _;#@<)
#&+
I5
<.Y
#8%
l
#
@_;G
0!%))#@< =8
Ff)*
"{
hWj o7OP2
%2G JE O
E I J
E O
& X E 3X J %L"*
k5
!(
k+
?
%
I
-Y
#8%
-)[
2H
L%%/0 Q''
} 2
%2s
?
)*
~V
(&/"
,/0;&
);=/"
&.1
P
?
#
5)*R
I=Y%
$8
2N
`
.RO ?:<
9'
Eu?
/"
.z
-
.)*
G0
*
$
#&e"
/"
/1'Q E3 E I"
)*
h 2Pm)WT
h )*
I
$
K
[
$
#&s@<RG&
$
./0
/15
W
Y%
$8
l
#
*
#&d@<d
h )*
20]^P
1^F
9
-)*"G
d/0R8
-)*
O<)*_
Bm;+O]A
+
"sMV)%
#O
H
l
#
nk
?
K/"
<
/ ;0
R:Y
#8
"
;'8;E
5.
INTERNATIONAL INSURANCE
W=TRAFFIC
'
#
h /0/0*:
X
;)RFk
#&k
TEu#
))
#&
))V='
K%/0
*
L
'
:
&G
)
:'
)[
/'5/0%V@< k/0;V
$`
=
&
W
RE
&
#2T;&
FO`=*&
$=
L
#&.;
?
);5&
O
'?9
&'
=^F#
))RF,
_
/0
W
RL,/0%2]A'E
</0
=
#8
(Q
$
#&9K')P
#
?
=`P/0
?E
/0.
.@W%')*&4
5)*
0
/B/06,
#&'
%2
t>#@
8
?#O&RbJ
;=_;&TJ)*'%N
#8
W/0
T
%'P5A
E
N
F9*/0)*
& /"
_;+k
RW
)&
.
#8%
*)*
5)
I
%/0
+G%/0
*
20CwK'7'
/0
;FOJ]^
E
)*W92 92%
=
?
!
k
_
#&0C>_;)* l 2 ,2%,&
8
)%"
KE
AF
1(
"/1')RE^
+
KQFQ
/|s
?_;)
1K%5)*
/R#$u2
(
?0'
#& 'W,5
I9
#
)*+9
P]A
%)
+%
k }jQ
&)
0
e)*
/
&y*R[
$
G
2]u
%
N
I
+
Q
QJ
I'
I%/0
F1J
<
E
d
:
'
&e
*&
#2 l 6
+%
:'
,
&'
-*
:@<R45
?_BZ0
}
&7&
5
~?2"]A/"
+
1
`%))#@<*+"
$m'%
:
9wK'-&;8
<#
'
>
1#
$k
E
[&
nk
/"
F2V
>
*&
P
#& :
nk
/"
j D-vz*
5
%&
X2
j <
:
E
'
:/0
F
j @<))N
7
+H
k
&)+s5'
#
'e!:K*&
#2 d
)
,)#
))FB
&s
G%
?kRIwK'-
?>]^
%)I
&-'<@<
?
.
&G#@D
:wK'-%'
Eu
AFsI*'
#&
Gtk%))*
&32=]u
>wK's&8
*('
#&"-tk))[
&JO]^
E
)*::+%+s-
.
:
F+sZ0
%2.vxReA@Ws
#
%
5)RF
/0)*
P
+
VAF
O$
9Q
[
$
#&:%
P`T
#
?,'
%/0
FB
.
$
.7:
A@W_OX
q:] j
)RE
%f
5)
Ge
&)
G
))Q
&
$& #
1Q@<[)RFO
1@
))
( /0%I
))%/0)
L"
<
#8[&s
(/0
K+
<)%Q
5
#
'
-
Fy)*
Fy
+%)
#&f%f%/0
% 0Z0
%2 i )RF4
&'
s
#&"45
e
&
#&`H
8
Ff'
e/ E
Fed
?A@_29vxRe:/0%
;#OJ
+
.#
+
<
&0Q
>*!/"
%s"
>%*
?
F"
;8;R%/0
;N
:'
:%/0
F2
)*
5
c&*
+
/ `/ C<KoHpD;&'
#&5FcR%?2g
n>
h
&yX
?*1
")*)'Q
#& yMV+2=H$@<+
0
&)+e
&d
F*+H%)
s
&7
R,
$
4<*
E
2
W@W"
_
+%
k#@
:A@W0/"
B
. u?? ;i
q:] j Q
&(!kq l(h EN]A
)*(E j 92
Handler
Payer
Client
Identification
identify client
request identification
search policy
failure not_known
notify manager
inform policynumber
update file
Case
Identification
identify case
notify manager
request claimnumber
search file
if not_known
create new file
failure not_known
inform data
send claimnumber
update file
...
F% 7
1)*
?:#
e
e@<
B
,'
&e
^FB
K
)R
#
&F
+%Q
#&49
[&
#O=5
!
s
0
&)
1
_;.! R#2B]A
50#
O
<
F
=@<))
&0
K)*
*/ ;'/15
?#O@<*0P
_%
F"1
k)
:V
.
*&
#2
E3E G
3 IK;%O
=5
#&91
W%
V
`
(/0;&
)2 h `/g
hWj o7O
@W
KQ>&
?
>
:CI+%
C>?*2N
,
%
5.2
W&
Ontology
+%:
=%Design
%)%+FK!Vq:] j O?#
))
#&%
%2
:
+
I
%('
K5-
<
&"
)[
$%2
v6
6&
1
!)*)#@<+e/0R8
OT)*'&+
+%+
+
$
,
)*
$*
RI?O2
%2P%
*+
)
/0
;()_
:)#
$*X2
P<?O2
%2P8%%)8
#&"
%H
&G#
#2
qNO2
%2P'
&G%5;Q
#2
=J?O2
%2(
:#@<
k=
:#
$#O@<e&
>I
E
$*)RF-
( 5
>
:
'bJ
'<V
k#
#2
g h?O2
%2
.
:
$k&;$8
:H
:#
$>@<
BR>@
;8%)8
#&s-
:
*&
;#2
RI%?O2
%2y
BF#
)W)*
%*&#
$
#& 5;F6Q
#O
;'/95
<
&GH;&
%2
l
*&
d
#O.@W
y&
4
7!%))#@<+c
)*
% NL<O
@<?.'
T
)*
%.5
^@
h
T
& i @<
#
& ?h?<O
@<?")*
FN
(
)*
G5
^@
h
$(
& h
'bJ
'#2=
<
E
')R*+ %)*+F-* }
*
))RF~())'Q
$
#&HHMV+2
5.3
Design
j QFQ
/\
:q:] Agent
'
</"
*)5#Ls
/"
} ^2 $T~P@<RH
E
+%
W
*
)J/0
+
>
+2P
>
+%
;P"
<q:] j QFQE
/
e&
8
#& `%/
7%/0/0X% E )*
2
!X E
)[
W
NRW'
'
<
&1;
P
E E ?15A
K'K7
s
#
%&J21H
E E L ?;B
#
%&e/0%
0'
'
&B@(
R:!9
G
?@/0
+
1!1
s)*/0R
#&B/0
%2
K@(
FOJ
+%
.#
6
)G
#
:GQ
$':
+%
:/"
%&
5Fe
1
+
9)*
!/H20]^P
0GQ
',
+
O
L E E ?;H%5;Q
?K)%2k]uT
.K
/0
+%
%O
./0
QE
+%
4H
&)
#&x
&c
`
?B
#OI
E E ;x5A
'/0
(@(
R*+1!k/0
+%
2
4 8d&/m7'; : A B
"$# %'$& &$;?4T,m&BO47
/./m #
/4f" <=/?> # 4B"4F7dF6=Q }!
:3s47#,37 # /4
4'c
B /45,6'7#3
-q:] j QFQ
/'
"
CL
J
E 7
8
H/0
QE
+
.&
Q*
#&-!:
:
+%
k
&e&*
I
/0
&
#&c
e5FD'*+f
4/0
+%
%5;Q
d*
'
'
1
,
,
+
#2 l F7&
8%
$*d[%/
%/ E
/0%!
X% E G%5;Q
,
0;'/95
IW
+
:
9&
#&H
>#
`/
_;"'c
"@(+
&
%&+y&
5
O>
?E
8;+H
7
&+-
?E^/"
)N5
?A@
4
$
OT
&7
+
/0
+%
2
I/"
"
+%
N*++%
&"
5F1/0
+
W
+,
$
&k
;
$%,;
N%%)+F:.'
%O
R
V/0+
`/
W
WW[%/
<5
_ Z0
I3
(
8
$
#2d]^ 5 #
O
;
?
)P
;
$%y15')
`/
"
#&6
%32 l
#& %
s8
)'
1
$
&d
%7
.
45
;.$8
?Eu
E@<R
%OV5
RV'+,
?E^/"
)V%'+:
=
&'
?#O^@I;&
V
#8
j O@W
&
?
&B
9
$F
5
7&
8
)%
#&J2:k+-CIK(p
+
/0/"
VK+
?
&
;&+K
=
;&
2=
;&
(@<
:
&@(R
32
5.4
tk
?
@Scenario
<5
F9))'Q
$
k
k
$*:@<R1
('
(^@:/0
QE
+
-
;"5
?A@
{
e
+%
k }jQ
&{
+%
}
Q 2D
QK/0
+
1K@<
1
+
k
kjQ
&:
j WrkkWm
+%
Q }
QK%
+
:
%- ]A&
R`FG
1
^F2
9
^F2
5.5
BImplementation
&*&{G'
Y
&
%OI/"
)F5
#
'
d
4)*
+
7;'/95
":`
#
'
s*cY%
%&
@
?
9'
F2It>$@W
8
#O
";'/15
<P)
>'
#&B
Y
&
$
'
)*)RF9
)I'
#&J2T
W]QWE^&
$/0
]^;
?%)
&
8
)%
#&,
&'
N5
A@W
1
(&
$
5
<J]^;
?%)
&e
1
+%
K@<R*7%G&
F2.
1
+
,
15')RK7Y
#8%
e)*
>
d%"&
F2K
./0;&
)$
K
,*/0)
/0
#&H
Y
#8
E
#
&d5A
K@<R7
QF%'K/"
)T5#Le
/"
;
/0
#
+,
<
8
Fs/0;&
)JI
1
:%/0'
%
)3E
=@<R #@<0%)
N
P
>/"
)5$L,@<R1@< %5;Q
/0/1'#
#u2>
,/"
)*5#L
<5
^@
H
,
+%
;IH
q:] j QFQ
/
K
+%')*
$k/"
*)5#L
`/|
1/"
)
#O!>
L
/ E
)
<m;
&/"
)PTL?
+
%2T
W
N%)='
&1
S i SPs
&7moH(SV2J
,
&'
?k/"
*)5#LBK/0)
/0
;
&
-
y&
5
6z@<c
&G
H/0
+%
2
/"
)5#LG
)0
8
I
<
KQ
+%
:!<
K/0;&
)JQ
%2PME
@(
$&+H
G/0
+%
`/%
0/0;&
)V-
?./0
#
K
"
&+e/0;&
)
&&1
H
&4H
G/"
*)5#L &
5
<
8;+B/0;&
)2B9
'
,
.@<
4
"
+
9
-/0;&
) } 2
%2GY
#8
E
%&~k+
9&#@<XOX
0Q
0
45
Q
#&32WN8%
FH
%B=
/0;&
)3<)*+%+
#&B*H
1)%+ )
%O!
5s/"
I
#
%<
&
?_;+9
&"
+,#@<
@<Re
+%
#29
1'
1(&
5
:
'
k%5'Q
&y
H
5)^F d
'/0
H
$`
s
e;'"&#@<X2 l Fy'+6
R)F/0)QB
+
"/0;&
)
-q:] j QFQ
/
05
%/0
#8%
)[
5)
4
")*
+
0'/15
>W#
20
?
!
%O
1%
@(
k/"
&
K"'
.
Eu/"
)X
&-!'%
)V
Eu/"
*)
%&&
I!
Eu%/0
F9
+%
;P/0/1'#
%=
&9!(
K&
5
<!
/0/1'#
%x5
?A@
x
7
+%
;HQFQ
/
&z
e
QE
&'
#26C>
?1% !1
s
&'
,@(
9
"'
s
/0*&&)*
?@(
O'd
h(ikj>l C.O5'>
.Q
,N
:
)RE
%+F
"
8
?
)I*'
H%/0
0
8
#&42cC<`
Q+K
(q:] j C>+
#ORP@
=
_
0;&'%32=N*/ E
/0
#&[
$
)RF9
')R
#&10
k@W_1
'
)*
I
(
%)*
6.
G+%DISCUSSION
%
)(I
9@(
17+
*+ y
-
)*#
$E
%y>/0
+%
-%
1%)%+*
0*
-&
+%yk
+
QFQ
/02>Cg
)/0
$FH'
>%%)%+FB5
#&B%e
0;
;
`
/0;&
)V@
:
#&B
K$8;[&
k
1
/"
;
N/0
+%
(
T
L
2NC)P@_.
=5
&
%d
*+H
&e/"
')*
+s%)*+%
.@<R4&RbJ
;
AF
:()*
+%'
+%
2"
Q+H
L
/0
:
-&
8%
)%
QFQ
/0:
$9@W_e@<4
"%%)+%
OP'
.
)[
$E
+7*%/0+7/0
+%
-6
O(Q'%O(_;#@<)
#&+
%O
`/"
6
&d&
;2.K@W_B
#&B#@
O
2
%2<#@g`^@(
?EA
+%
K'
./0
+
,%
k%)%+*
k!
s_;&d<;)%+F6%
$%2H]^,#@
&3OTH/0
0
L;E
#O;
$#
1)I=Q
&
&*
%-@W_s
<15
.&%
%2
o-
+%
.%
<;)%+%
k&
+
#&"@<G
:ST;
U +U
%)%#
.5
=%
$%
)*
#&9
&K
L
#&>IY
#8%
'
;&
%2
MV]QSJC mpy#
75
1'
#&6
:%
:)*
+%'
+%
20tk#@
8
#O
-
?"&
?*5
&;
;")*
+%'
+
B%')[&f5
-/0
'
?!')%*:
:
+2=M
L
/0)
%O$)*
+%'
+%
X5
#&
%Gn:oHp7
& j wKMWO;%')[&s5
K/0
k
#
)RF-
+
#&s*
>@_sT
K
/"
;k@W
5H/0/1'RAF2
vz
I@
9&*&H>*;8
Q*+%
9
%O
&-@<
k*IQ))T%
H`
`'
<
#
X
C +
k/0
+%+G/0
<@<d
0/15
%eN)*
F
O
>
)'&+K
I'
>3%%)%+
0%/95
$% @<R0E
%e%)2:MK
?L
/0)
%O
+%
;I
$K'
:
h(i K j C h WEuKN %),
&B
%)*+Fc
$
$8;*&
X
N%
?T
/"
3!T
P%
V??% O
@<)
:
j PrkKPmx%)X
#&I
-%)%+F-
$
&
)I@<Rs
:%H<2
o-
N
)*
5
#&:'
X/0
+
P%
3%%)%+F:'R
#&
!k
:
I
.
+%
k)*
#F-
1%)
%2II@W_-
E
#&e
0#
,@<
.@<R6
e*!/"
%d&8
B?
E
8;
G,
)@
F,
R
#&41)
#
#27m;%/0
/0
K
_;$@<)
#&+%
<3$@y
IQFQ
/0V@W_;N*PP)+%
?W
N
%Q
#2.M'
?/0
%O*'
9%/0
k&"k@
Rk
?8
.
-!K
8%
F%
%O
*
))RFB/0
+ 'E
>%/0
*
2N
`
%O`A@
:
+%
s)*
F"
"/ E
<%)
,
</0
#&[
$<5
^@
-'
}
%2 +2N
I[A@
+%
~T
&9
'
)
8;*
%2N=Q
#
&1J
0CkS=] }
=*
m i CkSP~<N'7
0
8;
.
$k#
e5
1&*Q5'
#&-s
F
#@c@(
<1'
:R#2
C>)R%'+K
=
+%
+
T%%)+FK
)*
%,
$&k;&
#&3O
R N*T
#
))RF15)
(!W
+
=K/"
*')*
W
L*Q+K%E
%)+%
&e
8
dH)
#
7
@
2s*.#
65
0&%
0%
:QF/95%))
8
)X2
2P
.
+%
<
))*+
K
>
+%
<@<
$
)
/0
=X
K;)%+F
I
&9@<
$P
)*
%N:
)
/0
2=C/0
()#@(E^)
8%
)
%
0N
N
<
+
W
&
%/0
.
*
)*
&e;&
%O
H)
&HB&
?> 5
,
5)
:"
'E
/1')R3
+
IQFQ
/0@<-
MV]QSJC<E^%/0)*
I
+%
`
/0
?@_2FSQo{WizP?dRI];y??u??O
%%L $O%2
# l 2 h
&
_%
$
XOY2Y%%
XO
& 92 l
Q
/02
i ;)%+FGT(
_;k
&-o-
;&F2 NQ]z];]N^! *?
S^?9O } $~? O=#%2
$.w12M
)O j 2 l
/0O(2o-
O
& l 2vx
)+
;2
KSPoHpNC`
/0
@_s`>_;#@<)
#&+
:QFQ
/
'
%2]A
P(Q#?!9Q oNkq'RNkiOSu#W a#% zSmW?OX#%2
,Y2M
5
#2 te { i{R<?^ S^?92Ck&&%Ev4
)
FO
j
#
&+OoHC.OX%2
#.92M*&/"
H
& h 2tK
`
#2
:Q
$
:V
.
I
%%)%+FH&
+%3F2 R+Nt7 !J?OX# } %~? L OT#%3 ;2
$,Y2 nK
)5
R32 ?*!;sk*` y #2
Ck&&%Ev6
)
FOJ# 2
#,<2 nK
/0/"
;O j 2tk
)/HO j 2Y%%XO
&HY?2 k)*&
2
?*2 PI^??2Ck&&%Gv6
)
F j
#
&+OoHC.OX%%;2
$9o72 nk
H
&HmJ2q:
)2m[A@
,
+
2
qN19.Q oK` Rq'tBO3 } ~? %L ;OT%2
$.92k#FO j 2M
+
%3O
&Ho72o-'
X2
:_;#@<)
#&+
/0;&
)JNST
+%
EA%; h %/95+1
%
5)RAF
&"
L5)RAF2]A
`2
N^??%; qN o#??1
. <*#
](!J?!;G
. <*d
t7#?"?
pg]dR
ku^m i^*?W iP(` OMPQ?OJ%2
R#$.92k#Fs
&Gw12p=2o-L nk'
2 i %)+FswK
8
)*/0
#
C nk'*&
> h
#
+ %'IMVRQ i %)+F2%2
#
)3
#Om;
!&Bo-
#&#
)]^!/"
O%2
R%?,Y2 i &
))Ot,m2 ,2w>F_%
%O
& l 2 l
'
?#2TL;
&*+ :oHp
!>
+%
2]^!
n92v
+%
?#Op3
2O
&H<2 'XO
#&RO P(Q# ok`
R<? i ??^
N o?
S^?9
Hr aQ?6P`
$` %; qN
o#??9
RK W% N^! *???O%2
R$#,Y2m;
#
)
%=2 SJ2
R:2 h
/95*&+
Kk8
RAFGST
O
#%2
R#$ h 28
-Ck
#Oq ?2 W
BoH
_
%O j 2SV
)*O
&
Y2m;/1')[&
2]A
%
)3]A'
:W
Z .@<R
m[A@
,C>+
2]^HMW28%
-tk
/0
)
3O
#&R#O
P(Q#?!9Q oK`
` ]Q?
qN o#??1
RK W% N^! *???2] i msS=
OC>/0Q
&
/HO%%;2
R9mJ2vx)*)/0#O]2 h Q
;
'XO
&Ho72 h
)Q2
o-')R)*+%'
)VCI+%
i %)%+*
Op
+'
+
>
&
C>5Q
%2]^ RS
-` a?OJ%;%2