Mobilizing the Semantic Web with DAML-enabled Web Services

(1)

DAML-

!#"$!&%')(+*!+,(.-/0#12/#*13'

45!#6/12*7,!#*89#,:6;#*!#1<%=?>!#=+!

%*/871@"BA#>C+!#12(+>*'

%*/8712"ED)9FHGIJ#KL

-

GK#MK<DA%F

1- 650-723-7932

sam

^NPOQ ^R^Q ^SUTVWXYWZ

[ S]\^V]VS_

`B%9a9b%cDBdegfhJK#KKEi

45!#6/12*7,!#*89j#,k6;#*!#1<%=?>!#=)!

l!#m`B!#h>=nB%<*7/#*!oA#>C+!)12(n>*7'

-/p(.9b13;=)!+(Dl`rqq#KKEi

1-505-646-1930

tson@cs.nmsu.edu

s VStu&St

!#"$!&%')(+*!+,(.-/0#12/#*13'

Departme

*89j#,k6;#*!#1<%=?>!#=)!

%*/8712"&A#>C+!#12(+>*'

%*/8712"vD9FHGIJKL

-

^GKMKEDA%F

1- 650-723-7932

hlzeng@ksl.stanford.edu

ABSTRACT

wyx+z:{Hz|}~oz??n} 32?:@z+?~}?2k2nz?n}.?z~

)@??}+zB?o~z2n}z~

–

|+?xa})3?2.}?

-prov

})})~z2n}z~?

~z2?}z~Bxnx+?z~nzz 3z?^x?z?@?wy?+2~:{Hz|j~

)z~}?+zB+3}.3}7o2?x+).B+~zwyoz)|+z2z}7|+7z2?z

-

^~7z

)?7zg}?z2?+z37}?g?~z2?}z~H|)n+)z?2??@.~H?

?z)~7x+zk?2?+z }7z~+|?}7}7}7z~}?z23z~onz33z~o?{Hz|

~z2?}z~o?~|+zk?+)z2~?)|?zB?.+)z@~r x)}~.+nzbz

)@?)n~z?}~}?H+H?3}7b2z7}¡}?H?)2z}~zx+}~]{Hz

)@?)n~z2¢n)o?E{Hz|o~z2?}z~b}7o7x+z£¤b¥¦3}ny~z+}

{Hz|H2¢?+H7)n)?z~b§)2¢?+H?{Hz|H~z2?}z~Bz?|)7z~o

}+z^?2}7za?k?z+Bzx)+?n?}z~H3?)?zg{vz|m~z2?}z

)}~?nz¨z+z+7}?+¨?.+?~}}?&+o}+7z@?)z2}?+{Hz.?2z~z?

?+z

logic-

|+~z©nznªzx++??+«2?¬~z2n}zn#?~}7}?+

)@zn}7zBnBxnz+~zn52z?~|?z¨7~¢

-

~)z}3}®xn}?x

-

z?zy?z)z2}

)@?z+)2z~5++~z

-

~?z}3}b)~?.}¡})?+~3}7)7~

¯°v±+²g³´µ·¶¸g¹^³o±¨µ^²

wyx+zr{Hz|+?+zr~nzrr2z)n~}n22n^z?)º}.nz~}~

z??n}+r}+rg)2n?}+zH?~z2n}z~

– information-

»®¼½)¾¿À?¿Á+Â

services

~)x«~Ã37}?x)º}+3?2.}?«n2??})z3~rznz37+2z

~z)~?3~y+.z2~Ä<+

world-

Å?ÆÇÈ¼¿Á+ÂkÉÈ¼¾¿7ÊÈÉ

~)x~.3}nx)

|)n?¢)})¬+2?n2~a~z+~?g?+@?z2~^+¬Ë?3}z)gÌ

-

Í ?.z2z)oÎÏ+Î^+)}7}?)~kwyx+z~z~z2?}z~b3z2z}¡zo|+

Web-

z~~}|)7z)2n?2~?7|)~z~~z)~n2~)o|+n@}z+

?x+znx)~}j+z?}z~] }7~&?2z?}zx?b}7x+z?z?+z?z

+++z3~:}7|nz+|?}Ð+?}?+~)Hx)n~j+z?}z~:}7x??z

~?.zj~n2?En+)zy}7)~}+zoÑ}? Í z23#?+z?¨x+zj3x+z2~n®x)z

+z2+z7y?}z~7x+zo +z2?z72~)?++77}?k|)&~2<+z?}z~~x+z

x)2|n}+?z®n®)z2z??+7}n}. +z2)z#zx++??+

wy?+?2~k{Hz|^~:+z~}?+z)3}2}7H3?ox+).^})z2+ z77}n

)«x+)«+~z Òznz@7x)zz~~ºbzÓ3zÓ~zz}7+Ô})2z~z

)?7}?k?b{Hz|k~z2?}zo}?z2n)z27}?+y+ }2}7o}:ÎÏ+Îm+

E-

^Í ?.z2z)+}}n)~ÖÕjz+z27~)xª}?z2n)z27}?ª}~

2z}¡zHx)2n)?x¤b×¨ ~Øx+}7)?2+?2zx))

-

?+z^})3?2.}n

z)727}?an)zH^+zH+az+72.?+z?.32?Ùx+zHÚwy¥¦

~)?Ej{Hz|.)?z+2z~z+77}?.??+oÛ+3?2++z#x)z.

{Hz|+?zx)+?z~^}7~^+ z~z)77}n7??+&x+z¤× .)~Ø|)z

.?)}3}zk+2z?z)3}7n2z<Ü+)n.z?k2z7}|)z<72?z

-

^~z

}+7z2?+z2}??{Hz|Ø~z@?}z~.|+:).+)z?@??2.~??z+~

ÝÞ)ßE}~x+z)zz.¢)z{Hz|~z2n}z~?}2z7)++z3~7+)|)7z

–

@z7z¬¬àz.?}Ë{Hz|áÝÏ)ßr+r~z2?}z~ªx)n~z¬)2n)z27}z~

ca

+|)}7}7}7z~}nz23z~â+ãz3 z~ä@zåz)?+zæ}7æ

+).|?}?+?+~#x?}+z

-

}7+7z2?2z|?zb3?2.

wyx+z@z}¡}?]?Hx)zgàz.+7}g{Hz|ç}7~?)+z@jr}xx)z

+znz?+z+5??+z)<.2¢+)&)?+?z~~+xk~è¥¦¨yàÚ§jÌ

Ý3é)éß3¨?z2@zz).£¤b¥¦¨ê§ 3¦

1

¨)&znzn+7.£

AML-

^¦®wyx+z

3?2.zr)n)?z~]2zË+?m~+33}}z+7z)+2z~~}?z nr

)+7}7}?+~¨+ìëì?b2zob}x+??<~)33}}z?y~z.n}~wyx?zo77z2

}+~?}72z|)k2}3}}}7)z7}?z+zkí2¤ î¢++?z)nz:@z+3z~z+77}?

+?+nz~g?ª~}7}ª7x)zº}?~H?)z?zn).z)7 zºn2z

z)+3z~~}?z??}y+?+nz~7x+y|++}7BnBnB?è¥¦+Bï£Ü

Ý3éRð+ß.Hz)|+zx)z.2¢+?^+^.+}?+77}??.o?2zn+z

+?+?}b+?n}#2z}n)~<|?zzzz?}77}z~<?x+zb{Hz|?

{Hzo|+z7}z?zox+<o3)+?z?<?.#?+z)<?x+zoàz.)7}{Hz|

}7o|+zHx?z2¢n)mnB{Hz|m~z2?}z~a.¢)zHx)zÓ?++z

}+7z3)2z|)7zª+~z

-

?+@znª+ñ?z+

-

^3z+ wyx+}7~Ô++z

)+3z~~z~?@z}~zBx)}7~.n+?+z+a{Hzo+2z~z)<k+?2nx

{Hz|ò~z2?}zP.@¢)+óx+¬?2n?}+z~Ôó?z)

-

}?+znz+?z+

À+ÈÊÆÅ+¼Å?Ç7¿¾ÈUôjõnö

®)?2}7+ox+z+)&z?~~?}zB}x

ª~z2?}z]??zx)zm}7x~+z}}}?+~r?m}7~?2n)z3}7z~r)

+|)}7}7}7z~Ex+zo}?z23z& nj}~z?z)}?+y)kx?zB?@z2zÐ+?}~}7z~

)r?+~zÐn)z+z~H?}7~^?~zP¥3¢)+gz+??}7~?)?n?}z~H

3}}7z~x+@}+?)@z+~z#n+?~}}?+#+?}+?#+.~+}+?

{Hz|^~z2?}z.@¢)+?ª§+?}~}?^}7~k?3}772z7}¡zH|){Hz|

~z2?}zr.@¢?)]}çrn}z?Hx+zr)zr+2?#n~z]£¤b¥H¦

í2£¤bï×¨¤r¤?z+5¥2¢++:¦¨+?)?zî÷Ýø+ß3}B+~z+}{Hz|

.@¢)+m)n)?z~«à#+xg~

-

^z ÉÈùÅ)Á+Ç¿7ÊaùÅ+¼úû

p

^?k{Hz|

~z2?}z~?2n?}+z~

À)¿7ÉÇ7¼¿7ü+û+ÇÈÀkúÁ?½+ý5ÆÈÀ+Â)È.ü+Å)ÉÈ

í2þÎîbx)y?z+~

.2z~?n?zy+z23?2g?2}z?¨~¢)~})?+}7+)?z

{Hz| ~z2?}z +}~n?zÿz+z+}n) ?.)n~}}?+ÿ)

}+7z2?+z2}?)ówyg}7)~37zmx?}~)?}?&zm?2z~zn:r?z+

tec

x)+?n)|+~z.?. z+~|?z?z?z }b+2?z++ z~<))~?.}¡})

n)~2}7)7~x+yz)??}~b?&~x+?~z~?){Hz|o~z2?}z@¢?)+

wyx+}~<?z)#zx)+??)}~2z7}¡z.?~}+7x+zj3}72~

-

?@)z¨+?)?z?

x+zo~}7+7}?++~kÝ3é ß?kz+7z)nzØ?z ~}??x+zB?z+

1 http://www.daml.org/2000/10/daml-oil,

!#"$%& '(&*)$ *+*+

Postdoct

*%-,-#%%.* (/0(%#"21$34* # !657*89 :;=<>+?A@A@?CBED6FAB>HGJIK;7LE? ?FCGMBC<(N*GJ<OL6PBEQ?A;@-BSR$GMMBC<(QTGJ<'FUBSR#FN?A@UVUBC<'IWR'BC<

QT;J<O@JBEDTGM#BC<XPEMG@@<OBBE>ZY2@;T?A@([C<\GJDFA;L+V?F]NTBCYSF(R;;TQ<OBS^C?AL_;LF]N*GJF2PBQ`?C;@$GJ<O;

DTBEF7>HGLS;aBC<bL?A@F<?cYSFA;L!R]BC<HQ<OBSR?FdBC<bPeBE>+>;'<OP=?CGM7GLS^GDFCG[`;aGJDKLF]N*GJF

