=Paper=
{{Paper
|id=Vol-40/paper-11
|storemode=property
|title=Mobilizing the Semantic Web with DAML-enabled Web Services
|pdfUrl=https://ceur-ws.org/Vol-40/mcilraith-semweb-2.pdf
|volume=Vol-40
}}
==Mobilizing the Semantic Web with DAML-enabled Web Services==
https://ceur-ws.org/Vol-40/mcilraith-semweb-2.pdf
DAML-
[ S]\^V]VS_ s VStu&St
!#" $ !&%')(+*!+,(.- / 0 #12/#* 13' B` %9a9b%cDBd egf hJ K#K KEi !#" $ !&%')(+*!+,(.- / 0 #12/#* 13'
45!#6 / 12*7,!# * 8 9 #,:6 ;#*!#1<%=?> !# =+! 45!#6 / 12*7,!# * 8 9j #,k6 ;#*!#1<%=?> !# =)! * 8 9j #,k6 ;#*!#1<%=?> !# =)!
%*/ 87 1@"BA#> C+!#12(+> *' l!# m`B!#h> =n B%<*7/#*!oA#> C+!)12(n> *7' Departme %*/ 87 12"&A#> C+!#12(+> *'
%*/ 87 12"ED)9FHG I J#K L -G K#M K+@JBE?ADT@AG@ ?CM#BEBCD6H@ @ ZLE? Y2? @FC;TG?AM@(BC<([C<\N*GJDGJH;@-G c*LS;e;aGJ< BC+Dg>B ;'D7FABd?A@ Q*@ ?CBSBA@ D7FHcSBEjUDlF]NK@ ;';HGCD F ?APTqr;'c7qsB <'IK@ NKBCQHtSuSuSv7w B DK[CIKBED*[Sk xTN_?]D*G http://www.daml.org/2000/10/daml-oil,
1
! #"$% &'( &*)$*+*+
x(BEQ j_<?[EN F c`jUF]NK;(GJY`F]NTBC= ¿Á)ÀaùÈÅaÉȼ¾¿ÊÈÇ(?)Å+ÇÉÈÆ7ÆÉÅ+¿7¼Æ7¿Á+ÈÇ¿7ÊúÈÇÉØü)ÈÇý5ÈÈÁA@+Å)Á x+z«¦¨2¢ó~~z Ý30é i)ß3ªx+}xñ+2?+?~z~Ù73}|+?z~Ó)ó
= ¼Å)Á+Ê¿ÉʽÅ?Á)ÀC B ½?¼½+Á?ǽ ; Å+Á?ÀmÇ<+? Å)Ç.Å+ÊÊÈ2» ÇÉB» Å0#D ùÈÁ)ÇoüEDoF ¿7Á+ȼH7G É 2z?2z~z?}n3?y?+?7})nzn ?|+}77}7}z~~x+#x?zj|+z
I Æû+üʼÈÀ?¿Ç#ÊÅ?¼À 9 nz+|?2?¢+z2z+ ïzz)}7)+?~72}7z33?2~rx)?z]|+zz
+2}2}7r?º}.)@??}+r{Hz|~z2?}zg)}7~)nz@ +
¤b+?.}b{Hz|~z2n}z+}7~+?z2})?n?z~x+z)?7}b?}n focusing ~)z7~ ?~z2?}zz+z?}?ªx?2?+?xª})}77}}?z~m~+xª~mx)z
?{Hz|B~z2?}z~x+y+2?n}+z.)3})7~z2?}z+B7x+y+x?z2z Û)}?z2~¬£z~2}?}?)£b}~?nzP+â)z?2}?òí2Û££î
k2zÐ+)z~7zØ)2n)z27}z~ Í )32z?<x+}7~~¢.)~|+zB)z23?2.z ~)+@P~z@?}zÔ2z?}7~7@?Ä x)z襦 |+~z©{Hz|©à z2?}z
|)&ox)+.kx+B.?o)~zoo~z2xkz)n}?zoB3}+k~z2?}zE+ £z~2}?7}?k¦¨)n)?zoí2{Hà £¦¨îb2z7z~z&}k- à z)z|)zÏ+ð)ð+ðB~
x).nx)zo2zox?z{Hz|o+nz~~?}zo}7x.x+¨~z@?}z ? 32z?2¢}?+z?z)+z+{Hz|H~z@?}z+z~3}+7}?)?+?zÄ+
z)z+7zx?z~z2n}z.+?7H~zzx)zx+zo}7)x+z2z~BHx+z z|)襦¨5k}?}7}}nzB?x+zBÛ)}7zÒ}?+~í2ÛÒ5ë Í ÌyÜ ¤ Í wyî)
2zÐ)nz~zm+2?+z37}z~«{H}7x ~z?}2¢?+g?k~z2n}z~.x+z §¤bà¨àÖò~+)3)}¡zóó32z?2¢ 3?Ó@n}+ò)27+z
}+3?2.}?.+zz~~23?y{Hz|.~z@?}zj+}~??z.|)z~)z}3}z }+7z2x+)nz Ì -|+)~}+z~~ }+ @~72+?2zÃ?.)+}z~@zÃ+?
~:?.)+z -}nz@)3z7|?z~z)7}2¢++H7x)z~z2n}z{Hz| zn}+?}+BB)+?+)zo)3?2.~&~)++?35~?.zoz?z<?{Hz|
~}7z~ +o~z2n}z2z?}7~72.?5í@?)?n) -z+x)+z)î<~z2xoz+?}+z ~bz2?}z??}?+kÌy).?z~b?E~)xo)2n)+~b}+)+zÚz7z7 --
)~zn?.}7?z+)@?)3}z~z2n}z~ × ¢)2L j ~Ëz -~+z¢)¬)z~2}?}??m2z?}~37}?+m)Ù++}
J !#"%$ !&(')*,+-.*0/,1#&('2*4*0KL*,'2 M&(#NO +}~n?zo+3?@ç3?z ~z2?}z~Äy¥}2?~n M j ~7ÒÌyw+kÎ5}¡wy¢
n?~Ä#§2,z j ~£?+.}à - z2?}z~Ü @.z?2¢+ÄBÎk ¥ j ~¤b+)}7}?
8:9  9<;2P û0DXùÈjÅ+Á.Å)¿7¼Æ7¿Á)ÈÇ¿ÊúÈÇ6Q?¼½)ù www.acmetravel.com ½)ÁSR ô:T Ü @.z?2¢ä3?Ì -Î)~}7+z~~Ä ) à +L j ~P§)zäÒz?2¢
Ìy+?}@?).z)kí2§Ǫ̀î2òÑz3}Òbzkà ??}?)~k+7}}+7}+r)
QÆ7¿Â?? Ç ULVLWXYQ ¼½+ùZ+@ Å?Á = ¼Å)Á?Ê¿7ÉʽÇ7½#B ½)¼½nÁ)ǽ½?Á ·
[ Å?¼Ê,?>W 9 }~x?})zz37zx)zH@¢?)a?o~z2?}z~3?B+}7~+?z2}~
¤b+?.}Ó{Hz|P~z2?}zznz)7}?P})n??z~Ùx+zÓ)?.7} |+)}7)}7+a?)?n?}z~+a?n~a?2?+}¡z^?m)~?.}¡z^{Hz|
z)z+7}no?yo}?z?}3}7zo{Hz|o~z2?}z|+n+)zy)2n?2r? ~z2?}z?}~??z)b}7xHx+z}.§à ¥«×#3?2.b+z}?z3}+H
?z) wE:z+z+7zBo+37}+~z2?}zB?Ø?+@~{Hz|+y~)x~ }+32~7@)?2zx?#??2+}+7z~<{Hz|~z@?}z~<3?¨)+|+}++ }?z
|)+}+o}37})z}¢+z7 ?z)z2 +~zE+~¨?..x+z{Hz|~}7z @+}7)z+x+)?z~
?23z2}+Hx+~z2?}z3}77?+3?@?^}¢^n^|+?? {Hx+ )}7~7})n)}7~x+z~?+y?2¢.}.xn}~<@z+j}7~n)y~z.+7}2¢+)
z)z+7z^x?z^~z2?}zÓ¤bz2)z^x)z)~zk}?x)o~z)amx? ?y{Hz|.~z2?}z~}..z)n2z~~}?z~z.+7}{Hz|.2¢)+.7+?+?z
2zÐ)nz~.?}3zHx+z~z2?}zH}7xa7x+z+?2?+2}77zH)2zz@~ }xbz -+z}+z~z.?}~wyx+zb~z?7}2¢++)3z~z+7z}
encoded
órz}x?z~zBxn). }?z2)3z77}?r}7~H@zÐ+?}72zg x+}7~.))zb+2?n}+z~.o~z?7}ozjx)~x)n)?.2?@|?&~}
?rnr?z32?2~H~)xr~^{Hà £¦®&z+|?}7+ a2}x+zznz&? +z~}n)zBo)z23?@.)37})~¢?¨)&2¢)zB+B3?~x+ })
)z~2}7)7}?«?«x?z+zÓ.?2zÙ~?+x)}7~7}zÔ})7z3}?+~¬+ )k2z?~zo|+k?x+zb+~z2~aÌy+)z~.?b~+xn2?z+)@z~}7)+)z
2z~?+}+kx+zB?z? ë@+?}}nz?z7m¤~&)zo?+~27}?+ ?|+2~?+#2~|+)~}?z~~k72?z|+??¢+}+^+2?z++2znBÎ?|+2~
x+}7~}yzo?@z~z?<nz+yzx)+??)&x+5?z23?@~ automatic 3B2}z+?2~a~?¢ç~~z~~z?n2?z+)@zä]x)zg~)|n~z7}?]x?
{Hz|o~z2?}z?.)?~}}?)#.2z7x+ })+?~72}~b+? z¨¢+7}+ 3??~z¢+z^xnz^~z n:x)z£¤b¥¦ç3.}a+B.2¢)+
}+?2z#z~ re. +?+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?
q b4ryx7k oKizb{XmKk bs q b4r?a4buk tuh iwb 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
Ontologies Ontologies
[6].
Agent -B
4a b4c d4e(g%h ic d4kAlwmKn?o]p
Broker
a4qb4c?b4dfr e(sg%bfh ijk tuc?h idfbOkAlsfmKh gvn bs oKp DAML- Logic)
!, + #< !=#>?&( ! $ " ) *!+ ) !,'@A0 ,!=#!0#=! )
DAML+OIL (;
ioXPersonal/company
esg%k dfh e(gvs'd4e({|nKk bwpvs RDFS (
# !!" $ '&( ! $ " ) *!+ ) #,.-/" 0!16 %37 !" 598$ :! 120 )
4 !#" $% '&( %$ " ) *!+ ) #,.-/" 0 12 34 #" 5 )
E-mail ...
C`&-DFE%GH+ #,! ) I%< 'JK0#" 5 #*L@A0!,#=!#0!=! )
XHTML
d~]b4e(gKgvbwi4KeoX} oKbf~Ke( d4r]} b{
KB
HTML
Semantics-markup-
-
MONPRQ2S7TVUXWZY[X\9T7S]T7^_Y[R`LPRQ2[RPXT Development
MONPRQ2S7TKWRMOSK[R_T7V9S4_#9SV T4_[R` !NAVT7
襦]~x)z3}3~o7)?+?zam~z)2z^x?za2¢)n ?k{Hz|
Ü }?)@zHéo}7n~72z~.xnz:|+~}B?#n)z+~o??+à z.+7}&{Hz| n)z+32?ª{Hz|n2z~z?}??<3}7}77})&x+zo2z+3z~z+77}??
à z2?}z~b32.zjn2¢?k¨}~?.#?~zo?y~z.)}2¢?+o?y{Hz| )&)n} ~+z} }+.?&x?z.{Hz|)¨Ûb+3?2)+z¨è¥¦
~z2?}z~n~z^?+~2}?~)]{Hz|?z++2?z+)3z~ wyx?}~ task- ¢)~ ~z.+7}~- ¤~ ~+x+?.)+z)2n?2~Ùn)? |)z
2¢++:z?z ?z~.?+???}z~.?b+z3}+zØz@~.+n)z+~.x? ?+2?zzo+z7z2}+zx+z}?zn)z.}+7z3+2z7}?o?yè¥H¦n~
2zB~?2z}Ø2z?~|?z&+~x+ |?zk{Hz|Ø~z@?}z:n)???}z~o+ Ü nbz).)zyo?.)+zb+2?n2ç?+k+?<|)zo|+zo&}+z?7}2
{Hz|onz+¨)@?z+)2z~b?+n+?}z~kwyx+z~z)7}j.2¢)+o?y{Hz| x+ ).2z3z3~&x?zo~z.}+3?2.7}?k~
~z2?}z~bnz7}?z.2?@~)}~3}|+?zoþÎ^?E{Hz|o~z2?}z~bx) +7n^7x+x?z ~nz}3}zºr{Hz|]~z2?}z
|+zBz~~zk+3z~?+zØ|+?+7mØ~:+?})?<}+2??})z~. ?z+)?@2~~}7zH.H|)zH+}33z2z).32?Ùx+z x)z
z+~:3?o?z?~BH)?++zx+z}?þÎ~&~Hx+7x+z +)2x)~z @~5~}7z
2z~?Ø|+?+{Hz|~z2?}zBn2?+z3}7z~+k+|n}7}7}7z~}?2?z wyx+zBïz~?+2z&£z~3}?}?Ü 2z?2¢í2ï£Ü îj~+z?z?+z|)
?.)}~xg~?z?x+zm??zg2z~n)}7+ ~¢+~H}+z+7}3}z
|)?nz m+?}7}?mx+zH3¢+)?.?+B32.z?@¢ })7)+z~ x+zg{H?2º{H}?zg{Hz| Í ?+~?2}7)©í2{ +Í îH~a ~7+?23?
?2}zk??z)zx+)???}z~.zx?x)}x?.++}z~.b}x .z?7 b}7xx)zn?®ny)+}7).3?2.¨~z.n}~.x+z{Hz|+
x+z^{Hz|a~z2n}z~?}m?z+|+2?¢+zBx?~z?+~3zÐ+?z~~3? ï£Ü }~k)z3}7)za??a?o襦r^+2?n}+zHH?7H?+z)
~z2?}z~5+)@?)3}z{Hz|~z2n}z~+?n}~)x2z~)?+~z~|?¢ ~)m?+?z+}nm3?k2z?2z~z?}7)ax)zH~z?}~Ø?B+H}7m
ax+zH?z?wyx)z~zH|)@?¢)z3~b}7.z?z)?7z++?}|+?xan ~)+@?}¡z]})7z2?+z@|nzr.+?z3ÖH+2??})z~mºz+~m?
2¢++ +Ó{Hz| ~z2?}z ?)?n?}z~Ù~~}7~g}Ù?}+ +z~2}7|+}7)&x+zo2z7}n)~x+}7)~.?+B2z~?+2z~í2|?~}7o#x+}+
)+2?+3}z~z2?}zo+2??})z3~z}7x)z}+7z2?7o?x+2?+?xkx+z+~z +.|?z|)Ûjïî<}oz@~?y+.zo)@?)z3}z~+o?7+z~ wEx)z
?^ª+?.}r)}~??z?z+ãþz?ºn#?+z)~ ??+ ï£Üm?2¢+}+H??)~H+znz?+zï£Ümà x)z.í2ï£Ü à î3
à z.n}.{Hz|kà z@?}z~j}77<|+zo?z~3}|+zk}&3)27x+z)z}y}&x+z ?2}z+7z+zj~~z x) .|?zz3 z}nzx+?)nx) )¨~
~z}?+~53?? .}object- +}.y?+n?+oo?+z}+o+?)?z¨¤bx+?+?xBï£Ü+Bï£Ü à
+2??})zr?+?]|+)}?})º|)?¢+~m3?^+z3}+}+rà z.)7} {Hz|
° ^²g³o±¨ ¹ ´ ±¨¹ ´ ¸ .@¢)+)?+?z 7x+z¢oz+)@z~~}nz)njz2kÜ ?5z++z ?+z
wyx+zx?@zz~¢?~&)z~3}|)zH}Hà#z}?HÏH~z2?z~o+ }?z2~B3?.x+z +)n)z3}nz+2?+z27}z~k?.)@?)z27}z~)zz~~2)~)33}}z+
)z?z?).z)onB?+k~z.?}H{Hz|m~z2n}z~2¢n)?Ó{Hz2z n)+}}?+~ n~~.z.|?z2~x)}7+¨zÐ+?}nz)z)&?}5~ ?})7+z~~?
2¢n}++ØéRî<{Hz|o~z2?}z~b~+xo~ x)n?2~ Ó+3}?}).)}2z7}n ~~z~?ax+zH?+n)~2})7~z+?2z~~}7|)7z2zH+?.}ìë3+?z
~z2?}z)?EÛj+}7z¤}27})z~ 37}?x) ~x+z?)7z}7+3?2.}?.~z2n}zÄ n)~2}7)7~?o)@?)z27}z~kÜ }?7 +o)z2xn+~b.?~¨}.+?3?7
Ï)î)~zb)k?2n)kn)~2}7)7~+k?2z3z2z+zo~)x:~+~zÎ?|)@~ x+zb~z?}~52z}?~5++?z -specified.
~x+z)+7zox+kx)z?2z3z3~g)2}?zm}x?z)3}n}+ }zgx)}~ ïzz+<x+z2z&x)?z&|)zz~z?z2z33?2~.k|+)}++?ï£Ü í2à î
)z~}?7}?k}~z~~7x+ x)n)2~yx?5x?zo7}¢)z~&?z5~?¢kÐ)+?z~ }x:.?2z&¤b -}+~)}7@zk¢+)njz+?zB@z+ z~z)77}n7)?+?z~~+x
32?]x+zoÌ +w®@nz «{Hz|&~z2?}zyz7Ä+ îb?z?<?2?z++2z~ ~kà Ú§Ì Ý é+éß £¤¥¦ -§Òw Ý Þ#ß3j§ ¦ Ý3é )ß3)n~2zz+
x)}x¬2zªí3+37}îgn+?~}}?+~nmz)}~7}+Ë{Hz|¬~z2?}z~
£ ¤b¥¦yê §3¦¨k£¤b¥H¦¨ê §3¦}~bx+z~zn)o}? x+¨z3z z<.~ wyx+zB?~zonb?+?)n}z~z)|?z~x)z É.?nÅ)¼¿Á+ ?b?.o??#z+~
x+zo£¤b¥¦^3}k?b.2¢+)k+?+nz~y2z)}7+:£¤¥¦ §Òw x+z specialization ?&x+z~z^n)z+~)?)|)+2a2? reuse
~ ªz+)3z~~}?zº?)?n)º)z~@}+7}?ª7+?+nz3?a-2¢?++ 2n~~:.+7}nz+)7}7}?+~bx?z mapping ?.?+z)~k|)zzz
Î)}7)})Ø?n?ï£Ü í@à î)}7x}7~.2??~o}7¤b+z~2}+7}n +}33z@znb?+???}z~?x)z ?+zç?+z)~o32?
?n}~£¤b¥¦®ê §3¦Ô+?z2?.z~.+?mx+zªz+?2z~~}?z?z~~ .)7}?z ?+n??}z~â§???composition n}z~a~)+)n Øx?zg)z?z?).z??
}+?zÐ)?}z~o??+}7+ï£Ü à +.?~}.)?@+7x+~okz Éû+Ê?Ê}¿Á?zÊë@Ç)~ÉzÈr
¼¾¿Ê¬
4È 3ûn}É?Èx)¼ z-2É}7»¨mÈÊ.¿ Q)¿Êk ùÅ+?¼gúû}» ~]|+~zz.)+|+77}} +2¢+}?)+ }n}3+2??
)z3}+z n)z -7x+z?2z}]~z?7}~]~]za~¬)}?.7}
Ã
x
~)z}3}7}?Hxn?z7z2.}7)z~ox?z}nz?+z}nz@)3z7 }?+~B?x)z ?ser+?)n}z~Ã7x+)~©2zÐ+?} })än)â.}+}. }?~7?}77}?å?
+?)?z £¤¥¦¨ê § ¦ }~ )+|+}?+?+~ ?.)+z ~+z}}¡}?m.x+z^{Hz|m~}7zÓ¥?~.}.)?@+7.x+z^+~z^?
}+7z +2z|+7zb7x+)~&¢)})}7z+|+7z?z)}nz2n)z3|)}77} - ?+?)n}z~o)@??}+z~oz?~Bn?}n}+~z.n}~o2¢+)|)
)&n?.zB3z~?+}+ozx)+}Ð?+z~¨~+x&~7x+?~z.jz.z)??}E} n)~2}7)})k???+)+}+k}~.}7+7z@?2z}??ó{Hz|~z2?}z~.+
?+y?z)+zx++??+ +~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+)?
.x+zb+z)#x?®z2+£j¤¥¦&}#|+zbz+7z)?z}7xx+zb++}77}?+ ~)+@ª)z3}n}7}nË?az@}+?n)H) z+?+z]}H}
¦¨5&?n}<+?)?z&b}xkBz7 )z3}?zk~z?}~+
DAML- x+zB|?}7}7kkz)+2z~~.z~+2?+?~}7}?+-Ú?@+~z~Új?@ ontology.
+~z~z+|?zn+ @z+3z~z+7}?.)y?+~2}7+7~+@?z~ n 5$687$6:9<;>=@?BADCFEHG:IKJMLDNKOPL?
2z~?+}+? Í n)~}+zka}7@7}?z }?xno}+ n2}?m~z2n}zx? §)£¤b¥¦ª.@¢)+r?{Hz|r ~z@?}z~}7~^?@}?zg|)mx)zx?2zz
vices
}~x?z~z+n)zx)zx?zy 7}?x+ ~x+?~j.??}zo§j+zj# )?.7}?H7~¢?~o}+z?7}3}z}7Hà z7}?H Ï Q+}7~+?z2bz+z)}?+
x+}7~}~m@zza.2¢+?g nzx 37}?x)oí@~)xm~a?7|)~zî )?.)n~}}?m+ }?z2?+z 7}?) Í ?7z}?za?+k2¢+)
}+?}7}+x)zx+zy?E)?#x?z37}?x+ x?~<?n}z¤?@zj?.) +2??})z~
2z?2z~zn}?]}~m]3}7zrx+zrn)~ }? flight-over-3- +z37}?zä)?z27}~z.z?~ó?«~z2?}zä?@?)z3}7z~ó)
→ +m)~za?z+)7}?za2z~n)})mm}+3z • }7}7z~Ëx)}xÓÓ|)z¬+~z nç+?.}¬~z2?}z
x)zxnzHg 3}?x?x+~ g.??}z wyx+}~a3z+3z~z+77}?}~ .?2z +capabi}~n?zÄ
++:})3?@}?zØ+çz~}zHºn)}2rx+ççz?+7}} +z37}?z¤bר~]2nr}+)}?}+?m{Hz| ~z2n}z~]xna2z
z)+z2}?]?Hx+zx+zHzx]}7)+}n}?+3}nx?x+~mr.??}z •
+zz~~23?y+?.7}b{Hz|~z2?}zz+z+7}?+Äo+
à }}72¨~+x&)~z~o|)z)~zoo3z)3z~z+¨|)?~}?z~~2)7z~} +z37}?z ~?z}3}}?+~ ?Öx+z ?2z@zÐn)}7~}7z~ )
?.) 3?2. • n)~zÐ+)z+z~?¨}+)}?}+? ~z2?}z)~zx? 2z?zz~~22?
£¤b¥¦yê §3¦Ù)£¤b¥¦ -¦Ù+?zx+zb}7H+2?n}+z]2¢)+ )?.7}b~z2?}z?.)n~}}?+j})7z2n)z2}?+
+?)?z3?yx)zà#z.n}{H z|}x2z~?+|?zz+?2z~~}?z+?z wyx+z~z.n}2¢+?n®.+7}nz{Hz|.~z2n}z~?7z}?zj3?@~
)kobz7 -+z3}?zB~z.?7}~Ôà#x+?+k3)3xnzz+?2z~~ì}?zo+?z +}~3}|)?zª¢++?z)nz|+~zn^{Hz|ª~z2?}z~ x)H |)z
|)zg?zz~~2:x)z7z2z?+2?xg+?+nz ?z?zn).z) z~~zH)H3z~?+zH|)?nbà#z.?}:.@¢)+H|)zn~z
7?~n2zz+?2z~~}?z??} 7)n)?zz+z).£¤b¥¦ ¦®#n +?)+znz7}7zH3z?}~3}z~o?x+z:+2?+z@7}z~&?H+|+}7}77}z~o?
~7z2+zz?z+~}?£¤¥¦¨ê § ¦¨k.x+z~)|+~z-7}n {Hz|~z2n}z~3?y¢++?z)nz -|+~z.}n)z?})+@z3}zn ?¨{Hz|
3??]zk)}~+~~n)?+2?x3¢+)?~z?7}&{Hz| ~z2?}z~o|)k?nz+b|+2?¢+z3~o+x)+|+z}7)n~o}7¢)zb~
~z2?}z~?~}7+Bx+zo£¤b¥¦H3.}B++?)?z~à }7+zo£¤b¥¦ -¦ +2??})zÓ bÓ2??z)~¬}?z }nzÓ+?)+zÙx+z}
x)~<)n z |+zznznz?+zn#+ @zn 2¢?+}~5}b?|+}+7}?.? z+?zH|+~z~~^7x+7x)zHa2z~?a|+?+{Hz|~z2?}z~
£¤b¥¦yê §3¦)ºm~)|n~z?3}2~ -?@)z??} §?H2¢)+ ¥ 2¢+zm)g{Hz|m~z@?}z~H}7&|)z?.)+z -}?z2?2z|?zo?~z -
z??nz~~<x?z£¤b¥¦k3.}?¨)n)?z~=@? ADCFE IDG@? J LDNKOPL? DLDG E G$O G
BuyAirlineTichet
)~Ø?)rÌEx~BuyUALTicket z2n}zk}~÷z}x?z wyx+z3)+7}?o.z+x)n5?~z.3?5+?.7}{Hz|o~z2n}zz+z)7}?
BuyLufthansaTicket
?k ComplexServiceÓ¤~~)}z .@¢)+^+2??})z~k}+3?2.}n |+?+)7H3nj|)+}.+?z~+?
}xzx~z2?}zk}~ok~zb? Parameters
PrimitiveService
rÜ ?z+.?zx+z +2??})z}7+3?2.}n|+?) x+z{Hz|~z2?}z)7+?z~
~~ Buy }7 x)?z +2.zz Customer ?2+zËÔ+?.7zÓ~z@?}what zÓ++?~}}n«+}«?2+zË3?
}7o})x+z3}B7x+z Customer +3.zz ~z2?}z~Yëì?z?~.}+7z@?)z27z z.)~¨7~.z)?+zx+zz3 z~b
)«}7]~Ôx??z )2zz@~ Origin
BuyAirlineTicket
Destination ~z2?}zox+~)+?kx?zo?@+^Ü nbz).)7zyx?zkox+).:|+z})
B
z
ñ
£ ?
.
}
~ ?
z
} 3
} n
)?+?}z~2zm~ ??z~ www.amazon.com +ò~+z~~3+Pz)z)7z~Óx)z
?+~@)zrr+z~2}|?z +@.zzH- ?)z~âÜ ?Hz?.+7z&x+z
DepartureDate ~z2?}z¨x?zox+)k¢?+?~x?yx?zox+?zo)+2x)~zk
?+z~? Origin n Destination 3zb2z~3}z.}7)~)z~ |+BuyBook ??¢+jx)x+z}7o2z?}3^}7|nz+z|+}7z??^x?x?zj}
?Óx)zò~~ }+x?z3}7~Px?z~z 2zz}?z.|+??¢B¨x+z+?2z~~7x+z+2+?}+z?à )xB?)~zÐ+)z+z~
)2z7z3~ 3+27x)zAirport 3z~3}}7+oBuyUALTicket
xnzº Aiports x)?~z)2?+z@ ?{Hz|B~z2n}z.z)z)7}?B2z.)ny)2y?<x+z.3¢)+?¨+?)3y?
})?+z~ ºwyx?z~zk??zk2z~3}7}?+~Bn2??}+z x+zæ n)}n -|+~zÿ~)z}3}7}?ÿ+2?n}+z 3?ä+?.7}
}.)n2)H]?^+zUAL ~2}|)})]{Hz|ª~z2?}z+2?+z@7}z~x?}x z)z)7}?)]H?2+z.)?.z{Hz|~z2?}z).)n~}}?H)
}+7z2?+z2}?)?Bz?z^^~zz.a}n)}?}?+.~z@?}zH^.zz
Airlines
~)++?3~B|+z7z|?@?¢)z3}+?~z2n}z~~}?z+zx+z¢+}+2n ~?.zk?h| ìz}?z)@z2zÐ)+}7~}7z~o+?+~zÐ)+z+z~o?{Hz|~z2?}z
?++z2}?z¤b× ~B+ x?}xrzax)?zmn~zg}7r?+?z) z)z)7}?.+~#|+zbz+?+z3?y?.)+z®+~z
zx++??+2zzb)~?.}¡z+~z¨}7+z23z~
¤b~o~~n}zo}7xoo}?+}?}?)y~z@?}z2z?x)z?2?+z3}7z~? §)£¤b¥¦^.2¢+)nb{Hz|~z@?}z~.3???.}o?.)n~}}?
z~z2?}z~?.zH?ox)}xa.H|+zH}+x+z3}7znÃax)zH~zH? ).}+7z2?+z2|?}7}7}~b|+)}7 +)noº¤b |)~z ÅnÊÇ7¿½)ÁºùÈÇ7Å» ?+½?¼
th
x?z~z«?+ó})+?z«x+z«~z2n}z {Hz?#z}?zzxª{Hz|ª~z2n}zº~g- Action z}7xnza
BuyUALTicket
k?7}ºzx+?+~^?)z+ º
?
Ë
–
× 2}}7}?z
2?zH|)n)+~ +7)~gz+7z)zãwEx)}7~g2¢n)ª+2??})z~g ~PrimitiveAction z2?}z~3zBn)z}?z~+ }}7ComplexAction }?zo}n)~5?.)zk~z2?}z~~
+.)z.7}?)~.× 3}}7}?z7}?)~2zb}+3?+z}?z.~z}7x+z
CompanyName IntendedUse
)z37}?z+?z }7~zz??~z2n}zØ)2n)z3}7z~B?H)|?}7}7}z~ 7z3}+o}?+~j7x+Ex++?z.x+z~z.?<x+z?2?¨~)xB~
x)}xH}~&?.+)z.}7)7z2?@z|?zk+HH|?zØ)~zH n)?.7} +world- z|+}77}+Hx+z?~z @~:2z+}7@?|)?n¢)})Hx)z)~zo7}¢+z7jz7Ä
~z2?}z?}~??zçÒ?zx+)xH?x)z.2¢+)Hz?}~} @}7)m}n)~H7x+&x++?zaxnz ?z+72~~77za?
2z?~|?z?)?n?}z~#}Ex+z~z2n}z)2n?}+z<~x)+?~z~ko~+xo ¢+information-gathe )?z+?z+~x?#37z®z+z?}?.?¨x?z7}?.7x)znz+#¢+)?~
~zox+zm2¢?+rk7x+za}+?}?})+k{Hz|g~}7za~)z}3}7z~^x?}x +}zz?¨}+ n2}?+Än®~nzn|+}+7}?.?¨x+z?
?+?)?}z~5}7#}~5+~})+?)~<)n}7}n)#~}7z -~?z}3}b.3¢+)?
¤bk+?)nzo?bz+)?}7})&k}?k.z7+x+?bB+z~3}|+zo{Hz|
5$687$6:9!6 9 ;>=@?BADCDE IFG ? J LDN O L? DL L DL DC G ~z2?}z~b}7~7x+y}7¨z)|)z~?~o|+ })oo|)z5x)zn~¨¤y2z~z@x
wy+?.zg{Hz|~z@?}zrznz)}?n2¢+)º+~z+|+7zr ?k2z~?+}+B|)n)<}?+y&~)+)n <)?.7zk2z~n)}7+B~¢+~
+++zo?z)^+?.7}7^n)~2)+^z+z)7zHH{Hz| ~+x~.{Hz|Ø~z@?}zBn+?~}}?+mÚ?z?z2<}+z?z?+}7)k?+
@zÐn)z~7+}?z2)3z?]+?7z)7}r2z~+?+ºx+z .@¢)+zBx)?n~zBk2z.}?+?~}o}xØ z~?zk}?
service ~z2?}z ~Ø z~+?+~z¬¥2¢?+a3?Bz+z?}?a3zÐ+?} z~)3? 2z?2z~z?}n 3?@7}~ Ùx?z¬¤ ?.++}mx)z2z}~
n)z+HjzØ)~z|+?xH Qû+Á)ÊÇ7¿½+Á^ùÈÇ7Å» ?)½?¼ )H » ¼½+ÊÈÉÉB½+¼ }+z~+3zªn}~n2zz.z?H??zax+z|+z~H7}?ª@z+3z~z+77}?
Áù~k½+À)ÈÆ 3+)@z}?7}^¡zjn}7)x y@¢?)no?Ì®?xz~k+3}+.}^77}+??zz~?z72}n}z
Ê}~k½)Á+¾nÈ)¼ÉzÅ)}Ç7?¿½)z^ 3?2.}~:¤~b?+~zÐ)+z)z )} 3z3z) nz+7~b+~z?z2)} 3z2z+
}+7z3)3z+ z~z)77}n)~ nË2z~?)})|+?+r+Ô+7)?})
+7}?zk7z2+}?z Output ?)Input z~?+)}7}?+zH?H~zÜ ? ~zÐ)nz+z~k?.}?+~Ëwyxnz+7)?})H?o.)+}x+~:+?2z~~z
z).?z.}x?zo?~z?2+z ~|+??¢+yxnzo z~+?+~zo}7E|)z.)} 3z3z) x+}7~b¢o?<?+~z)~+~b|++z?z?+}+~)z}3}}?o+?+?z3?
)z+z?)}7+.)+?ox)zx?zyx+z|)?n¢o}~b}~?¢+ n)¨?y~?¢+ ?<?+ +z~2}7|+}7)©)n)})©)?.}?~ – ×#ñ£?.}ó£bz~2}7)7}?
?+2}+ Í ?.+zH~z2?}z~B3zn)z}?zH~B?#?~}}?H? ¦¨)?+?zoí2× £j£¦¨î.Ý +ß3^{Hzo)n)yx?}~+?)?zox+z3z¨~?z}2}+
3)+}?+~kí2~z2n}z~îox+?~zn)7+)2zÐ)+}72z^z+x++?z? zx ?Ù?) {Hz| ~z@?}z~} z@~«?Ù× £j£¦ -}+~)}7@z
}+3?2.}?º|?zzzrx)zm?z++}7++}?}?)~z@?}z~âÜ ? ) wyx+z 0 $$+
z).?zb?+z~z2n}zØx?b|+??¢+~BØ }?x+3?k+~z. Parameters ) +$$+ nPreconditions zz~~22?k)?7}HEffects{Hz|~z2?}zHz+z )7}?
}+???z^3}@~o }7+?})a3}?x)~xnozz.x?z?~z32~2zÐ)+z~7x)z ~?Óx)zÙ2nzÓ? KnowledgePreconditions )
~)~nz+?})g)+7}&x+zm?~z~zz7~?)z }?x+o ?.)zzax+z 3?Ù7x)z©?+2)n~z~?Ã{Hz|ò~z2?}z
~z2?}z Í ?+z.~z2n}z~2z?.)n~z.+®+2}}7}?z?y?.)z KnowledgeEffects
+.)?~}}??}?z2?+z37}n)m{Hzo~~).zy~}kx?zB+7)?})
~z2?}z~r)~}+Ë)}a?2??@..}+Ë+?+?z~r+Ë|++~}?z~~ +.+)}x)?~z2~}7.?.)}z7x)}7~Ø?z)z2.3z+3z~z+77}?
)@?z~~]n)z}7+¬+?+nzË?)~2+~]~)xÃ~ Sequence, }+a7}?a n2}7~ x?|+z~~?}7~kx+z}o3z~?+}7))zz?~
' &wyx?}~2¢)+
wy2?~7?2~ z+z+}~y32?× ££¦B.?2}zo?)}3 z2z+y¤
Iteration, )@??}+z~k?z37} ?-the-Else z¤bר~:@?o}+?}n}+){Hz|^~z@?}z~&x?2z }?.3?2.7}~~
)zz~~2k2?+?.}B{Hz|~z2n}zkz+z?}?+rb+)}7}?+
)@??}+z~5?@?z~~+3n .?+z 3?y?+z.~z2n}z~o.?2+z y7}¢?zo?.+zk~z2?}z~y2zo?.)?~}7}?+~?
3?H?z)Ør2z~+?)º??.}grr).)zº~z2n}z }ComplexActions
+?}?}+)Ã~z2?}z~¬x)?z?z)z)z+?z)}z~©|?zzz x?z~z
z)z+7}n)<}77z 5kn?.}B})z2n)z37zB}7xkx+~z2?}zy} +.)?~}}?)~a2z n z?2z)}7z?ºx?zg~z nx)zg?2
}72zÐ?+}72zg~?.z ?Hx)zg}+3?2.7}?ºz+n)z@?H+n} í2+3z?+)}7}?+~+az33z~îB2x?zBx?m?m+Hí3x+zH}+?).)
++?~}}n)}7+z2?+z 7}?) ?++)?~z@?}z~î.~&}7~Bx)z~z}7xHx?zz?z)} on-?}?z
.@¢)+? ' ! " +'0
* nx+z
3z ?.)n~z ?
PrimitiveActions
?
¬
ComplexActions
+~})
+}+2?n2.}+H+?)?z~k?^|+?~}?z~~k+2?z~~kn)z7}+ +z7z2.}7+zjx)z?}?o?o+z~b?Ex+z?+3z2z)zkÎ<~zo?ox)z
+?)?z~H?)~7@)~~)x ~ Sequence, 2$2 , - n}?)n??)+z})z&)+?x+z:.?~+)2n)3}zk.?)zk?
+$-2,+ ,-0 z @+~)?3}?+r2?z}7+|#}3b?H.}nx)x+zx+z¢3}nx)
then-else, ~x+z)+7z~H}7xg?)za?Ø?@z {Hz|g~z2?}z~o|)?n¢ 3}?x+~o)
wyx+}~n+zz~b?+y+}7~+~~}?o?yn)<)+2?xo£¤¥¦.2¢)+ 23)?z +~+?27}?x+z}72)n2 7x+2?+?x.+?x)zy{Hz|.~z2?}z
?H{Hz|]~z@?}zäwEx?zr?x+z2¢+?]jzg+2??})zg}~a?H+~z §x+z2}7~z ??o.}nx)¨|+??¢o2z+® ?o?+o7x+z+zzo
?+~@}7+7~<++3z3z3z)z~ 23)?z3)~)n27}?r+r?o.?+}n)~k7x+zmn)3z2z)z
n}?)+)~?+
5$687$687 ; =@?BADCDEHG I COPL?DG $O ?B= O
§)H?}~}?}~^x)?z?~ab}7z?+?}7+~z@~H?)~ }7+7~a+ {Hx+}z7x+z)2nz)+3z}~z)nx+)o~?.zx) z?}?+~.)z23?2.
)@z3z2z)z~Bx?z&+~?.}¡z+~z@~2zÐ?+z~~ nb?n}{Hz| ??ºx)?zgr+rr.¢)z3?z:32+?zz?~^}7~az~}
~z2?}zB+}7~+?z25z+z+}n)<??#n~}7}n)})7z2?+z@}?+ +what z~2}7|+z.|+x+z?z@nz)z2~??kÒznz@x?z7z~~#.))y+~b¢++?
Ìy+.+7z~?+~z?+~3}n~?k?2z3z2z+z~}7)+?zo?~zÎ?|)@~ }}~k?z2H+}33}+.?z~nz?+zHz~z^?7H.¢+z^?+
~x+z)+7z®x+}7~72?z<|)n)+~)?})E)+~yx?yx+zo?2z3z3~B+ }?zo} @nz23+?zz?~o n?n)]{Hx+¢?z~ox?}~o7~¢?}33})b
x+zk)3}n}+7}zkx?}~o)z~7}+7}nH}7~oz~~ox) x+?+2~x?bx+z +z@ n2]}~+?<x+zo|?~}~zn~|)+<7x)zo+zzk&¢+zox+?}z~+
}¢?z~:nz~?¢ØÐ)+?z~.32?ªx)z&Ì )wE2?zz P{Hz|~z2n}z<x? +~n}¡zx+z)2nz)+3z}.?2+zyz)3?2z??+<?+~2}7+7~oÜ ?
x)}~?.+#2zÐ+)}3z~7x+ 7 +?z~}b|++~})z~~72?z .+~ |+zjn z).?z¨nB.?n)3.}¢+z33no~zzzo}3}?z~bx)z2z?n
+27}+E}7<32}7z3#x+¨|+?~}7)z~~3?z¨+~ |)z)n2??z+ z ª?zH3?zH|+?)+~g)?}7+7~ ?ª.x+?z~x)z+)z
?ä2¢)n ?å+~zÖ?+~2}?~ã}~æ3z77}?z }?}7}z~ox?b?)zzn2¢2n)+) ?.Ø?.?+?
The ~72}?xn3?22+?}?z«£j¤¥¦ -¦¨º¥?~]?+~3}?~ë|+z +2z zbBx??zoobyx+z.?+3z@z+zo?}??Ejxn}xk}7E33z
z)+3z~~zr~ n2+za}rÚ?@r+~z??}ó{Hx+k}7~^.?2z x+zB~zz}??x+?zr?2+?)n+#:.?k2zÐ+)} zkx?
x+z)n}+:}~7x+zB?z?7zx)+?n)kk+)2n)2}z&z++?}x?}~ ??&?z¨++2??¨3?52?z7 x?zn+z|)+)nz¨?)~2}?~?
2¢++?^:x)z.~z7}?kx+< nnj~jzo}7y~zzo?+zoz?+7zo? ??+2?z7o?kx+za.?a+)7za7x+Bn? +~z^+37}+}
~)x?z?#7zx)+?n) 2@}7z3~ Í n)~72}?~b&|?z.)+z2?+~b+o?+~zÐ)+z?7.)}3 }+
3?ª+?x+zªx)+|)z}+ÓÓ¢+zzÓ}Óx)z}7ªx+zÔ?
Î2}zbzxH+~z.x?~o~z??+~2}?~Bx+?~zk??|+)@}~ ~}.?7+z?+~~}~3Ü n2+)z¨x+zz)3?2zz+y?<n+z
)z3}+zH}H{Hz|H~z@?}z~&?+???}z~&?}Hx+z?+???}z~&?x)z n)~2}7)7~<}~<~?.zx?}+?.)+zy+?z~z7
?z)+2?z++2z~m)x+z2}7})kz2.}+?n)k32?x+z~zB?+???}z~
?@z~+ nyz).?z)x) Î?|+3~?+~72})#|+?? DrivingTime §).?0| z7}?z}7~o+z?z?H?z+b7zx+)n?+x)b}7?z23?2
ens
}~z+3?2z|+B+zz2}?}+kx+zo??z&? DrivingTime 32?ª x+z~zo)z~.?b~¢+~ |+Bz+)?}}7)k£¤b¥¦^.2¢)+
~z2?}zHx+o+~z~x?z^~z)n}nm? DrivingTime Û~z ?{Hz|k~z2?}z~)&automatically £j¤¥¦H.2¢+)k?+~zbn)~72}?~ Í 7z2
?+~@}7+7~^r7~g|+zm}+x?z3}7zr32?«r?+??)r??2n) z )+?~}+g)@)?@©?z)Ør+z@ n2Px)z~zg~¢+~
?+~@}7+7~BÜ ? $ #*FC+/#> / 0# 9! @ 13> $ > = +!#A* 3 1 > $#> / 0# !9@" !#(+*D "U45/#*!ED 14E/#*! 2}7)7~}7) ?)~})z37}?+o}77zox?z 3+znPwEx)z
if f )ffO2=+;#(+*@D " !#(+*@D "U45/ *!ED 14Ethen
/ *! }cons +7z3)2zzb~H.?)}3}7z~mx?ox+zDesirable ?+~3+})^?n}
?+^n)Hn)~})zo7}?+~kí2~z@?}z~îo7x+z@z|+?xH+?~~}|?z
endIf )Ø)z~}72|?zmÜ ?z+.+z<}Î?|~¢+~x+}7~?z+k23)?z&
3}?+bn?H3?x)zk+z2}?£zz|+z&é |?+bx+}7~o)z2~?+
1@!#$ > (?*12/#*> ! ; > 12!#"
Travel(cust,origin,dest,dDate,rDate,purpose); !#$ > (+*!#1 ~x+z)+7zÙ~z~¬x)]x?zÓ.?~|+zÙx)?.zÓ- ?«£zz.|)zªÏ+
f y1@/ #(+6 #12 *v2=+; (n*D 13> $#> UD " !#() *@D "<45/#*!ED 145/#*!
If then xnz}?z2n2zz.b}7b2z~)n)Hx)z
MustbeHome(December-2,s) 7z.?z}+~n7}}?Hnx+z@nz)@?z+)3z}7xHx?z?~z
BookAccommodations(cust,dest,dDate,rDate); Ò?2~})zk)?+z?x+z:+?~~}|+7z?+~o~}7~@x+z
UpdateExpenseClaim(cust); n)~2}7)7wEx?zH}?z2n2zzo}~k|nz^@z~?ax+.7[Hx)zûnÉ2Ç7zü)Ð+È?oz½+~ùzÈ
Inform(cust); ?+rz?}kÎ?|º|)z}+rjg?£zz.|)zHÏ?kx?}x
endProc travel n# }~<j}7xx+}7~5+z ~n)#n)~ }7+7~
yw })~7?}77zk Í ?)Õ?)Ø)2n?2Ë}x+zB?+z)? KB<x+z {Hz~.?+}2x+z}?z2+3z7z¨2zz}?)7z?@?)+.|)zzz
|)|+3zn}}? δ; É ; ÉHG }7~o+z}+z?r~~ox) Do(δ,s,s’) x)n+~ ?23}+z?&?)}?z.z)z?}?)¤b~~+x&}yz)+?}7~|)?xox+z.z@}7~
x)z+znz s’ }Do( ~z2.}?7}+o~}7n7}?B3??})ox)z.z)z?}?&? ? |)¢+@¢)})ó+òx?z©z3}7~? ?)}+zPz+z?}?ò?
++z&7}? δ¨~37}+o}&~}7?7}n s. Õj}?zB.n)z7¨} z x+z ?x+z@}7)a}?+~a2z)+zx?z~z2x~?z^~}¡z
?z)þÎ<nB?z+z }o)@?z+)2z δ<jz&})~)7}z δ b}x §information- ).}nz@?2z7z?z23?@~&}+ n2}? -?x)z3}+}n)~b~+xH~
2z~+zo 7x+z^þÎ+m7x+z^+32z?o~}7+}? S |+^z+}7}7+ -+ .- '0-/ D+2'0 Ù?2}?}7+)}3z}?~z2?}zî
* (Yahoo’sí@Ûb+}7z«¤b} }?z~ 3}?x+
|)})n}+:3?x)z&~}7)7}n?2}7|)7z É 9à }7+zB~}7)}?)~3zB~}+ -+ /,$+ '
~orx+z)+7z]}+3?2.7}?* ~z@?1 }zî?)7})zºª?zx+z2zz?+
0
x+z x+}7~n2r?H}?+~m32? kx+z |?})n}+3? ?z })z~m
~zÐ)?z+z?.}?)~kx?jz+~B@ H~+z~~ +z2}?É 7}??x)z
0 }+3?2.}nÃ+zz)z }7Ãx+z Í ?)Õ?) )@??2.mx?}7z¬?+
?z)z2})@?z+)2z δ9 ~}.?})ó7x+zPz33z~?Ã? ld-7z3})ó}?+~Ó~+xò~
yÎ&?)3o~}+7}+B@7x+zx?kz?z+}7+?yx)z
KB (∃ É ).Do(δ S s)
D }BuyUALTicket
+7z3)2zz|+¢?@¢}}b3})?~ox)bnz}~}?H}7x?~o.)z
0 +?z~b+?¨7z..~)z~~3?¨7z2}+7}?o?yx)z?2??@.kí2Úb+.+~
Ü ??}) Ý ß3.)@}.}77}?z}?)~.n+za}?+~+m?z+z } ?3z¬3??òx)}~)+2?x¬x+z¬}?~7?}77}+x?z}7g?z)z3}
)@?z+)2z~2zª3}72~ -?2+zmz2~r}¬?+m+?)?z wEx?}~r}~ +2?z+)@z~.wyx)z?z#}+3?2.}ní2z7n7# 7}?x+#~x+z+?z~+x)?z
)?+?z?+~3?yn)~2)}7+?+?)n}z~|?z+~zjz7¢+ ?}|+}7}7î&+ax+)n~zHH~zÐ+?z+zH?o}?+~2z}+a?ax+z
2z~?.|)n)+x+z~z7}?+~b}x?}7x+zb7)n)?z }+3?2.}nr7x)zmx+?zm?zzr+z2~}~}7+g)+}7k7x+z+
z)z)7zx)zk~~?}7zHjn2 -7z3}+}?)~&í3z7n |)?n¢)})x+z
3}nx).?Bx)zHx+?zî3 ox)}~+z3~}7~7z+zH~~+.)7}? 3}7~x)z ?+?)+ +ox+zj?z+¨z -.}7~bxnz)~z5x?zo}7¨}7~b+?+zkÜ n5x)z
2z??7î Ü ?7?})¬~+z~~3+m?z+z@}?Ãn z2.}?7}+ +)2+?~z~jn5}7+~ 7}?)¨Ü#}?)@>z B?@??}+z~b.}7)+?g}?ojx+¨}~
~}7+}?|+?+y}+7z2?2zz@)7x+zb~zÐ?+z)zjn®?@ 7z3}+}?+~ x+++z+}7)|+zx)}7+7x)zk~z?z~r}~oB3zk @?Ëx)zk2n??+
x+y?.)2}~zx+zz@}+7})o~}7)}nB&|)z.z?z- +z+¨+B}7 )nz+z+ªz?z+?z Í ?)Õ??ª})z2?@zz2?)z27}+ª}
2z~+7b}~+z~~ nbz)z)7}?nx+z Í ?)Õ?)Ø)2+?2.}?+ )}?+~r× @??n^wyx+z]nzn þΫ}~r z+3z~z)7z}]× 2??
)z3~}7~z)za~~++7}?+~Hx+nz +?&|)zz n}?z?«Ü }+7oz z)?+}+?x+zk~}7?7}n+?~<B3+~}??x+zB~z+7}
)+zB+zr?+~2+7~Bx)z Í ?+Õ?n:)?+?zo&z)|)7zo.?2z {Hz| ~z2n}za.2¢++m2zz?)omx+za?z)z2}72?zo)2nz)+2z
3z)}7|+z z)?)}) )ªnz+z2} procedures. £z7}7~¬?]x+z~z |+z})7z???zx)zB}7xaÎ?|+2~+~z&?+~2}?..3¢+)n{Hz
z)7z+~}?)~|?z3?)+}&Ý3hé +ß3 x+nz:+z3}+zk?z)z2}&)@?z+)3zk3?@nz)nb+?}7¢+zk7x)zk?+z
wyx+z}?z2n2zz<b~~..?)}3}zo.?..)+}z}7xoxnz?z) }7)~727z}7.à#z}?> +7Ï?
|)@?¢)z3#§¤¤gÝ3éRÏ+ß3#~z+@zÐ++z~7~3?y~z2?}z~x+zj)?@?)@}z ?+~?3j2zk+z?+~72}n)~o?x+}~o?2¢+z~x+?ªx)bx)z
{Hz|o~z@?}z~ ?o+}~nxo3z~)n)~z~b.xnz?z)7~k{Hx+z.x+z ~z?z?z3})@?z+)3z|+zb7z|).)7}+7z?~z2~+zx}x
à z.n}&{Hz|}~o:@z7}{Hz|~z2?}z~oj}7b?.)+}zk?} +}33z@zn5+z2~n)<+:n2?+:?+~@}n~^£z)z+?}+B+)n:x)z~z
£¤b¥¦® Í +22z?BzB.+~2?~77zBn).@¢)+í2£¤b¥¦¨ê §3¦ n)~2}7)7~Hx)z]?z)7@~r)z+)7}?zª.x+}?z2 ?z)z27z~?z2
)ko~+|)~z5?3}2~ -?2+zb??}î|)¢Ø+3?2x&kÚwy¥¦^?}& +}33z@zny~zÐ+)z)z~jn5{Hz|B~z2n}z.7~jx?y.zz¨x?z.}?+}n}+?
~z ? ì?+2??2.~k{Hz+~z})3?@7}nozn27}?o?2?n2 +zz?~?yx)z+~z3kw®x+}7~bny?+2~z}7~)nzjx)z+?+)zz@}?}
{H?2Ë{H})z]{Hz|Ë{H@n)zmÜ ?2]í2k { +Ü î Hªz)727x)z x+z?z)z2})@?z+)2z#)x)z} }~+~?.}¡z3?y})+}n}+?
}+3?2.}? @?ãx+z¬Úwy¥¦P+22z)7Ù?z)z2z |+Ã{Hz|
3
~z2?}z~r¤b})3?@}? nx)z2}+~z2?}z~o@z:nz@ n2zx?}~ users.
Ü ??|)n}?+~+27}-y)& }?)}y2z~?+~¨?2 -7z3}+ yw x+zH3}2~32?¬+?})~x+zH7nox+z Í ?)Õ?3?a+2?z++2z
~z2?}z~52zb+?#)7z)z+z? }7x x)z
+travel(user,origin,dest,dDate,rDate,purpose),
@z7z3~}7+~?}77zB~)nz?y¤22?+ÏB~x+?~x+z}?z2?2zz
3+z.zn}+Bo+z?+}?zo2z~n)})&~~zçx)5n)z2z~?kx+z z)z)7})&x+zo}7)3?2.}? -?x)z2}+B}? get_driving_time |)
~z?}B{Hz|?3?b?@7})n2)n~z~<z)n2n)~oþÎrx? 2zÐ+?z~}7)ox)z.)3}?}+o}z.32?§¤j¤¨jx+}xB~z+)~.2zÐ?)z~y
}7k)g+?)|+B|+za?n)~}~zn:|n)k??|)m}+?+~}~z? x)? ¥+~ z+z)zÿ}7~ '+ F 0/ ,2-0
)@z~z?~H~nzm})7z3z~}+ x)7z+?z~ñ§?zx+7z)?za}~b}x .'2-0 -' -0'+$ ~z2?}z bx+?¥+~.2z?2+~x?
)z?}??× @??o}+7zz?~?z?}n }7?2zí2Ò¤Ü î2Ì®7n7 } x+zbn2}* ?})}.zb|?zzzà .Ü#2+}7~+¥?+7z3z}~Ïx+?+3~
z+2¨)2n?zx+z3z}~3}nx)¨32?rà -as- oÜ 2)}~Îbn~?o2n
)++z ð+ð?)x)zz}7)3z¨x?#}7#}~<+?#x?z~zbx)#x?z2z}7~5~+x.
3}nx) §?+2~z<?kx+zo{Hz|?<jzo)+?<)27}7B~z@xkx+z 1
z)7} z{Hz|oþÎ<#~z.+~¨?z3}+z)n7}?o?E? -closed-?2
2
Ò¤bÜ ¨x+}x&}2+~2}7|+z~?+~z@xB~nz<z+)ny)@??z 3
+2?+?~}7}? }o?+<?.)z3}+zoþÎ^í2?+<?+z+î3 xnzo}7¨}~
3~zg{HzBx+p?zk+?)zB~}.}7j? -closed-jn2)n}?3?
¢)+?z+?zÓÜ nnj})aþ2}7+¢)z~z.?}~m?z?o}~Ø~}
¢)+? ~?zx)})a}&}7}~@?z^}7mo+?~~}|?z^?3+~x?z?z)
z2~y}#?+|+zb}?Òz?z2xnz7z~~)~<}7xÒ¤bÜ )x?}~<|)z?z~ 4
consid ?o+}33})yo.)?z ~o}+~zBz.¢)z.n -closed-?2
~~)+7}n)+^})3zox+. ?z?.¢+)?~H+2?+?~}7}? }
5
~}7+}? s }¨}7 }~53)z}x+zj}72+.~2}|)z~z ?¨?@)~7x+zp?z)
?+~}+z2~y}#?+.|?zb}?
° ' MONPXQ6S4TRW VPRT4` ` !T7S][R4 N` P N T7
ox)}~~z7}?oz}7)~72zx+zznz)7}?o?yn)<?z) zx+)??# à })zoÎ?|kx)~o?+~72}?5x?yx+zoj}7~x+z~B+3}?zo}x?zo+3}?})
}xØ:nz+z3}B+2?z)+3z:3?¢+}+72?z @+?z.z?~rÎn| +}~)zb}~5z~~<x? x)n)2~#|+??¢+}+ 7}?x+ }7~+? Desirable )
Í x)z]}~x)z~aº2?z32?óà ]Ü 2+}~¥?)z2z? x++~)k~zz7z|+Bx)zo}?z2?2zz3 Í ?+~zÐ++z+75~.?z?}zk
þ)?z+?z.à ~z.~¦®|+?2n2í@þjà ¦¨î|)+~}+z~~b}xoxnz£¤b¥¦ ¤b@2? yx?z?z+yz7z~B~z2xk nbB?}7|)z2z+7y
)@E z7kÚzx+~b.?)~2}7)7~ – ?+z)z2~n)¨+o?+z}+x)z2}7z +?}??bn2}?})<à Ü 3+}~?z)z) 7x+zB}7+ n2}?
32?rx+z|o.x)}xox+z|)z?+?~kÚz}7~x)z~b.+ }?z2x+zyx) ?thex+z3}+ç}n get_car_rental_info, |)º2eszÐ)+z~}7)]x)zº-
3 y}x+zo)3}?}+B}.z}~7z~~x) x+?+2~y)k~÷.z|+z? 2z?}7+ k32? §¤¤b<jx+}x~z)+~o2zÐ+?z~k7x)z&+?2?+2}z
x+zBþ+?z+?z&à®~z.~.¦®|+?2n2Bí2þà ¦®î@5x+zBx+~}7+x)z2}7zkx+z {Hz|~z2?}z www.travelocity.com. ¤^+).|+z¨?¨?}|?z2~
?+~@}7+ox+&x?za+~B?~zag¤b.z2} 32}7z3?|++~}?z~~ 2z2z?@)z)+H~}+zÎ?|^x+~k+H?+~3}7)7~x?z3}72~.}~
2?z ~z7zzb¤b@2? +¤22? +z+}~o7x+zb§¤¤]2?.
.2z7}+?+®+z#?z~+2#?2n?}+zb.)x~zzwyx+zb+~z¨¢+z~ x+?z##x)z?z~}?7}?+?}?7)+~?+
Ù2zÐ)?z~Óx+zÙnz+7x+2?+?xÙ)~zª}?z23z x)}~ §) nznzx)+?n)Ó+?z~¬?Ó?.+zzÙÎ?|+3~¬72?z
)?7}7a@zzg32??+£¤b¥¦®ê §3¦]??z)&?2?z++2z~ 23)?z.z?~y@z7}+BBz)+z?~z.}]3?2]3?bÎn|)y3}77}+B}
~+x.}+3?2.7}?.~b~5?}7|nz32?gx+zj{Hz|~z2?}z~#wEx)z
z)+z?~z^}Ó}7?~72z~x)zH?z+3~|?}7}7aa2}z^~z+7}
3
http://db.cis.upenn.edu/W4F
{Hz|2¢++?)}?+}7}n2z?}+}7Ü }+)x)z?z)#~z)+~5 wyx+zanx+?2~H?+7 7}¢?zamx?)¢gï5}x+ gÜ }7¢+z~+ £z|)?@x
.}z~~nzçªÎ?|+H)n}@})x+} )ax+}~r?z)+H+ ¥Õ)})nz~~H3?Ø)~z3)&?}~)~~}n)~2z77zgx?}~Hjn2¢)Äoïn
e- }+3?2.}+x?}x+#x+}7~5z+)z)~z}mx+~5|nzz2zz+ Ü +z+ z~~} zn¢)}?~k nox+z}7ox+z7^}7x~z2n}z?+?)#
wy+)2z}z?)z?¨x)z.z3}7~?¨?)E++2?x.}#}~5})7z3z~}) n)~2)}?)ÄE+Bx)z.2z?}zz2~E¤b+ Í x+zz2E+kþb35× 3z?z
3?yx+z+ n n.z)~??23#?¨x+}7~?)z3o{Hzb?+~7}¢)z
?+@~x?}~.z?z+}?njx)z&?z)z3} *712/ C+!# ?2nz)+2z&j}7xx+z rx))¢rx)z Í ??+}7}?zgï?|)n}~aÕj@?)ºkx+zmÛ+}?z2~}g)
z) ~.z#|)+}33z@z+#+~z3#}7x+}33z z+#)~zy?+~72}+7~ wy?@?)a2?k)@??}+}+^a}n}7} Í ?+Õjn?a}+z2?2zzB7x+oz
ï)|+o¦¨)o~oj}~x?z~bo72?z®32nà oÜ +}~oo¥?+7z3z x+nzBz?z?+zkn+?.z+z)E+kà ï3?x+zo+~zo?bx)zo§+z
|)+y3?+z2~?+y2z~?)~à x+zx+~xnz?)~2}?yx?y~x+z7}¢)z~ ¤?z)¤b2x)}z?2zºí2§¤b¤bî~)32z Ü#}+]jz]?@z n
)@}?zk}7x+zk7}.zB}~o7z~~ox?Ïx+?+3~rà x?zk7~}+x+z2}7~oþjà ¦®@~ ¢+)njz)?zox)zo3}))}<~+)+?35nx+zoÛjà£z z+~zo¤b+?)z
?+~@}7+b@z~72}7}+}23}z2~o3?|++~})z~~o72?z7çÛ~}7)x+z z~z2x:× 2E @z~¤bnz+B£¤¥¦H× 2+?2 )Ü Lð i)ðnÏ -00-2-0579-
~zo?z+z }+2?z)+2z¨x+zonz+À @0D+ÉÇÈA ù eo½+¼ú.É ?n½R»
zx++??+]2?a{Hz|ª~z2?}z?.)?~}}?DAML-enabled ) §j+zºn}7+?) (KAW’98),
wy#ÎÀ +eo¦¨z½+¼ú+EÉ 2?+z½ìÒj»&?½+Á z~ [17] §)?n)#3z@z+z¦¨z@ 8:8 8
ö ? i+ö+Á?ÒjÇÈnÆ7?Æ¿zÂ+|ÈÁn+OÇ z@EëD £ÉÇzÈùz.|É ; ?z
} Í ?.)?zyà }7z+z)à ?2}7+?z -Ñz3n)wy+?z@)Ï+ð?ð¨é I
B ¼ÈÁ)À+É<Å)Á+À ½+Á?Ǽ½)¾È¼É¿ÈÉ +
)
-
à +¥2}7x+w¨ Í +à ?+ × 2??@..}+jx)zà#z?} 2000.
[14] {Hz|) H¥+)~3}?#+)+z¨2z?}7z+Ï)ð?ð é ï#{H?}+?z3 £z)+7}?z Í ?.)?~}7}?.?¨{Hz|à ?3@z
[18] ¤?z)~ ô ½+À)ÀnÅ)¼>À eo½+¼ú.É ?)½»&½)Á
ï#ï5z}7z2 þjÒ§{H¦¨Ìy£ÕÌÒm¤ Í w5§Ò Q#¦y??}
[15] Ü ?++)7}n)~3?y£z~2}7|+}+++z.z+7}+£).} = ½)¼ùÅ+Æôy»nõ¨»¨¼¼½)½?ÊÅ+ÈÊ,È?)À)È¿Á)É5ÂnÇ7½bÉô(½ QjÂ+<Ç È?)Á?È Ç -P 4ô Å)@É )¦¨z)2zÒ?z~
à¨~z~ bÎ?n¢£237#Ï?ð+ð)ð+Ä?}|+7zjn)7}?zb } Í ?.)nzEà }7z+z+à ?2}7+?z -ÑzÈ À]@.?D#)ÉwEÇÈùÉ )?z2)Ï+ð?ð éR
x)7! Q ëëìj7~7??@?)?7ë ???|+ìë