PeBEQ?A;@-c*;eGJ<F]N_?A@fD*BEF?AP;6GJDL+FN;HRYMM-P'?FCGJF]?CBADgBDF]NK;&R?<O@F-Q*G[S;Eh#iUBaPBQ`j

BF]N*;'<OVK?A@;ek$FABH<O;'QY#cTM?A@]N*k$FABdQ*BS@FHBEDl@;'<O^;'<O@B<mFAB<O;LC?A@F<'?]cYSFA;mFABM?A@FA@k

<\;nCYS?<e;@oQ_<?B<U@QK;P=?AR?PTQK;'<>7?A@@?CBAD7cSjUF]NK;GJYSFNKBC<O@h

p

;J>HGCDF?APTqr;'c7qsB<'IK@NKBCQHtSuSuSv7wBDK[CIKBED*[SkxTN_?]D*G

x(BEQj_<?[ENFc`jUF]NK;(GJY`F]NTBC<O@h

(2)

pro

x)})z2Ë ^àz}n^Ï^z+2?n}+z~z?.?}?}7+H{Hz|

~z2?}z~¢)~)o+z }?zx)z|+~}n+?+z+~?<?+

framework

.àz?}? z)2z~z??+y+)2nx~z?}2¢?+n®{Hz|

~z2?}z~k oàz}?oz+2z~z+??}

-

|)~zo?z)zx+)??#

x+Hz)+?}7~mxnz.2¢+?ªzr+2?+?~zr]+z@ n2ò??.z

~z2?}z?.)n~}7}n?}?z2n)z2}??

wyx+2?+?x)n)x+}7~o))z2bzk}77+~2zk?+z+~.}z2.~o?2?z

z).?z~ Í z2kx+z@z}~ +?x?}+r}ºx?}~ 7zx)+?n)rx+

2z~3}~}7k7x+}7~+?.}?m§)?2¢k}~)z~}?+zkk|)zo+?.}

-

}+)z)z?+z?à#}.}72yx)zo?}~}?kzo)3z~z+y}k7x+}7~)?z

|)zg2z7}¡z|#gr?2}zr+)}23z@z+~z?}m{Hz|.2¢)+

+?)?z~o)k|+z:z+)?}7z|+k?2}zØ?)} 3z2z+b?z)

2x+}7z?2z~g+ª7zx+)???}z~ wyx)zº2¢+?ª+ª7x)zº?z)

zx++??+ªz])@z~z)Hx+z3zç2z]|)n^?+z]?a#])?~~}|)z

2z}¡}?)~

–

n)zmzm|nz7}z?za}~^z7@+~}3}7z?óÜ#}+B?+

2z}¡}?}~o2+}nz+??})~Bzkz)??}}.)n njn)?n}+

ex

7z+~}?)~rªx+z]£¤b¥¦ 3.}3ª?a~z+}{Hz|Ë.2¢)+

languages.

° ^²g³o±¨¹´±¨¹

wyr2z}¡zg?)Hn}~}n?àz.+}m{Hz|àz@?}z~az3zgî

2z7}+~z?}.@¢)??¨{Hz|~z@?}z~<x+#z?|+7z~57x+z|)z

computer-

})7z2n2z|+zk+~z

-

)+@zn7+

ent-

2z+Ä)]|)î

)z?z?)})Ønznzx+)n?+kx+z+)?}7~.xn}~.~z.?}&2¢)+

k~+)+?2??zØ}7)7z2?+z3|n}7}k?{Hz|Ø~z@?}z~m£2}?}+

x+zH)z?z?+.z+.?o?+B.@¢)+a+a?z?zx+)??)2zHx+z

)?7}?r7~¢?~Hx+&~z.+7}a.2¢?+r?{Hz|~z2?}z~H}7

z)|?z.{Hzbn)2~#x?z nnj})x?2zzb7~¢)~

! #"%$!&(')*,+-.*0/,1#&('2*43&5-6', #1#*,/,7#

8:9

Â

9<;>=

¿Á)ÀaùÈÅaÉÈ¼¾¿ÊÈÇ(?)Å+ÇÉÈÆ7ÆÉÅ+¿7¼Æ7¿Á+ÈÇ¿7ÊúÈÇÉØü)ÈÇý5ÈÈÁA@+Å)Á

=

¼Å)Á+Ê¿ÉÊ½Å?Á)ÀCB½?¼½+Á?Ç½

;

Å+Á?ÀmÇ<?+Å)Ç.Å+ÊÊÈ2»ÇÉB»Å0D#ùÈÁ)ÇoüEDFo¿7Á+È¼HG7É

I

Æû+üÊ¼ÈÀ?¿Ç#ÊÅ?¼À

9

¤b+?.}b{Hz|~z2n}z+}7~+?z2})?n?z~x+z)?7}b?}n

?{Hz|B~z2?}z~x+y+2?n}+z.)3})7~z2?}z+B7x+y+x?z2z

k2zÐ+)z~7zØ)2n)z27}z~ Í )32z?<x+}7~~¢.)~|+zB)z23?2.z

|)&ox)+.kx+B.?o)~zoo~z2xkz)n}?zoB3}+k~z2?}zE+

x).nx)zo2zox?z{Hz|o+nz~~?}zo}7x.x+¨~z@?}z?

z)z+7zx?z~z2n}z.+?7H~zzx)zx+zo}7)x+z2z~BHx+z

2zÐ)nz~zm+2?+z37}z~«{H}7x~z?}2¢?+g?k~z2n}z~.x+z

}+3?2.}?.+zz~~23?y{Hz|.~z@?}zj+}~??z.|)z~)z}3}z

~:?.)+z

-

}nz@)3z7|?z~z)7}2¢++H7x)z~z2n}z{Hz|

~}7z~+o~z2n}z2z?}7~72.?5í@?)?n)

-

z+x)+z)î<~z2xoz+?}+z

)~zn?.}7?z+)@?)3}z~z2n}z~

J! #"%$!&(')*,+-.*0/,1#&('2*4*0KL*,'2M&( #NO

8:9

Â

9<;2P

û0DXùÈjÅ+Á.Å)¿7¼Æ7¿Á)ÈÇ¿ÊúÈÇ6Q?¼½)ù

www.acmetravel.com

^½)ÁSR ^ô:T

QÆ7¿Â??ÇULVLWXYQ¼½+ùZ@+Å?Á

=

¼Å)Á?Ê¿7ÉÊ½Ç7½B#½)¼½nÁ)Ç½½?Á [·Å?¼Ê,?>W

9

¤b+?.}Ó{Hz|P~z2?}zznz)7}?P})n??z~Ùx+zÓ)?.7}

z)z+7}no?yo}?z?}3}7zo{Hz|o~z2?}z|+n+)zy)2n?2r?

?z) wE:z+z+7zBo+37}+~z2?}zB?Ø?+@~{Hz|+y~)x~

|)+}+o}37})z}¢+z7?z)z2+~zE+~¨?..x+z{Hz|~}7z

?23z2}+Hx+~z2?}z3}77?+3?@?^}¢^n^|+??

z)z+7z^x?z^~z2?}zÓ¤bz2)z^x)z)~zk}?x)o~z)amx?

2zÐ)nz~.?}3zHx+z~z2?}zH}7xa7x+z+?2?+2}77zH)2zz@~

encoded

ó rz}x?z~zBxn).}?z2)3z77}?r}7~H@zÐ+?}72zg

) Ó}?z2?2zrx+zÃ}+3?2.7}?3z7+2?zÓ|+Ùx+zÙ~z2?}z

¤b+n}z)z)7}?^?.{Hz|~z2n}zH|+zx+?+?x+?.~k

3)+}?.?y7?@?z~~?¨3)+}?+~oàz.?7}2¢+)

?&{Hz|a~z2?}z~k)@??}+z~kH)z727}?z?.)+z

-

}7+7z@?2z|?z

¤b×¨ 2njz+z+}7+:x?z~zo3)+}?ë@~z2n}z&7~yx)5k?z)

}+7z3)2z+)+z@~+ojxn}+?+}7~b+zz~~2x)z~z2?}z7

x)}+ n27}?o}7¨|)z2z+3)zo+ox+?m.z)z)7zx?z~z2?}z

automatically.

\L]! #"%$^&5')*,+-.*0/,1#&(',*_', #"a`b #-.&5M&( #Na$LNO3&5Nbc*,/, #`b*2/,$#M&( #NO

8:9

Â

9<;

[HÅ+úÈÇ5?+ÈÇ¼Å?¾ÈÆÅ?¼¼Å)Á+Â+ÈùÈÁ+ÇÉdQ½?¼ù:DfeeaeULgÊ½+ÁMQ?È¼ÈÁ+ÊÈ

9

¤b~.x+zB+z&}+7}z~yx+}7~.7~¢k})?n?z~.x+zB+n7}o~z7z}?+

+.)?~}}?^+^}7+7z@?)z27}??.++2?+2}z{Hz|~z2n}z~k

+z@ n2~nz~¢?#n}?z.jxn}?x

-

z?z+z~2}?7}?.?¨x+zjn|hìz}?z

?x)zØ~¢? Í )32z)7b}~?zØ~¢H3zÐ+?} z~&?.+?~}}?H?

{Hz|o~z2n}z~x)®.+~}?z2?+z2z#x)zo7x)zn~z<?~~zzx)z

{Hz|B~z2?}z~®.++~+z}2x)z.n#?~}7}?+¨z?~)3z.7x)y)

~?32z n:}?z2?+z2}?a}~+~?

-

2zz?.?m+2??})zHx)z }++?x+?}z+?}+~&í2z7?7~z7z}+Ø }?x+7î2]{H}7xH~z+7}

.@¢)+m?&{Hz|~z@?}z~x+zH}+ n2}?m+zz~~2 a~zz

+.)?~zy+B2z~)n)&B~z2n}z~}~z+?+z:57x+z.~z@?}zo{Hz|

~}7z~ãàn 2zºª|?zºj3}7z ]?})nzrx?}~@¢?)+

n?zx+zk}xa~?z}3}7}??Bx)z?|hìz}?z~nBx+z^~¢?.

x+}z?zÙ7x+zÃ~¢Ó?n}7 àz2?}zÙn+?~}}?)

}+7z2?+z2}?z?z3?z+?.7}?}~??z+z)z+7}n)

§x+z:x)3zzk7~¢?~o7}~7z|+??z+?+z:}~oz+7}3zk2z}¡|?zk}x

n)2~{Hz|)¨+2}.2}7|+z+~z+5¢k??+z)E3¢)+B+B

~+}7|?zH@¢?)a7+?)?z¤+z.}2z~z2xa?a{Hz|a~z2?}z

+}~n?z}~b?@?}+?+¨?y?z+®.x

-

¢+}+2z~z2xo~+xo~

x+z«¦¨2¢ó~~z Ý3é0i)ß3ªx+}xñ+2?+?~z~Ù73}|+?z~Ó)ó

2z?2z~z?}n3?y?+?7})nzn?|+}77}7}z~~x+#x?zj|+z

nz+|?2?¢+z2z+ ïzz)}7)+?~72}7z33?2~rx)?z]|+zz

focusing

+2}2}7r?º}.)@??}+r{Hz|~z2?}zg)}7~)nz@+

~)z7~?~z2?}zz+z?}?ªx?2?+?xª})}77}}?z~m~+xª~mx)z

Û)}?z2~¬£z~2}?}?)£b}~?nzP+â )z?2}?òí2Û££ î

~)+@P~z@?}zÔ2z?}7~7@?Ä x)zè¥¦

-

|+~z©{Hz|©àz2?}z

£z~2}?7}?k¦¨)n)?zoí2{Hà£¦¨îb2z7z~z&}kàz)z|)zÏ+ð)ð+ðB~

32z?2¢}?+z?z)+z+{Hz|H~z@?}z+z~3}+7}?)?+?zÄ+

z|)è¥¦¨5k}?}7}}nzB?x+zBÛ)}7zÒ}?+~í2ÛÒ5ëÍ ÌyÜ¤ Í wyî)

§¤bà¨ àÖò~+)3)}¡zóó32z?2¢ 3?Ó@n}+ò)27+z

}+7z2x+)nz Ì

-

|+)~}+z~~ }+ @~72+?2zÃ?.)+}z~@zÃ+?

b

zn}+?}+BB)+?+)zo)3?2.~&~)++?35~?.zoz?z<?{Hz|

-

~z2?}z??}?+kÌy).?z~b?E~)xo)2n)+~b}+)+zÚz7z7

-

×¢)2Lj~Ëz

-

~+z¢)¬)z~2}?}??m2z?}~37}?+m)Ù++}

+}~n?zo+3?@ç3?z

-

~z2?}z~Äy¥}2?~n Mj~7ÒÌyw+kÎ5}¡wy¢

n?~Ä#§2z,j~£?+.}àz2?}z~Ü@.z?2¢+ÄB Î¥kj~¤b+)}7}?

Ü@.z?2¢ä3?Ì

-

Î)~}7+z~~Ä ) à+Lj~P§)zäÒz?2¢

Ìy+?}@?).z)kí2§ÒÌ¨î2òÑz3}Òbzkà??}?)~k+7}}+7}+r)

}~x?})zz37zx)zH@¢?)a?o~z2?}z~3?B+}7~+?z2}~

|+)}7)}7+a?)?n?}z~+a?n~a?2?+}¡z^?m)~?.}¡z^{Hz|

~z2?}z?}~??z)b}7xHx+z}.§à¥«×#3?2.b+z}?z3}+H

}+32~7@)?2zx?#??2+}+7z~<{Hz|~z@?}z~<3?¨)+|+}++ }?z

@+}7)z+x+)?z~

{Hx+)}7~7})n)}7~x+z~?+y?2¢.}.xn}~<@z+j}7~n)y~z.+7}2¢+)

?y{Hz|.~z2?}z~}..z)n2z~~}?z~z.+7}{Hz|.2¢)+.7+?+?z

}xbz

-

+z}+z~z.?}~wyx+zb~z?7}2¢++)3z~z+7z}

x+}7~.))zb+2?n}+z~.o~z?7}ozjx)~x)n)?.2?@|?&~}

(3)

)z~2}7)7}?«?«x?z+zÓ.?2zÙ~?+x)}7~7}zÔ})7z3}?+~¬+

2z~?+}+kx+zB?z?ë@+?}}nz?z7m¤~&)zo?+~27}?+

x+}7~}yzo?@z~z?<nz+yzx)+??)&x+5?z23?@~

automatic

{Hz|o~z2?}z?.)?~}}?)#.2z7x+})+?~72}~b+?z¨¢+7}+

}+?2z#z~

re.

Ü}?)@zHéo}7n~72z~.xnz:|+~}B?#n)z+~o??+àz.+7}&{Hz|

àz2?}z~b32.zjn2¢?k ¨}~?.#?~zo?y~z.)}2¢?+o?y{Hz|

~z2?}z~n~z^?+~2}?~)]{Hz|?z++2?z+)3z~ wyx?}~

2¢++:z?z ?z~.?+???}z~.?b+z3}+zØz@~.+n)z+~.x?

2zB~?2z}Ø2z?~|?z&+~x+ |?zk{Hz|Ø~z@?}z:n)???}z~o+

{Hz|onz+¨)@?z+)2z~b?+n+?}z~kwyx+z~z)7}j.2¢)+o?y{Hz|

~z2?}z~bnz7}?z.2?@~)}~3}|+?zoþÎ^?E{Hz|o~z2?}z~bx)

|+zBz~~zk+3z~?+zØ|+?+7m Ø~:+?})?<}+2??})z~.

z+~:3?o?z?~BH)?++zx+z}?þÎ~&~Hx+7x+z

2z~?Ø|+?+{Hz|~z2?}zBn2?+z3}7z~+k+|n}7}7}7z~}?2?z

?.)}~xg~?z?x+zm??zg2z~n)}7+~¢+~H}+z+7}3}z

|)?nz m+?}7}?mx+zH3¢+)?.?+B32.z?@¢ })7)+z~

?2}zk??z)zx+)???}z~.zx?x)}x?.++}z~.b}x

x+z^{Hz|a~z2n}z~?}m?z+|+2?¢+zBx?~z?+~3zÐ+?z~~3?

~z2?}z~5+)@?)3}z{Hz|~z2n}z~+?n}~)x2z~)?+~z~|?¢

ax+zH?z?wyx)z~zH|)@?¢)z3~b}7.z?z)?7z++?}|+?xan

2¢++ +Ó{Hz| ~z2?}z ?)?n?}z~Ù~~}7~g}Ù?}+

)+2?+3}z~z2?}zo+2??})z3~z}7x)z}+7z2?7o?x+2?+?xkx+z+~z

?^ª+?.}r)}~??z?z+ãþz?ºn#?+z)~??+

àz.n}.{Hz|kàz@?}z~j}77<|+zo?z~3}|+zk}&3)27x+z)z}y}&x+z

~z}?+~53??

° ^²g³o±¨¹´±¨¹ ´ ¸

wyx+zx?@zz~¢?~&)z~3}|)zH}Hà#z}?HÏH~z2?z~o+ }?z2~B3?.x+z

)z?z?).z)onB?+k~z.?}H{Hz|m~z2n}z~2¢n)?Ó{Hz2z

2¢n}++ØéRî<{Hz|o~z2?}z~b~+xo~x)n?2~Ó+3}?}).)}2z7}n

~z2?}z)?EÛj+}7z¤}27})z~ 37}?x)~x+z?)7z}7+3?2.}?.~z2n}zÄ

Ï)î)~zb)k?2n)kn)~2}7)7~+k?2z3z2z+zo~)x:~+~zÎ?|)@~

~x+z)+7zox+kx)z?2z3z3~g)2}?zm}x?z)3}n}+}zgx)}~

)z~}?7}?k}~z~~7x+ x)n)2~yx?5x?zo7}¢)z~&?z5~?¢kÐ)+?z~

32?]x+zoÌ +w®@nz«{Hz|&~z2?}zyz7Ä+ îb?z?<?2?z++2z~

)k2z?~zo|+k?x+zb+~z2~aÌy+)z~.?b~+xn2?z+)@z~}7)+)z

B

?|+2~?+#2~|+)~}?z~~k72?z|+??¢+}+^+2?z++2znBÎ?|+2~

32}z+?2~a~?¢ç~~z~~z?n2?z+)@zä ]x)zg~)|n~z7}?]x?

3??~z¢+z^xnz^~z n:x)z£¤b¥¦ç3.}a+B.2¢)+

+?+nz~z.3zo?~}7+B}B?+b?@¢?HÜ??})ox)}7~¨zn}~+~~

3)@x+z¨)z}7~?¨?+¨+?2nx~z.?}b{Hz|~z2n}z. ¢++?

°2¯ ¶Zk

2zz)Hz2~º?).|+z?^.2¢+)])n)?z~gx)?zº|?zz

+znz?+z.}7x.?}za2z}++?+?z~7x)2z?zÐ)?7z3?

2z}¡}7)ox)z.à#z?}{Hz|?¨wyx?z.n)~2)7}?&?<x+z~z+?+?z~

}~z???}+Ù?2+}+ ÙÃz2zÙ+?2nxÓÙ+?+?z

+znz?+z+~.)z?}z}ØÜ#}?+2zBÏn5x+}xØj~.n)} }z32n

[6].

è¥¦]~x)z3}3~o7)?+?zam~z)2z^x?za2¢)n?k{Hz|

n)z+32?ª{Hz|n2z~z?}??<3}7}77})&x+zo2z+3z~z+77}??

task-

)&)n}

-

~+z} }+.?&x?z.{Hz|)¨Ûb+3?2)+z¨è¥¦

¢)~ ~z.+7}~¤~ ~+x+?.)+z)2n?2~Ùn)? |)z

?+2?zzo+z7z2}+zx+z}?zn)z.}+7z3+2z7}?o?yè¥H¦n~

Ünbz).)zyo?.)+zb+2?n2ç?+k+?<|)zo|+zo&}+z?7}2

x+

<SALARY>

).2z3z3~&x?zo~z.}+3?2.7}?k~

<WAGE>

+7n^7x+x?z

<DUE-DATE>

~nz}3}zºr{Hz|]~z2?}z

?z+)?@2~~}7zH.H|)zH+}33z2z).32?Ùx+z

<DUE-DATE>

^x)z

+)2x)~z @~5~}7z

wyx+zBïz~?+2z&£z~3}?}?Ü2z?2¢í2ï£Üîj~+z?z?+z|)

x+zg{H?2º{H}?zg{Hz| Í ?+~?2}7)©í2{ +Í îH~a~7+?23?

.z?7b}7xx)zn?®ny)+}7).3?2.¨~z.n}~.x+z{Hz|+

ï£Ü}~k)z3}7)za??a?oè¥¦r^+2?n}+zHH?7H?+z)

~)m?+?z+}nm3?k2z?2z~z?}7)ax)zH~z?}~Ø?B+H}7m

~)+@?}¡z]})7z2?+z@|nzr.+?z3Ö H+2??})z~mºz+~m?

+z~2}7|+}7)&x+zo2z7}n)~x+}7)~.?+B2z~?+2z~í2|?~}7o#x+}+

+.|?z|)Ûjï î<}oz@~?y+.zo)@?)z3}z~+o?7+z~wEx)z

ï£Üm?2¢+}+H??)~H+znz?+zï£Ümàx)z.í2ï£Üàî3

object-

?2}z+7z+zj~~zx).|?zz3 z}nzx+?)nx))¨~

.}+}.y?+n?+oo?+z}+o+?)?z¨¤bx+?+?xBï£Ü+Bï£Üà

+2??})zr?+?]|+)}?})º|)?¢+~m3?^+z3}+}+ràz.)7}{Hz|

.@¢)+)?+?z7x+z¢oz+)@z~~}nz)njz2kÜ?5z++z?+z

+)n)z3}nz+2?+z27}z~k?.)@?)z27}z~)zz~~2)~)33}}z+

n)+}}?+~ n~~.z.|?z2~x)}7+¨zÐ+?}nz)z)&?}~5?})7+z~~?

~~z~?ax+zH?+n)~2})7~z+?2z~~}7|)7z2zH+?.}ìë3+?z

n)~2}7)7~?o)@?)z27}z~kÜ}?7+o)z2xn+~b.?~¨}.+?3?7

x+zb~z?}~52z}?~5++?z

-specified.

ïzz+<x+z2z&x)?z&|)zz~z?z2z33?2~.k|+)}++?ï£Üí2àî

}x:.?2z&¤b

-

}+~)}7@zk¢+)njz+?zB@z+ z~z)77}n7)?+?z~~+x

~kàÚ§Ì Ý é+éß £¤¥¦

-

^§Òw ^Ý^{Þ#ß3j§ ¦} Ý3é)ß3)n~2zz+

XHTML

4! #"$%'&(%$")*!+)#,.-/"01234#"5

) RDFS (

^{#! !"}$'&(!$")*!+)#,.-/"0!16%37!"598$:!120

) DAML+OIL (

^; ^,!+^#<!=#>?&(!$")*!+)!,'@A0,!=# !0#=!

) DAML-

^-B

^Logic )

C`&-DFE%GH+#,!)I%<'JK0#"5 #*L@A0!,#=! #0!=!

) HTML

MONPRQ2S7TVUXWZY[X\9T7S]T7^_Y[R`LPRQ2[RPXT

Development KB

a4b4c?dfe(g%hijc?dfkAlmKnoKp

q b4rsbfktuhibOsfhgvbs q b4r?a4buktuhiwb

Ontologies

q b4ryx7koKizb{XmKkbs

Ontologies

Agent Broker

E-mail

a4b4cd4e(g%hicd4kAlwmKn?o]p

Personal/company

ioXesg%kdfhe(gvs'd4e({|nKkbwpvs

...

Semantics-markup-

bfe(d4r]}b{

d~]b4e(gKgvbwi4KeoX}oK~K

-

MONPRQ2S7TKWRMOSK[R_T7V9S4_#9SVT4_[R`!NAVT7

(4)

x+zo£¤b¥¦^3}k?b.2¢+)k+?+nz~y2z)}7+:£¤¥¦

-

^§Òw

~ªz+)3z~~}?zº?)?n)º)z~@}+7}?ª7+?+nz3?a2¢?++

Î)}7)})Ø?n?ï£Üí@àî)}7x}7~.2??~o}7¤ b+z~2}+7}n

?n}~£¤b¥¦®ê§ 3¦Ô+?z2?.z~.+?mx+zªz+?2z~~}?z?z~~

}+?zÐ)?}z~o??+}7+ï£Üà+.?~}.)?@+7x+~okz

)z3}+z n)z

-

7x+z?2z}]~z?7}~]~]za~¬)}?.7}

~)z}3}7}?Hxn?z7z2.}7)z~ox?z}nz?+z}nz@)3z7}?+~B?x)z

+?)?z £¤¥¦¨ê§ ¦ }~ )+|+}?+?+~ ?.)+z

-

}+7z +2z|+7zb7x+)~&¢)})}7z+|+7z?z)}nz2n)z3|)}77}

)&n?.zB3z~?+}+ozx)+}Ð?+z~¨~+x&~7x+?~z.jz.z)??}E}

?+y?z)+zx++??+

.x+zb+z)#x?®z2+£j¤¥¦&}#|+zbz+7z)?z}7xx+zb++}77}?+

DAML-

¦¨5&?n}<+?)?z&b}xkBz7

-

)z3}?zk~z?}~+

x+zB|?}7}7kkz)+2z~~.z~+2?+?~}7}?+Ú?@+~z~Új?@

+~z~z+|?zn+@z+3z~z+7}?.)y?+~2}7+7~+@?z~ n

2z~?+}+? Í n)~}+zka}7@7}?z }?xno}+ n2}?m~z2n}zx?

}~x?z~z+n)zx)zx?zy 7}?x+~x+?~j.??}zo§j+zj#

x+}7~}~m@zza.2¢+?g nzx37}?x)oí@~)xm~a?7|)~zî

}+?}7}+x)zx+zy?E)?#x?z37}?x+x?~<?n}z¤?@zj?.)

2z?2z~zn}?]}~m]3}7zrx+zrn)~ }?

flight-over-3-

→

+m)~za?z+)7}?za2z~n)})mm}+3z

x)zxnzHg3}?x?x+~ g.??}z wyx+}~a3z+3z~z+77}?}~ .?2z

++:})3?@}?zØ+çz~}zHºn)}2rx+ççz?+7}}

z)+z2}?]?Hx+zx+zHzx]}7)+}n}?+3}nx?x+~mr.??}z

à}}72¨~+x&)~z~o|)z)~zoo3z)3z~z+¨|)?~}?z~~2)7z~}

?.)3?2.

£¤b¥¦yê§ 3¦Ù)£¤b¥¦

-

¦Ù+?zx+zb}7H+2?n}+z]2¢)+

+?)?z3?yx)zà#z.n}{Hz|}x2z~?+|?zz+?2z~~}?z+?z

)kobz7

-

+z3}?zB~z.?7}~Ôà#x+?+k3)3xnzz+?2z~~ì}?zo+?z

|)zg?zz~~2:x)z7z2z?+2?xg+?+nz?z?zn).z)

7?~n2zz+?2z~~}?z??}7)n)?zz+z).£¤b¥¦

-

^¦®#n

~7z2+zz?z+~}?£¤¥¦¨ê§ ¦¨k .x+z~)|+~z7}n

3??]zk)}~+~~n)?+2?x3¢+)?~z?7}&{Hz|

~z2?}z~?~}7+Bx+zo£¤b¥¦H3.}B++?)?z~à}7+zo£¤b¥¦

-

^¦

x)~<)nz|+zznznz?+zn#+ @zn2¢?+}~5}b?|+}+7}?.?

£¤b¥¦yê§ 3¦)ºm~)|n~z?3}2~

-

?@)z??} §?H2¢)+

z??nz~~<x?z£¤b¥¦k3.}?¨)n)?z~<zn??z~

°«¶Za! #"$%'&)($"

ax+}~Ø~z7}?azH?}~+~~}~)z~~}n)?+B?+2?xax+z

£¤b¥¦r2¢+)?.{Hz|~z2?}z~j+^?+o++2?xH£¤b¥H¦

2¢++o?5+~z?+~3}7)7~+Bn2z z2z)z~§?)+2?xoox+z

£¤b¥¦H2¢+)k??z+5+2?z)+3z~B|+z@z7}¡zk|+oo~}}7

~z#?¨?+z+~x)?~z)~z3?y{Hz|~z2?}z~

§)<£¤b¥¦2¢+++2??})z~b+z2}?z2z?2z~z?}?ony{Hz|

~z2?}zH)a?~zBn)~2}?¢++?z)nz ¤Ë¢+z?H3z+2zH?o?+

2¢++o}~bx)z.z+??}7}nB??+n+?}z~¨x)}xB2z.~+)+?27zB|+

£¤b¥¦yê§ 3¦:j~2+?~}.)z~3}?}???}~b+o32z~~z~k{Hz

)~z?+???}z~&Hz+?+z7x+z~~z~&+H~+|)7~~z~B?.?z)z2

?#z)~b?o2z}?+~+z3}n}+~z2?}z~b)o+~z<n)~72}+7~

í2Ìy7?

BuyUALTicket

⁺

BuyLufthansaTicket

^2z

~)|+~~z~B?x?zk~z2?}z

BuyAirlineTicket

}?x+z2}7}7)x+z

parameters

^* ^,+- ^.

,

^-,/0

,

¹ ^+'0-2+'0 ^rz^î@

Õz+z3H{Hz|]~z@?}z?+?)n}z~3z+?.znzª|+)n}

-

~)z}3} ?)?n?}z~x+r}nx)z3}7?)z)~¬ @?ãx+zÃ?z+z

?+?)?}z~b)ox?¨+)}77}?)7z+?+z?+z+~x+¨@z~+z} }

x?zb})n}?})?#{Hz|~z2?}z?¨)~z

É.?nÅ)¼¿Á+Â

x+z

specialization

?&x+z~z^n)z+~)?)|)+2a2?

reuse

2n~~:.+7}nz+)7}7}?+~bx?z

mapping

?.?+z)~k|)zzz

+}33z@znb?+???}z~?x)z

composition

?+zç?+z)~o32?

.)7}?z?+n??}z~â§???n}z~a~)+)n Øx?zg)z?z?).z??

Éû+ÊÊ¿Á?ÊÇÉÈ¼¾¿ÊÈ43ûnÉÈ¼

-

É»¨ÈÊ¿Q¿ÊkùÅ+¼úû»

|+z)|+7}+}?+}n}+?

ser

?}zë@)~zr¬}?x)z2}7m.)xÃ?g}~]~z.+7} 2¢+) 32?

?+?)n}z~Ã7x+)~©2zÐ+?} })än)â.}+}. }?~7?}77}?å?

~+z}}¡}?m.x+z^{Hz|m~}7zÓ¥?~.}.)?@+7.x+z^+~z^?

?+?)n}z~o)@??}+z~oz?~Bn?}n}+~z.n}~o2¢+)|)

n)~2}7)})k???+)+}+k}~.}7+7z@?2z}??ó{Hz|~z2?}z~.+

+~z2~k?zzH)nz?)?}7{Hz|H~z@?}z?+n??}z~j|+?z3?@z~zz

.+H}+~7)z~:x+z2zn.)+}}z~:}7}7~x^H?@zz+)?

~)+@ª)z3}n}7}nË?az@}+?n)H) z+?+z]}H}

ontology.

5$687$6:9<;>=@?BADCFEHG:IKJMLDNKOPL?

vices

§)£¤b¥¦ª.@¢)+r?{Hz|r~z@?}z~}7~^?@}?zg|)mx)zx?2zz

)?.7}?H7~¢?~o}+z?7}3}z}7Hàz7}?HÏQ+}7~+?z2bz+z)}?+

)?.)n~}}?m+ }?z2?+z 7}?)

Í

?7z}?za?+k2¢+)

+2??})z~

•

+z37}?zä)?z27}~z.z?~ó?«~z2?}zä?@?)z3}7z~ó)

capabi

}7}7z~Ëx)}xÓÓ|)z¬+~z nç+?.}¬~z2?}z

+}~n?zÄ

•

+z37}?z¤b×¨ ~]2nr}+)}?}+?m{Hz| ~z2n}z~]xna2z

+zz~~23?y+?.7}b{Hz|~z2?}zz+z+7}?+Äo+

•

+z37}?z ~?z}3}}?+~ ?Öx+z ?2z@zÐn)}7~}7z~ )

n)~zÐ+)z+z~?¨}+)}?}+?~z2?}z)~zx?2z?zz~~22?

)?.7}b~z2?}z?.)n~}}?+j})7z2n)z2}?+

wyx+z~z.n}2¢+?n®.+7}nz{Hz|.~z2n}z~?7z}?zj3?@~

+}~3}|)?zª¢++?z)nz|+~zn^{Hz|ª~z2?}z~x)H |)z

z~~zH)H3z~?+zH|)?nbà#z.?}:.@¢)+H|)zn~z

+?)+znz7}7zH3z?}~3}z~o?x+z:+2?+z@7}z~&?H+|+}7}77}z~o?

{Hz|~z2n}z~3?y¢++?z)nz

-

|+~z.}n)z?})+@z3}zn?¨{Hz|

~z2?}z~o|)k?nz+b|+2?¢+z3~o+x)+|+z}7)n~o}7¢)z b~

+2??})zÓ bÓ2??z)~¬}?z }nzÓ+?)+zÙx+z}

kno

z+?zH|+~z~~^7x+7x)zHa2z~?a|+?+{Hz|~z2?}z~

¥2¢+zm)g{Hz|m~z@?}z~H}7&|)z?.)+z

-

}?z2?2z|?zo?~z

-

)+@zn7)+?z)

-ready.

§){Hz|~z@?}zç.3¢)+Ë?.)2}~z~rº)+|+z?a)} 3z2z+

?+?)n}z~rx+a?2n?}+zªxnzª|?¢+|)n)zª3?g?+{Hz|¬~z2?}z

+z~2}7+7}?+~B{Hznz3})z7x+z~~bny~z2n}z~#àz2?}z)on}?})z

} }? ~+|)~~z~

PrimitiveService

)

ComplexService

Ó mx+z^?)z)o?&x+zH{Hz|)?2}}7}?z

~z2?}z }7~ }?+}?}?) {Hz|

-

z+z+7|?z ?++z

+2??2bë~z)~?7ë@)z?}zHxn.+?z~:+?.+?x)zB{Hz|a~z2?}z

wyx+z z.}7~)on)+?}+o}+z27}?B|+zjzzoxnz+~z<)o.?2}}7}?z

~z2?}zwyx+zk~z2?}zk}~B7z+Ø z~+?+~z}7~&2z?2+z+]¤b

z).?zono?2}}7}nzo~z2?}zo}7~o{Hz|

-

z~~}|?z+2??@]x?

2z7+2?~^a+?~k?+zB?}?zrm?7}r)+3z~~ó r?)2~7B

+.)z~z2?}z}~<n+?~zn®.+}?z.+ }}7}?z~z2n}z~#?3z

2zÐ+?}3}+oo})7z3}?&??+?z2~}nB|?zzzox?z.?~z)ox)z

~z2?}z~+~x?#x?z?~zy.¢)zx+?}z~.¤b.z).?z}?x+#|)z

x+zb}7+7z27}?}x

www.amazon.com

|+)|)n?¢)

Domain–

~+z}}B{Hz|~z2n}zk?+n??}z~2z&|)?}7~~?|+~~z~

?x+z~z&?z)z2~~z~aÜ?z?.)7z<bzB.B+z })zox)z&7~~

Buy

b}7xä~n|)~~

BuyTicket

Ãx?}xäx)~P~?|+~~z~

BuyMovieTicket

BuyAirlineTicket

^z

(5)

BuyAirlineTichet

^x)~ ~+|+7~~z~

BuyUALTicket

BuyLufthansaTicket

)~Ø?)rÌEx~z2n}zk}~÷z}x?z

PrimitiveService

?k

ComplexService

Ó¤~~)}z

}xzx~z2?}zk}~ok~zb?

Parameters

rÜ?z+.?zx+z

~~

Buy

}7 x)?z +2.zz

Customer

BuyAirlineTicket

}7o})x+z3}B7x+z

Customer

+3.zz

)«}7]~Ôx??z )2zz@~

Origin

Destination

DepartureDate

Bzñ£?.}

-

~?z}3} n)?+?}z~2zm~

?+~@)zrr+z~2}|?z+@.zzH?)z~âÜ?Hz?.+7z&x+z

?+z~?

Origin

ⁿ

Destination

3zb2z~3}z.}7)~)z~

?Óx)zò~~

Airport

BuyUALTicket

}+x?z3}7~Px?z~z

)2z7z3~3+27x)z3z~3}}7+oxnzº

Aiports

x)?~z)2?+z@

Airlines

})?+z~

UAL

ºwyx?z~zk??zk2z~3}7}?+~Bn2??}+z

}.)n2)H]?^+z~2}|)})]{Hz|ª~z2?}z+2?+z@7}z~x?}x

~)++?3~B|+z7z|?@?¢)z3}+?~z2n}z~~}?z+zx+z¢+}+2n

?++z2}?z¤b× ~B+x?}xrzax)?zmn~zg}7r?+?z)

zx++??+2zzb)~?.}¡z+~z¨}7+z23z~

¤b~o~~n}zo}7xoo}?+}?}?)y~z@?}z2z?x)z?2?+z3}7z~?

th

z~z2?}z~?.zH?ox)}xa.H|+zH}+x+z3}7znÃ ax)zH~zH?

BuyUALTicket

x?z~z«?+ó})+?z«x+z«~z2n}z

CompanyName

IntendedUse

k?7}ºzx+?+~^?)z+

2?zH|)n)+~+7)~gz+7z)zãwEx)}7~g2¢n)ª+2??})z~g

)z37}?z+?z }7~zz??~z2n}zØ)2n)z3}7z~B?H)|?}7}7}z~

x)}xH}~&?.+)z.}7)7z2?@z|?zk+HH|?zØ)~zH n)?.7}

~z2?}z?}~??zçÒ?zx+)xH?x)z.2¢+)Hz?}~}

2z?~|?z?)?n?}z~#}Ex+z~z2n}z)2n?}+z<~x)+?~z~k o~+xo

~zox+zm2¢?+rk7x+za}+?}?})+k{Hz|g~}7za~)z}3}7z~^x?}x

?+?)?}z~5}7#}~5+~})+?)~<)n}7}n)#~}7z

-

~?z}3}b.3¢+)?

5$687$6:9!6 9 ;>=@?BADCDE IFG ? J LDN O L? DL LDLDC G

wy+?.zg{Hz|~z@?}zrznz)}?n2¢+)º+~z+|+7zr

+++zo?z)^+?.7}7^n)~2)+^z+z)7zHH{Hz|

service

@zÐn)z~7+}?z2)3z?]+?7z)7}r2z~+?+ºx+z

~z2?}z ~Ø z~+?+~z¬¥2¢?+a3?Bz+z?}?a3zÐ+?} z~)3?

n)z+HjzØ)~z|+?xH

Qû+Á)ÊÇ7¿½+Á^ùÈÇ7Å» ?)½?¼

)H

»¼½+ÊÈÉÉB½+¼

Ê½)Á+¾È¼ÉÅ)Ç7¿½)Áù½+À)ÈÆ

@z7}¡zjn)y@¢?)noÌ®x+3}.}77}?z~z2n}z

}~kn)z}?z^~k3+)}?^}7x

Input

??z~k+^+?z?7}

+7}?zk7z2+}?z

Output

?)z~?+)}7}?+zH?H~zÜ?

z).?z.}x?zo?~z?2+z ~|+??¢+yxnzo z~+?+~zo}7E|)z.)} 3z3z)

)z+z?)}7+.)+?ox)zx?zyx+z|)?n¢o}~b}~?¢+n)¨?y~?¢+?<?+

?+2}+ Í ?.+zH~z2?}z~B3zn)z}?zH~B?#?~}}?H?

3)+}?+~kí2~z2n}z~îox+?~zn)7+)2zÐ)+}72z^z+x++?z?

}+3?2.}?º|?zzzrx)zm?z++}7++}?}?)~z@?}z~âÜ?

z).?zb?+z~z2n}zØx?b|+??¢+~BØ }?x+3?k+~z.

}+???z^3}@~o }7+?})a3}?x)~xnozz.x?z?~z32~2zÐ)+z~7x)z

~)~nz+?})g)+7}&x+zm?~z~zz7~?)z }?x+o?.)zzax+z

~z2?}z Í ?+z.~z2n}z~2z?.)n~z.+®+2}}7}?z?y?.)z

~z2?}z~r)~}+Ë)}a?2??@..}+Ë+?+?z~r+Ë|++~}?z~~

)@?z~~]n)z}7+¬+?+nzË?)~2+~]~)xÃ~

Sequence, Iteration,

-the-Else

^' &wyx?}~2¢)+

)@??}+z~k?z37}?z¤b×¨ ~:@?o}+?}n}+){Hz|^~z@?}z~&x?2z

)zz~~2k2?+?.}B{Hz|~z2n}zkz+z?}?+r b+)}7}?+

)@??}+z~5?@?z~~+3n .?+z3?y?+z.~z2n}z~o .?2+z

3?H?z)Ør2z~+?)º??.}grr).)zº~z2n}z

z)z+7}n)<}77z5kn?.}B})z2n)z37zB}7xkx+~z2?}zy}

}72zÐ?+}72zg~?.z?Hx)zg}+3?2.7}?ºz+n)z@?H+n}

++?~}}n)}7+z2?+z 7}?)

wyx+z3)+7}?o.z+x)n5?~z.3?5+?.7}{Hz|o~z2n}zz+z)7}?

.@¢)+^+2??})z~k}+3?2.}n |+?+)7H3nj|)+}.+?z~+?

+2??})z}7+3?2.}n|+?)

what

x+z{Hz|~z2?}z)7+?z~

?2+zËÔ+?.7zÓ~z@?}zÓ++?~}}n«+}«?2+zË3?

~z2?}z~Yëì?z?~.}+7z@?)z27zz.)~¨7~.z)?+zx+zz3 z~b

~z2?}zox+~)+?kx?zo?@+^Ünbz).)7zyx?zkox+).:|+z})

??z~

www.amazon.com

+ò~+z~~3+Pz)z)7z~Óx)z

BuyBook

~z2?}z¨x?zox+)k¢?+?~x?yx?zox+?zo)+2x)~zk

|+??¢+jx)x+z}7o2z?}3^}7|nz+z|+}7z??^x?x?zj}

2zz}?z.|+??¢B¨x+z+?2z~~7x+z+2+?}+z?à)xB?)~zÐ+)z+z~

?{Hz|B~z2n}z.z)z)7}?B2z.)ny)2y?<x+z.3¢)+?¨+?)3y?

x+zæ n)}n

-

|+~zÿ~)z}3}7}?ÿ+2?n}+z 3?ä+?.7}

z)z)7}?)] H?2+z.)?.z{Hz|~z2?}z).)n~}}?H)

}+7z2?+z2}?)?Bz?z^^~zz.a}n)}?}?+.~z@?}zH^.zz

~?.zk?|hìz}?z)@z2zÐ)+}7~}7z~o+?+~zÐ)+z+z~o?{Hz|~z2?}z

z)z)7}?.+~#|+zbz+?+z3?y?.)+z®+~z

§)£¤b¥¦^.2¢+)nb{Hz|~z@?}z~.3???.}o?.)n~}}?

).}+7z2?+z2|?}7}7}~b|+)}7+)noº¤b

-

^|)~z ÅnÊÇ7¿½)ÁºùÈÇ7Å» ?+½?¼

{Hz?#z}?zzxª{Hz|ª~z2n}zº~g

Action –

z}7xnza

PrimitiveAction

º?Ë

ComplexAction

×2}}7}?z

~z2?}z~3zBn)z}?z~+ }}7}?zo}n)~5?.)zk~z2?}z~~

+.)z.7}?)~.×3}}7}?z7}?)~2zb}+3?+z}?z.~z}7x+z

world-

7z3}+o}?+~j7x+Ex++?z.x+z~z.?<x+z?2?¨~)xB~

+z|+}77}+Hx+z?~z @~:2z+}7@?|)?n¢)})Hx)z)~zo7}¢+z7jz7Ä

information-gathe

@}7)m}n)~H7x+&x++?zaxnz ?z+72~~77za?

¢+)?z+?z+~x?#37z®z+z?}?.?¨x?z7}?.7x)znz+#¢+)?~

+}zz?¨}+ n2}?+Än®~nzn|+}+7}?.?¨x+z?

¤bk+?)nzo?bz+)?}7})&k}?k.z7+x+?bB+z~3}|+zo{Hz|

~z2?}z~b}7~7x+y}7¨z)|)z~?~o|+ })oo|)z5x)zn~¨¤ y2z~z@x

?k2z~?+}+B|)n)<}?+y&~)+)n <)?.7zk2z~n)}7+B~¢+~

~+x~.{Hz|Ø~z@?}zBn+?~}}?+mÚ?z?z2<}+z?z?+}7)k?+

.@¢)+zBx)?n~zBk2z.}?+?~}o}xØ z~?zk}?

2z?2z~z?}n 3?@7}~ Ùx?z¬¤ ?.++}mx)z2z}~

}+z~+3zªn}~n2zz.z?H??zax+z|+z~H7}?ª@z+3z~z+77}?

3?2.}~:¤~b?+~zÐ)+z)z)} 3z3z)nz+7~b+~z?z2)} 3z2z+

}+7z3)3z+ z~z)77}n)~ nË2z~?)})|+?+r+Ô+7)?})

~zÐ)nz+z~k?.}?+~Ëwyxnz+7)?})H?o.)+}x+~:+?2z~~z

x+}7~b¢o?<?+~z)~+~b|++z?z?+}+~)z}3}}?o+?+?z3?

–

×#ñ£?.}ó£bz~2}7)7}?

¦¨)?+?zoí2×£j£¦¨î.Ý+ß3^{Hzo)n)yx?}~+?)?zox+z3z¨~?z}2}+

zx ?Ù?) {Hz| ~z@?}z~} z@~«?Ù×£j£¦

-

}+~)}7@z

Parameters

Preconditions

⁾

Effects

^wyx+z ^0$$+

)

+$$+

nzz~~22?k)?7}H{Hz|~z2?}zHz+z)7}?

~?Óx)zÙ2nzÓ?

KnowledgePreconditions

⁾

KnowledgeEffects

+.)?~}}??}?z2?+z37}n)m{Hzo~~).zy~}kx?zB+7)?})

+.+)}x)?~z2~}7.?.)}z7x)}7~Ø?z)z2.3z+3z~z+77}?

}+a7}?a n2}7~ x?|+z~~?}7~kx+z}o3z~?+}7))zz?~

wy2?~7?2~ z+z+}~y32?×££¦B.?2}zo?)}3 z2z+y¤

}?.3?2.7}~~

ComplexActions

y7}¢?zo?.+zk~z2?}z~y2zo?.)?~}7}?+~?

+.)?~}}?)~a2zn z?2z)}7z?ºx?zg~znx)zg?2

í2+3z?+)}7}?+~+az33z~îB2x?zBx?m?m+Hí3x+zH}+?).)

?++)?~z@?}z~î.~&}7~Bx)z~z}7xHx?zz?z)}

on-

?}?z

.@¢)+?

'!"

*

+'0

3z ?.)n~z ?

PrimitiveActions

?¬nx+z

ComplexActions

^+~})