¢ -Az " } Q} ®x n} cx -z " cz " y cz " Az P} A d c z " C A Pz S " C ¤ Cz " -cz " } § Q} A § c F} ¡ } § A c C Q "} U A U °v± C² g³ ¢µ • ¶ ģ¹ ³ o± ¨µ ² w yx Cz r{ rz | C ¢ c C z r n z § r r Pz " A n} n P P n z " c " A º} F nz ¢} §z " c c n} C r} C r g A P n c} Cz " r c z " P n} z "~information-» ®¼ ½ A¾ ¿ À c¿ Á C services A x « à Q U} § cx A º} C Q c P F §} c « n P c c} § Az " Q r z " nz Q " U C Pz z " A c Q y " C ¢ " Fz P "Ä ` C world-Å cAE §Ç È ¼ ¿ Á C kÉ È ¼ ¾ "¿ UÊ "È É A x ¢ F Q } nx A | A n c¢ A} § A ¬ C P c n P " z C c g c C d c §z P " C ¬ Ë c " Q} z A gÌ - Í c F z " P z ¤ " A oÎ Ï CÎ " C A §} " U} § c A kw yx Cz z z P c} § z " " Qz ¤ Pz " §} ¡ z o| C ¢ -Az " } Q} ®x n} cx -z " cz " y cz " Az P} A d c z " C A Pz S " C ¤ Cz " -cz " } § Q} A § c F} ¡ } § A c C Q "} U A U °v± C² g³ ¢µ • ¶ ģ¹ ³ o± ¨µ ² w yx Cz r{ rz | C ¢ c C z r n z § r r Pz " A n} n P P n z " c " A º} F nz ¢} §z " c c n} C r} C r g A P n c} Cz " r c z " P n} z "~information-» ®¼ ½ A¾ ¿ À c¿ Á C services A x « à Q U} § cx A º} C Q c P F §} c « n P c c} § Az " Q r z " nz Q " U C Pz z " A c Q y " C ¢ " Fz P "Ä ` C world-Å cAE §Ç È ¼ ¿ Á C kÉ È ¼ ¾ "¿ UÊ "È É A x ¢ F Q } nx A | A n c¢ A} § A ¬ C P c n P " z C c g c C d c §z P " C ¬ Ë c " Q} z A gÌ - Í c F z " P z ¤ " A oÎ Ï CÎ " C A §} " U} § c A kw yx Cz z z P c} § z " " Qz ¤ Pz " §} ¡ z o| C 60FCCD8B2D8FFDEE09B97FE73FB15EAE GROBID - A machine learning software for extracting information from scholarly documents

I PB UD ¢3 5' )B 1( 1V )W #( 5D XT )Y 5B 3 5I `7 a cb 3 5' 1a C3 7 B G )' 1V U( 1I d4 fe #' 5b g C3 5I P@ Cb B 9 7 B G 1' )V U( 1I P4 ih AW #p rq 1s )t 5u 1v

-q 1u 5w )u `h %e #7 p

l #3 50 m f3 5h "b a n( f7 `B UG 5B 3 oe #' 5b g C3 AI P@ nb B U9 E )G p@ FW I QY )a A3 C@ )h %l # rq )q 5u 1u ii

x Cz o} U C U} § c ¢ § C CkÝ Qé ¡ ß " c ¢ " kz C Uz " A nz Ø cz " ©} § c ¢ c x Cz f " cz " C 1 http://www.daml.org/2000/10/daml-oil, ¢ ¤£ ¦¥ ¨ § © ¥ ¨ © § !¥ ¨" $# % '& ( § ) 0" $ 1¥ ¨" $2 3) 54 % ' 6 7 ) 8© 9 @) 8& BA 6© ¥ B" C '& B § C& Postdoct ¥ ¨" $& B7 ED E) 57 7 ¥ ¨ F& B© © @) !G 'H @¥ ¨ !7 ) 54 PI 6) 'Q R B § © ) 52 3 § TS U& BV W X Y ab Cc ed ed c gf ih Tp ef b rq ts uY Uv ic c p gq $w ¨f g@x Bq tỳv T $f i c eY $d Ef 6q $w w ¨f g@ q t9p f 5p x c ed f g9s 9f g Y tỳd tf ih q $w 5f g iw q d 1d ỳf f ib Pd Y c ed @ gq th p eY $v C ¨c p x f g p @ Y $Y ỳf gc ev Y $v p x Bq tp P $f 1 c gY $d 6q tỳY h f ip Ub rq v Y f gv 1c ed p c p eY $v 3 f gr ỳf c p df g ef ib Cb 'Y 9ỳ ac gq $w Uq $v q 1h p gq $ Y q th uv !p x Bq tp ef i c eY $d E BY eq tp x c ed fh Bf ip c e $Y Tq th ¨v Cp x ¨Y r ¨w w E 9c p gq tp c gf eh gf 1h !p x uY 8 c ỳd p E Bq $ Y ih 5i f $f 1 j f 1p x BY 9ỳ uc ed 1Y ek 6p ef rỳY 9 5 w c ed x Bk 6p ef d Bf d p rf ih ld 1Y 9ỳ Y 9ỳd !f 1mp ef !ỳY $v gc ed p 9c p eY mp ef %w c ed p ed k Y $n g c èY $d o c f 1d uY $ ac e c uY 9b Uc ed 1d c gf eh U j p x uY q t p x uf gỳd 1h p Y tb rq gh p c e q rY 9 Uq sf 19s ud x uf g rt u u v Uw f 1h u gs uf ih B k x x c h Bq x @f i j c ix p 0 j p x uY @q t p x f gỳd 1h pro c P " F } § A m § " A c C " cz Í c CÕ j n c Ý ß k C cz " x Cz " k j} U §x cz " C A U} cz " x A} § Az P " Ë § à 1z " } n Ï #z ¢ C P c n} Cz ¢ ¢z c F c §} c " } U C r{ rz "| z " P c} z ¤ "¢ A " A o Cz " ©} § cz ¤ §x Az ¤| C } § ¤ n C c Cz C # c ` c C framework Fà 1z c } § c #z # A Pz "z " c 1 c C y " C A P n x § ¤z " " c §} " P¢ c C n ®{ rz "| z " P c} z " k oà )z " } § c ¢¡ o #z ¤ C Pz "z " C 1 ¤ § c c} -| A "z " o " cz " A ) z " x C A c § c 5 x C rz A C c} U §m x nz F P¢ C c ª #z r C P c C cz r Cz d © n P ò " c c F " z " z " P c} z # c F A n} U} n " c ¤} § c z " P n Az P §} c c w yx C P c C cx A n A x C} Uõ A Az P z k} U U C P z k c C z " C F} ¢ §z P Fõ c # P " cz " z " A " F c z " Í §z P " k x Cz dz } §~ C c §x c} C r} º x c} §~ Uz " x A C c n A r x C " Pz " § Q} §¤} U k Ux C} U C c F "} c m § A # # c P¢ k} §¤ Az } c Cz " k k| Az o C c F } § - } C Az Az " c Cz " c à 5} F} U P " y §x Az o c} §} § c k #z o A Qz "z C y} k Ux C} U¤ A " cz " " | Az g Pz " U} §¡ z " | 5 g r c " P} §z r C A} § P Qz dz C ¢z " " c §} m{ rz "| F " P¢ A C " C c A " cz "õ A " k| Cz Xz " C A § c} U z " ¢| C k ¢ c " P} §z Ø c # A} § © Qz " Pz " C " cz " A " P x C} U z " § c Pz "g C ª Uz " x C A c § c c} §z w yx Az º " P¢ C c ª " C ª Ux Az º " cz " A z "

A § c " U} § c r U "¢ cr x C 8z F C U} F " P¢ c C r c ¢{ rz "| z " P c} § z "r #} U z " A "| c §z F{ rz n A § P " 5 §x cz # © n n j} § A # §x c Pz "z U "¢ A # %$ '& )( 10 32 54 76 %0 38 @9 A §B DC ¢E FB HG DI 58 @9 PB RQ 18 SE T9 D2 5I 5B DG DU 5$ V XW  W `Y ba ¿ §Á AÀ ù #È Å É È ¼ ¾ ¿ §Ê "È Ç @c AÅ CÇ É È AE UAE É ¢Å C¿ U¼ AE U¿ Á CÈ Ç ¿ UÊ "ú "È Ç É Øü AÈ Ç §ý SÈ È Á ed CÅ AÁ a ¼ Å AÁ CÊ "¿ É Ê ½ Å cÁ AÀ gf 1½ c¼ ½ CÁ cÇ ½ Y Å CÁ cÀ mÇ `c CÅ AÇ FÅ CÊ Ê "È P» )Ç É f» )Å Hh 5ù #È Á AÇ oü ih "p o¿ UÁ CÈ ¼ rq UÉ s AE û Cü ¤Ê "¼ È À c¿ §Ç 5Ê "Å c¼ À W ¤ C c F " } § { rz "| z " P n} z # C} U C cz " P ¤} § A c n cz " x Cz # " A § c " U} § c " } n c { rz "| fz " P c} § z "# x C y C P c n} Cz F A Q } A U " z " P c} z " C f Ux C y " Cx cz " Pz k Pz "Ð C Az Uz Ø A P n Az P U} z Í A Q Pz " c § " ` x C} U § ¢ ¢ F A | Cz f Az P Q c P Fz " | A 8 ox A C F k #x C f F c o Az o oz " P x kz " A n} cz o § f Q} C k z " P c} § z i C #x A F n §x Az " o Pz o §x cz ¤{ rz "| o C nz ¤ " c } " z " o #} U x F x C ¨z d c} z ) c z " Az " C Uz x cz z P n} z F C c " U " # rz "z #x Az x Cz o} U ¤ Ax Cz Pz "f § r x Cz Pz "Ð A nz z " m C P c Cz " Q U} z " «{ r} U §x z " ¤ " c §} " P¢ c C g c kz P n} z " F x Cz } C Q c P F §} c F Cz z P ¤ Q c y{ rz "| Fz d c} z j C} c cz " ¤ " F| Az # Az " } Q} z " "X c F A C z " -} n z d A Qz " U "| c z z " ¤ " A U} § ¢ " P¢ C C r Ux Az z P n} z { rz "| } U z " 1 C o #z P n} z Pz " c} U U P F c Sí d c A § c n A -z " Cx A " C z " Aî `z P x oz " C c} Cz Az " ¤ § # n c F " } " U # c " z # C A d c A Q} § z z " P n} z " t %$ '& )(

10 32 54 76 %0 38 @9 A §B DC ¢E FB HG DI 58 @9 PB RB Hu vB D9 P( 10 w8 @2 5x y$

V XW  W `Y P û Hh ù #È jÅ CÁ FÅ A¿ U¼ AE U¿ §Á AÈ Ç ¿ Ê ú "È Ç T c¼ ½ Aù www.acmetravel.com ½ AÁ ô X %AE U¿ §Â %c cÇ 1 v v % %¼ ½ Cù d CÅ cÁ a ¼ Å AÁ cÊ "¿ UÉ Ê "½ ¤Ç U½ 'f 5½ A¼ ½ nÁ AÇ §½ ¤½ cÁ © •Å c¼ Ê Dc b W ¤ C c F " } § Ó{ rz "| z " P c} § z z nz A U} § c } § A n c cz "Ù x Cz Ó " A § c F U} § z " Az " C U} n o c y " o} cz " c §} Q} Uz " o{ rz | oz " P c} z ¤| C ¤ ¤ n C A §z " y A P n c P " r c " cz " A § w i Xz " Cz " C Uz f o C Q U} § C #z " P c} z f c Ø c C " d{ rz "| C y A x ¢ "| A C "} C " o "} Q U} § Az # } § ¢ Cz U ) cz " Az P § " 1 ¤ Cz i C ¨ c F F x Cz ¤{ rz "| } U §z c P Qz " P} C r x C z " P c} § z " # Q} U U ¤ c C ¤ Q c d # " c } § ¢ n | C c § c z " Az " C Uz §x cz z P c} § z " Ó¤ § z P A z §x Az Az k } § cx A oz " A " mx c § Pz "Ð A nz F c} Qz " § r x Cz z P c} § z r #} Ux Ux Cz " C c P c C P} U " Uz r A P " ¤z " z dẽ ncoded ó rz } § x cz " ¢ "z fx n A F " } § c z P A Qz " U " U} c r} Ur dz Ð C c} U Pz " g C A Cz P " C #x C } C © n P " U} § c } §õ Pz Ð C C} U Pz z " Az " C Uz k x Cz kz " P c} § z " " A Ó} § c z P c Pz r x Cz Ã} C Q c P F " U} c Qz U C P cz " Ó| C Ù x Cz Ùz " P c} § z " ¤ C n " } § ¢z " Az " A U} § c c F { rz | z " P n} z " r| Cz ¢ x C c C cx C ¤ c F k Q A C §} c F " § 1 c y # U ) ¤ # c d c z " c ¨ Q A C §} c C oà 1z " F " c U} " P¢ C A c 8{ rz | z " P c} § z "k A d c c} Cz "k r Az " U " P U} cz " ¤ c F A C z " -} U C Uz d c Pz § "| c z ¤ × ¨ P n jz " Cz " C } U C X §x cz "z o Q A C §} c ë dz P n} z 8 " U y §x A S " k " cz " A } C Uz " Q A Pz 1 § C A Cz d § C o jx n )} C c C 1} U Cz " z P ¤ § §x Az z " P c} § z ¤ " U #x A " )} C © n P " U} § c o #} U ¨| Az # Pz C Q Az " o C ox C c m Fz " Az " A Uz ¤ §x cz ¤z P c} z automatically.

v$ & )( 10 32 54 76 %0 8 S9 A §B DC ¢E FB HG DI 58 @9 DB 9 D2 54 2 5E F8 S0 w8 @2 5x 6 vx yQ '8 Sx 0 B DG D2 5 B PG D6 50 w8 @2 5x y$

V XW  W `Y rÅ Cú "È Ç Sc CÈ Ç ¼ Å c¾ "È AE 1Å c¼ ¼ Å AÁ C CÈ ù #È Á CÇ É d %½ c¼ ù Xh fe ¢e e ¢ vg Ê "½ CÁ w cÈ ¼ È Á CÊ "È W ¤ F x Cz f C " z 8} ¤ C U} z y x C} UF U ¢ k} § A c n cz "F x Cz f C n " U} oz " Uz " §} c C C F A c} § } § c " C } U C Uz d c Az P " U} c c F C C P c C P} z { rz | z P n} z "k Cz d © n P n z # "¢ c 5 n} cz " F jx n} cx -z " cz " 1 Cz P} c U} § c F c ¨ x Cz j n| h£ ìz } § cz c ¤ §x Az Ø "¢ c Í A Q Pz A U § " } c z Ø "¢ r Qz Ð C c} § ©z "8 ¢ c F C c} §} c r c { rz "| oz P n} z " §x A ® F C )} c §z P c Cz " P §z 5 §x Az o Ux Az ¤ nz ` c )z §z 1 §x Az { rz "| fz " P c} § z " ® F C C § Cz " } § P §x Az F n 5 c} § U} c C ¨z " c A Qz F Ux A y " A c Q # " Pz © n X} § c z P c Cz " P §} c } C c -Pz " " z " c F " c m C P c c} § Az r §x Az } C C c # # x C c} z ¢ C c} C 8í Pz U c U z " Uz " §} C Ø © §} cx C Uî P { r} U x rz " ¤ " C U} F d¢ A C m c 8{ rz | z d c} z x Cz r} C © n P " §} c m Cz " z " P © z " z " C F A cz " y " C f Pz A n A 8 fz " P n} z "#} #z " C c Cz " X S Ux Cz Fz d c} z o{ rz | } U z " ãà 1 n © § # Pz º " ª| cz º j Q} § U z " c} § A n §z r x c} § d¢ c A C n cz " x Cz k } x cz " } Q} § " U} c c f §x Az c| h£ ìz " } § cz " n f x Cz § ¢ c F " x C} z " cz Ù Ux Cz à ¢ Ó " c n " } § " U " à )z P c} § z Ù n C c} §} c " A } C Uz " P c Cz P } § c ¤ z " cz " Q " cz # C c F " U} c} c cz " # " C z Az " C U} n A § # # x Cz X §x A Qz "z k U "¢ cõ U} Uz " | C c cz " C c Cz X} §õz C U} Qz " k Pz " " } §¡ "| c z k } x n A " " P#{ rz "| A ¨ C P} F P} U § | Cz " " Cz C S § " ¢ k c " c C z " A i " Q¢ A C f " C f C} U "| c z r d¢ c A U " C c A " cz " ¤¤ " Cz F} Pz "z " P x c { rz | z P c} z C} n cz " ¤} § c d c #} C c C ¨ c y " cz " C ® F § x -"¢ C} C Pz z " P x o C x o " x Cz «¦ ¨ " P¢ ó §z " Ý Qé Hi Aß Q ª #x C} x ñ C P c C cz "Ù " U Q} | C c z Ó " A ó Pz " c Pz "z " c } n Q c y " c C c § U} § A nz n 1 " c "| C} U U} U} §z # x C 5 §x cz " j " | Cz n " z " C | c P c¢ Cz " Pz C ï z " z " A } U A C c U P} U " z Q Q c P §rx A " cz | Cz "z focusing C P} § P} U r c º} F A d c c} C r{ rz "| z " P c} § z g A} U A nz d " C " Az " U c z " P c} z z " Cz c } § c ª §x c P c C cx ª} § A} U U} § } § cz "m C x ª "m §x Az Û # A} § cz " P ¬£ #z P} § c } § c A £ } § c nz " C â § A §z " c P " } § c òí PÛ #£ #£ # î A C d z d c} z Ô Pz " c} U U d cÄ §x Az è #¥ ¦ -| C z " ©{ rz | ©à 1z P c} z £ #z " P} § c U} c k¦ ¨ " A n A " cz oí P{ rà )£ ¤¦ ¨î Pz " Uz " "z " 8} kà 1z A §z | Az " Ï Cð Að Cð f "¤ Q P " z " # c P¢ } c Cz " cz " A Cz C ¤{ rz "| rz d c} z Cz " Q} C U} c A c C " cz "Ä # C z "| Aè #¥ ¦ ¨ S " k} c} § U} } nz f c x Cz fÛ # A} § Uz " ¢Ò # } § c C¤í PÛ #Ò Së Í Ì yÜ )¤ Í w yî # " A § #¤ à ¨ à Ö § ò " C A " Q A} §¡ z ó ó Q P " z " # c P¢ Q c Ó d n} C ò A " P U Cz " } C Uz " P x C " A nz Ì -| C A} Cz ~} C © d U P C § c Pz à c F A " C} z dz à C c b z n} C c} C f § f " A C c C A z o A § " Q c P F¤ 8 A C C c Q S c Fz o z " cz " ` c { rz "| - z " P c} § z ¤ " c § c " §} c C kÌ y A " F c z c i A x o A P n A C §} C § A Cz ¤Ú #z " # Uz U - × 1 " ¢ A " P vj Ëz -Cz "¢ A ¬ Az P} § c } § c c m Pz " c} § § Q U} § c C m " A Ù C C " } § C} n cz " o C " Q c d ç Q c z -z P c} § z "Ä y¥ ¢} § P c n © wj ¤ UÒ #Ì yw C kÎ S} §¡ w y " ¢ n c Ä 5 § # P " §z Dj £ ¤ c C F} à 1z " P c} § z "Ü 1 d Fz " # c P¢ CÄ f Î ¥ kj ¤ C A §} U} § c Ü 1 d Fz " # c P¢ ä Q c Ì -Î A} U Cz "Ä " A à 1 C vj § # Az " äÒ #z " # c P¢ Ì y C c} d c A Fz " A kí P § #Ò #Ì ¨î P òÑ #z Q §} " §Ò z " kà 1 c § c } § c A k C U} } C U} C r " A #} x c} § A z " z " Q " Uz §x Az r d¢ c A c oz P c} § z "¢ Q c f C} U C cz " P " ¤} §| C A} U § A} U C c A § c n c} z " C c n c P c " C} ¡ z " c m A c F} ¡ z { rz "| z " P c} § z c} c cz " " # " A } U §x r x Cz } F § #à 1¥ «× 5 § § Q c P F Cz } § cz " Q} C r } C Q P U d A c Pz x c " 5 c c P C} C " Uz ~{ rz "| ¤z d c} z ~ Q c ¨ A C| C } " C ¤ C ©} § c " z d C} U A ¤z " C x C " A cz " { rx C ) A} U U} § A n A} Ux Cz c C y # c P¢ F} F x n} ~ dz C j} U n A yz " F C U} " P¢ C A c y{ rz "| Fz " P c} z "} F Fz " A n Pz } cz #z " F C U} { rz "| F " P¢ A C F U C c C " cz #} §x ¤ #z § -Cz §} Cz " ¤z " F " c } § ¤w yx Cz z " " c U} § " P¢ C C ¤ A Qz "z C Uz " ¤} x C} UF A Az " C P c n} Cz F oz " " c U} § o " "z " j §x A x A n A § ¢ c F P c d "| c 8} c r n r c ¢z " Q P c P §r A x r { rà )£ #¦ ® 8z C "| c } U C P} § x Cz ¢ §z nz 8 c Az " P} U A U} § c « " c «x cz " C z Ó F c Pz Ù c Cx A} U U} § " z Ô} § A Uz " Q " §} c C¬ C Pz " c C} C k " x Cz f " cz " c ë d " C c } § } n ¢ z " cz " U m¤ 8 Az " o c C P U} c ¢ C x C} U¤ § } § y #z o c dz z " c ` nz C y §z x A C c § c A 8 x C " S cz " P Q c d ~a utomatic { rz "| oz P c} § z ¤ c F A c} § } § c A 5 " F Pz " # Ux C 1} § A C c U P } C c ) z " ¨ " ¢ C U} C } ¤ " C # c Pz " " 5 z " re. Ü 1} § c A dz ré o} U n U P §z F x nz X| C } § f c 5 n Az " C õ c # c C ¤à 1z " F C U} 8{ rz "| à 1z " P c} § z " Q P " Fz " j n P¢ c k ¨} c F 5 cz " o c yz " F " A §} # " P¢ c C o c" ¢| Cz f " z "z k " C ¢ Qz c Cz Ø | C c C U m Ø X C c} § A c `} C P c c} § Az "F z " " CX Q c o " cz " c §f § r A c C C §z ¢ x Cz } § § c " ¤þ #Î 8 r x C ¤ Ux Cz " Pz " c Ø | C c C { rz | ¢z " P c} § z f n P c Cz Q §} Uz C k " C | n} U} U } Uz "¤} § ¢ c P cz " " " c F A §} x g c z c ¢ x Cz m " c § c " §z g Pz n A} U C § "¢ Cr} Cz C U} Q} z " "| A c nz m " C c} U} § c m x Cz r " Q¢ C A c F c C f Q P " Fz # c d¢ } § A U A Cz c " P} z k c # " cz " A §z " x C A c § c c} §z Fz " " x ¢ c #x A} § x ¢ " c F C C} " z "F } § x x Cz { rz "| z P n} z " c} m " cz " C | C P c¢ Cz " f §x c " z " c C Qz "Ð C cz Q c z " P c} z "S § ¤ C A d c A Q} § z { rz "| ¤z P n} z " C " c n} A " x ¤ Pz A c Cz | c " ¢ x Cz r " cz " c w yx Az z r| A d c¢ Az " Q } U Fz " cz " A § c " U z C C c} § | C c x n " " P¢ C C " C Ó{ rz | z " P c} § z c A § c n c} z " Ù "} U g} Ù c " } C " A C P c C Q} §z z P c} § z o C P c c} § Az " Q¤z } U §x Az } C Uz " P c " U o c x C P c C cx k x Cz Cz c " ª " C c F " } § r A} § c cz " " cz " C ãþ #z c º n 5 c Cz " A § c c C à 1z " F n } F{ rz "| kà 1z d c} z j} U U `| Cz o cz " Q} | Cz k} 8 Q A P Ux Cz " Az } y} 8 x Cz z " } § c CS § ¤ Q c § c # ° §¦ © ² g³ o± ¨¹ ¦ ! ± ¨¹ ¢¡ ¢£ w yx Cz ¢ x c dz z ¢ § ¢ c8 Az " Q} §| Az r} rà 5z " §} c rÏ rz " P cz ¢ "õ C ©} § cz " Pf Q c F x Cz Az " cz " § c A Fz " A o n f c C kz F " c } § r{ rz "| mz P n} z " " P¢ n A c Ó{ rz " Pz " P¢ n} C C Øé î `{ rz "| oz " P c} z " C x o "¥¤ # "x A n c P §¦ Ó C Q} c} § A F A} § Pz " U} n z " P c} z " A c iÛ j C} U z ¤ } P U} § Az ¨¦ Q U} § cx A ) x Cz " c A Uz #} U C Q c P F §} c Fz " P n} z "Ä Ï Aî Az " A k c P n A k n A § P "} U A U¤ " C k c Pz " Qz Pz " C z o A x X "¤ Cz " Î c| A d x Cz " A C Uz " o x C kx Az c Pz " Qz Q g A P} § cz m} § ¢ x cz A Q} n} C §} z gx A} § Az " } § c " U} c k} # §z ¤ Ux C " x A n A P y §x c " Sx cz o U} §¢ Az ¤ 8 cz " S c ¢ kÐ A C c z " Q P c x Cz oÌ © Cw ® d nz ¦ «{ rz "| 8z P c} § z " yz UÄ C î " cz " c ` c P c z C C Pz " #x A} § x ¬ " Pz ªí Q C Q U} § î g n C c} §} c C n mz " A} § U} C Ë{ rz "| ¬z " P c} z " Cz } n Az " f § o Az " P Q c d F A " Q U} A § ¢ c ¨ " A 8 P¢ Az f C f Q c x C " ©} § A " A k Pz " cz o| C k c x Cz " Cz " P Ì y C A §z F c C x ¢ n P c z " C A dz } U A C Az B c| C P¢ c C " 5 " P¢| C A} cz "k U P " cz " ¤| C c c¢ C} C C P c z C C Pz ¤ n fÎ c| C P Q P} z " C c P c ¢ ç "z " ¤z " c n P c z " C A dz ä §x Az g A| nz U} c §x c " Q c § c # #z "¢ Cz x nz "z © n X §x Az £ #¤ ¥ ¦ ç Q " F} C f F " P¢ A C " C c C nz # #z F Qz o c} U C f} § f c C # c d¢ c rÜ 1 c § c #} § A o §x A} U ¨ #z n} C Q A d x Cz ¨ Az } U c ¨ c C ¨ C c P n x § #z F " c } § { rz | ¤z P n} z # F " ©¢ C C c °P¯ ¶ k Pz " z " A r "z " " P ¢ º c A F| Cz c F " P¢ C A A n A " cz "gx A " cz º| cz "z Cz nz § c Cz F #} U x F # c} z " ¤ Pz " " } C ¤ § C c C " cz " Ux A " 1 Pz # " cz "Ð A c " Uz # Q c Pz " §} ¡ } U A o §x Az Fà 5z " " c §} ¤{ rz "| c ¨w yx cz F n A § P A U} c 8 c ` x Cz z C c C " cz "} z " c c § c} C Ù " c P C} C § Ù Ã " "z " Pz " Ù C c P n x Ó Ù § C c C " cz Cz nz § c C z " C F Az " c} § z ¢} ØÜ 5} c C Pz fÏ n S #x C} x Ø j "F n A} § ©} §z ¢ Q P n [6]. è #¥ ¦ # " §x Az Q} Q o U " A c C " cz mz " A P §z §x cz P¢ A n c k{ rz "| n A §z C Q P c ª{ rz "| ¢ n Pz z " c § } § c c ` Q } U} U § U} § A 8 x Cz o Pz C Qz "z C U U} § c ¢ c task-" A 8 A n "} -Cz " } § ©} § ¤ C F c 8 x cz F{ rz "| A ¨Û C Q c P § A C §z " ¨è #¥ ¦ " ¢ A~z F C U} ¤ ~ C x C c F A C zP Q c Fz § " c " U ) } U §x §x Az ¤ n c " ® n y " A C} U A F ¤ Q c P F " ¨z " F n } F x Cz #{ rz | C ï £ #Ü } §k Az " Q} U Az " c c c oè #¥ ¦ r C P c n} Cz r r c " U r c Cz " ¤ " A " A § " m c C cz " C } n m Q c k Pz " c Pz z " c §} U A §x Az rz " " c §} Ø c f C " r} U m A C d c} ¡ z } § A Uz " P c Cz d | n z r F C cz " Q Ö r C P c c} § Az "m º z Cm c Cz P} U| C} U A 8 x Cz o Pz § U} n Ax C} U A F c C f Pz " c C P z í P| c "} § " U o " 5 " x C} C C F "| c z | A ¤ Û jï î `} o §z d c y C Fz " o A d c Az " Q } §z C o c " U Cz 1w ix Az ï £ #Ü m # c P¢ C} C r c c A " r Cz nz § c Cz ï £ #Ü mà 1 x Az " F í Pï £ #Ü )à 1î Q # object- c P} z " C Uz " ¤ " Cz j " z " §x A 1 F| cz #z " Q ©z " } nz § # x C c A nx A ) A ¨ " F} C} F y c C n c C o o c Cz §} C o " C c A " cz " ¨¤ § x C c C cx fï £ #Ü ¢ " C fï £ #Ü 1à C P c c} § Az r c C c | C A} § c} § A º| A § c ¢ Cm Q c Cz " Q} C} C rà 1z " F " A U} § { rz "| F d¢ A C § " A c C " cz " 1 Ux Cz " ¤ " ¢ oz " C A dz } nz ¤ A n jz " P kÜ ) c Sz " C " C z 1 c Cz " C A n ¤ Az " Q} nz C P c Cz P U} §z k c F A d c Az " P U} §z Az " z " P " A A Q Q} } z " C n A C} §} c C# © n "# Fz F| cz " Px A} U C ¨z Ð C c} n §z " A z A 8 c} S£ c} § A U Cz "# c § "z " c x Cz r c C n A § P } § A U¢z " C c Pz "} U| A Uz Pz r C c F } § ìë Q " C cz n A § P "} U A U c o A d c Az " P U} §z " kÜ 1} § c " U " 1 " C o Az " Px n C F c ¨} F C c Q " c U " x Cz z " " c §} S Pz " ¤ "} § cS C C cz " -specified. ï z " z " C " ` x Cz Pz 8x A " cz 8| Az "z " ¢z " cz " P z " Q Q c P F k| C A} § ¢ C C c ¢ï £ #Ü 1í Pà )î #} §x X F c Pz 8¤ -} C A} U dz k¢ C A n j §z C cz f dz C ©z "z A U " U} n ¢ U " A c C " cz "¤ C x "kà 1Ú # § #Ì Ý ©é Cé ß © #£ ¤¤ ¥ ¦ - § ¤Ò #w Ý Þ 5ß Q j § ©¦ Ý Qé ! Aß Q # " A n ¤ Pz " z " C XHTML " R $# &% §' §( 0) 01 32 54 6 7( 98 @( 0) 76 04 A B 3C A 1 5D FE G4 H 0I P( 0Q R1 54 S ) RDFS ( ' §( 5) 01 32 34 6 ¨( 98 @( 3) ¨6 04 A B 3C A 1 5D FE G4 H 3I T( 7Q U1 34 S WV !6 0X 3( 0I PH ) DAML+OIL (Y D 3C 1 51 3a 5b c8 @( 3) 06 04 A B 3C A 1 3D 9d eH 0D 3a 52 3H 5a 3( ) DAML-E f% Logic)

g 8E h% pi 7q rC ( 5D 3) 0A s 7( 9t uH 54 S 02 5B vd eH 3D 5a 32 5H 3a 3(

) HTML w yx ¨ P U W U U v P Development KB R R cd fe @g 7h i j cd fk el !m un o up q Rr s ! fk t uh i ! ys fh g v !s q Rr c R uk t uh i w Ontologies q Rr yx Uk o ui z !{ m uk !s Ontologies Agent Broker E-mail R R d Re @g 7h i $
d Rk el wm un co p

Personal/company i !o e §s !g 7k d fh e @g vs 9d Re @{ |n uk wp vs ...

Semantics-markup- fe @d Rr } !{ d ! Re @g ug v wi R ue §o } o uũ - w yx ¨ P U u w y u U W R 5 W R 3x e U £ #¤ ¥ ¦ yê 1 § ¤ Q¦ ¨ k£ ¤¤ ¥ r¦ ¨ê ) § ¤ Q¦ } § x Cz ¤z " n A o} § c 1 #x C ¨ #z ¤ Qz " ©z " ` F " x Cz o£ #¤ ¥ ¦ Q " } § k c F " P¢ C A k " C c C nz y Pz A § " } U C X£ #¤ ¥ ¦ - § #Ò #w " ªz C A Qz "} cz º c A § c n A º Az " d} C U} c ª U " C c C nz Q c " P¢ c C C Î A} § U A} § A Ø c ¢ n c #ï £ #Ü 1í dà 1î # " A ¢ #} U §x ¢} U F P c c §õ} U ¤ Cz P} C U} n c n} £ #¤ ¥ ¦ ®ê ) § ¤ Q¦ Ô C cz " P " c Fz " F C c m x Cz ªz " C c Pz "} § cz " cz "} C " cz "Ð A c " } z "õ c " c C} U C ¢ï £ #Ü 1à 1 " C F c } F A c d C U " x C õ k #z " Az " Q} Cz n Az " -Ux Cz " c Pz §} z " " c U} § #z § " ¬ " A} § c F U} § Az " } Q} U} § c r x n # cz " Uz " P F} U Az "õ §x cz ¢} n z " c Cz } n z d A Qz " U " } § c Cf c ¤ §x Az " C c A " cz " £ #¤ ¥ ¦ ¨ê 1 § ©¦ } ~ A C " ¤| C} c C c C " c F A C z " - } C Uz " © C Pz | C Uz " Ux C A8 ¢ A} § A } U # " z " C | C Uz ¢ " cz " A #} n z P n Az " Q "| A} U U} § " A 8 n c F " z " f Qz " c C} C o z " x A C} Ð c Cz " ¨ C x 8 # Ux C cz F jz Fz " A c § c} i} c C y " cz " A C z " x C C c c C " F x Cz Cz " A 5x c " § ® "z " " P C£ j¤ ¥ ¦ 8 #} 5| Cz z " C Uz " A cz " ¤ #} U §x ¤ x Cz C C} U U} c ¤ C DAML-¦ ¨ S 8 c n} " ` " C c A " cz 8 } § x k f z U -Az " Q} cz " kz " " c §} C x Cz f "| c} § U} U k kz " A C Pz "F z " C P c C c} U} § c C Ú # c d ¢ § Cz Ú j c d § Cz z " C "| c z # n C " 1 dz C Qz "z C U} § c F A y c C P "} U C U C d c z © n Pz " c C} C c Í n A} Cz k " } U d U} cz © §} cx n o} C © n P } § c mz P n} z x c " #} x cz " z C n Az # #x Az " §x cz " y # © U} § cx C 1x C c # j F c c} §z " o § j Cz # j " # 5 x C} U} § § m dz z F P¢ C c g © n ¢z " x Q U} § cx A oí d A x m " c " U "| A z î } C c} " U} C ¤ #x Az x Cz y c i A c 5 §x cz # Q U} cx C 1x c "~ # c n} z " ¤ c dz j c F A " Pz " c Pz "z n §} c } §m # Q} Uz r x Cz r n A § © "} § c flight-over-3- ¢¡ ¤£ ¦¥ ¢ § → ¨¡ © " C m Az cz " C A U} cz Pz " n A} § A m § m} C Qz #x Az " x nz r g Q } § cx c ¢x C "~ g F c c} z " w yx C} Qz C Qz "z C U U} § c } §~ F c Pz C C " § X} § A Q c d " } § cz Ø C çz "} §z r º n A} § P r x C " ç çz " c C U} } z " A C z P §} c c r #x Cz " x Cz rz " " x } U A C} n} c C Q } nx c x C m r F c c} §z " à 1} § } U § P § ¨ C x 8 Az # " o| Az Az " o o Qz " A Qz "z C ¨| A c} § cz " P A Uz "} # c F A " 1 Q c P F £ #¤ ¥ ¦ yê 1 § ¤ Q¦ Ù " A £ #¤ ¥ ¦ -¦ Ù C cz " x Cz } U r C P c n} Cz P¢ A C " C c A " cz # Q c y §x Az #à 5z " F n } { rz "| } x Pz " c C "| c z z C c Pz "} cz # C c #z " A k o z " U -Cz " Q} cz " fz " F " c U} Ôà 5x C c C k Q A Q x nz z " C c Pz "ì} § cz o C c #z | Az g cz " z " P " X §x Az U "z " Pz " " c C P c " x g " C c C nz cz " cz " n A Fz " A " U c # # n Pz #z C c Pz "} cz # § c c} " 1 U " A n A " cz # z C z A F£ #¤ ¥ ¦ -¦ ® 5 n ¤ " 1 " " " U z P C z #z " c §z C} § c § ¤£ ¤¤ ¥ ¦ ¨ê 1 § ©¦ ¨ k F x Cz # A| Cz " U} n ¢ Q c § c #z k A} § C n A ¤ " c C P c " x § ¢ " Q¢ C A c #z " " c U} 8{ rz "| z " P c} z "¤ c} U C f x Cz o£ #¤ ¥ ¦ r Q F} § f C " C c A " cz " à 1} U C z o£ #¤ ¥ ¦ -¦ x A "~ A n 1 "z " 1| Cz z " nz nz § c Cz n 5 C © dz n 1 ¤ " P¢ c C ¤} §S} § ¤ c | C} C " U} c F c £ #¤ ¥ ¦ yê 1 § ¤ Q¦ " A º m A| nz ¢ c Q} P -c d Az " c c} § § # c r P¢ A C z " c c nz "~ x cz #£ #¤ ¥ ¦ k Q F} § # c ¨ " A n A " cz "~z n c cz " °¥ « ¶ " ! ¢" $# &% (' ) 10 32 54 (0 6 7 98 A@ ¤0 64 x C} Øz U} c #z r c} § C #} A z "} n A # c C f " c C P c " x x Cz £ #¤ ¥ ¦ r " P¢ C A c F{ rz | z " P c} z " j " C c C o C C P c " x r£ #¤ ¥ r¦ " P¢ C C o c S Cz c C Q "} U A U# C f n Pz " ©z Pz " A z " ¢ § # c A C P c " x o § o x Cz £ #¤ ¥ ¦ r " P¢ C A k c " cz " C S C P c z " A C Qz " f| Cz dz " U} ¡ z k| C o o} § } U § z " 5 c ¨ c C z " C # §x A cz Az " ¤ Q c y{ rz "| ¤z P c} z " § # A `£ #¤ ¥ ¦ ¢ " P¢ C C C P c c} § Az # Cz P §} cz # Pz " c Pz z " c } c o n y{ rz "| z " P c} z r " A cz f n A § P } § c ¢ C C c # z " A nz ¤ Ë¢ Cz c r Qz " " C Pz r c o c C " P¢ C C o} §x Az Fz C c § c} § U} n f c c C n C c} z " ¨ #x A} § x f Pz F C A C c P Uz " f| C £ #¤ ¥ ¦ yê 1 § ¤ Q¦ Xj P C c } F Az " Q} § c } § c § c c} § " C o Q P " ¤z ¤ " z " k{ rz Az c C c § c c} §z 8 rz " C c Cz Ux Cz z "8 C r C| A U z "f c F cz " Az " P " c 5 z " A § " c o Pz §} c C Cz Q § } n} C § z " P c} § z " A o Cz ` n A U P } C U í PÌ y U c BuyUALTicket " C BuyLufthansaTicket " Pz A| C § z f c ¤ §x cz kz " P c} z BuyAirlineTicket } cx Cz P} U §} U A x Cz parameters B £ ¢ § DC E¡ ¨ F¥ , ¡ E¥ ¦ DG ¢ H , I ¢ § C ¢ 9H EP ¤C ¢ ¤¡ 9H rz " î d Õ #z Cz " Q r{ rz "| z d c} z c C c § A n} z " " Qz " C c Fz n z " ª| C A n "} - Az " } Q} c A § c n c} z " x C r} nx Az " Q} U c A z " A §¬ © d c ã x Cz à cz " Cz " © " c C c § A c} §z " " A o §x c " ¨ C A} U U} § c A " U § z " C c Cz " c C z " C x C ¨ dz ¤ Cz " } § ©} § ¤ §x cz } § A n} c} § A c " 5{ rz "| ¤z P c} z # c ¨ Az " © w yx Cz f cz o n c C c § A n} z "z A "| c §z ¤ §x Az É Fc nÅ A¼ ¿ Á C c " c F o c ¢ c 5 z " C x Cz specialization c 8 x Cz "z n A z C " A c A "| A C P P c reuse " P nX F C U} n z C A U} § " U} c C §x cz mapping c F " c C z " A §k| Az #z "z C} Q Qz dz n c C c § c c} §z " c ¢ §x Az composition c # Cz " ç c C z " A §õ Q P c F A § U} c §z c C n c c} §z " â § # c § c c n} z " A C A n © Ø x cz g Az " cz " § c A Fz " c ¢ c É û CÊ Ê ¿ Á cÊ "Ç É È ¼ ¾ ¿ §Ê "È RQ û nÉ È ¼ -É » ¨È Ê "¿ ¿ Ê kù #Å C¼ ú "û » | C ¢z " A "| C U} C " } c C} n} C c " ser c} § z ë d Az r ¬} § cx Az P} U m F A x à c g} §z F C U} " P¢ C A Q P c c C c § A n} z " à Ux C A© Pz Ð C c} § ©} § A ä n A § â F} C} F " } § c U " c } U " U} § c å c Cz } } ¡ §} c m " F x Cz { rz "| m} Uz " Ó¥ c F} F A c d C U " F x Cz Cz c c C c § A n} z "õ A d c c} Cz "õ ¢ ¤z " " cf n ¤ c} n} C z " F n } õ P¢ C A | A n A § P "} U A} § A k c # c c C A C} C k} F} U C Uz d c Pz § §} c c ó{ rz "| ¢z " P c} § z "F C Cz Pk cz "z " r A n ¤z " c A § c} U ¤{ rz "| rz d c} z c C n c c} §z " j| C c ¤ #z ¢ Q c dz z "z F C r} C U " A z "X #x Cz Pz n F A C} §} z X #} U § ¤ #} Ux r " c dz z C A c A C d ª Az " Q} n} U} n Ë c §z d ¤} C c n A " r " A z C c Cz } r} ontology.

S 6T VU 6T XW `Y ba dc fe hg pi rq Xs ut wv hx uy v ¦c

vices § # A £ #¤ ¥ ¦ ª F d¢ A C r c ¢{ rz "| rz d c} z } U c d} cz " g| A m §x Az x c Pz "z " A § c F U} § c r U "¢ cõ} Cz " c U} Q} §z } U rà 1z " U} c rÏ ( C} U C cz " P " z " Cz A §} c C " A c F A n} } § c m " C } § c z P c Cz " © " U} § c A Í c Uz " §} cz c C k " P¢ C A C P c c} § Az "• Cz " Q " U} cz ä A cz " P U} §z " Fz " c ó c «z " P c} § z ä c d c Az " Q } Uz "ó " A capabi §} U } Uz "Ë x A} § x Ó " Ó| Az ¬ Cz © n ç " C c F §} ¬z P c} z C} n cz " "Ä • Cz " Q " U} cz ¤ × ¨ P n r} C A} § c} C c " m{ rz | z P n} z " x n " Pz Cz z " " P # Q c y " C c F " U} { rz "| ¤z P c} § z #z Cz " C U} c CÄ o C • Cz " Q " U} cz cz " } § Q} " §} c C~ c Ö x Cz c Pz dz Ð n A} U} U §z ~ " A n Az "Ð C Az " C z " c ¨} C A} § c} C c " 1z " P c} § z # Az # x c " ) Pz # cz " z " " P # P c " A § c F U} § z " P c} z # c F A n} } § c ¤ " C j} § A Uz " P n Az P §} c C w yx Cz #z " F n } P¢ C c n ® F C U} n z #{ rz | Fz " P n} z " c Uz " §} cz " § j Q c d C} Q} §| A c §z ª¢ C C c # z " A nz | C z n { rz "| ªz " P c} § z " §x A " r | Az " z z " r A r Qz " c Cz " r "| A c n à 5z " F " c } § X F d¢ A C r " | Az ¢ nz C c A C z ¢ nz U "} U §z r Qz " c} Q} z "õ c x Cz X C P c Cz d U} z 8 " c r " C | C} U } U U} z "õ c { rz "| z " P n} z " Q c y¢ C C c # z " A nz -| C "z F} n Az " c} § A ¤ " C dz Q} §z n ) c ¨{ rz "| z " P c} § z "õ| A k c nz C | C P c¢ Cz " Qõ C x A C | Cz "} U A nõ §} U¢ Az § " " C P c c} § Az Ó " Ó P c " cz " A §¬ } c §z " © " } nz § Ó C c A C z Ù x Cz } § kno # §z C cz r| C z ¢ Ux C " ¤ Ux Az " r Pz " " c | C c C { rz "| z P c} § z " ¥ P¢ Cz " m A g{ rz "| mz d c} z r } U 8| Az c F A C z " -} § c z P c Pz "| c z o cz - " A C dz n U A " C ¤ " cz " A -ready. § # A { rz | z d c} z ç F " Q¢ A C Ë c F A P} §z "r º A C | Cz c A} § © Qz " Pz " C c C c § A n} z "r x C c P n c} Cz ª x nz ª| c " ¢ C| A n Az ª Q c g c C { rz "| ¬z P c} z Cz P} U C U} c C f{ rz ¤ nz Q} § Az # Ux Cz ¤ § n yz P n} z " 5à )z P c} § z " 1 A o n} c} § Az } } c § # C| A z ~P rimitiveService " A ComplexService Ó § m x Cz c A §z " A o c 8 x Cz r{ rz "| A ¤ c P} § ¤} U} § cz z " P c} § z } U~ " } § c C} c} § c A " { rz "| -z Cz " C U "| c z c C C z " C P c c P " ë z A c Uë d Az " c} § z r x n F C cz "X C c F " C c §x Az f{ rz "| z " P c} § z " w yx Cz " ©z F} U# A o n A C c} C o} C z P " U} § c f| Cz § jz "z " o x nz Cz " ` " A o F c P} § ¤} U} § cz z " P c} § z " w yx Cz kz " P c} z k} f " U z " " C Ø ©z " C c Cz ¢} U8 Pz § c P Cz C ¤ z " A " F c z o n o c P} } U} nz oz P c} § z o} U¤ o{ rz | -" z "} | c §z C P c c d §x c " Pz " U C P c C c k c Cz " f c} § cz " r m c " U} r A C Qz ó r c A § P " U f C F A §z z P c} § z #} ~ n C cz " n ® F C } § c z F C ©} § } U §} cz z P n} z " 5 c Q §z Pz "Ð C c} Q} C o o} § A Uz " Q " §} c 8 c c C cz " P } n f| cz " #z z o §x cz F cz A o §x Az z " P c} § z " C ¤ §x c " 5 x cz # cz y " ¤ F "¢ Az x C c} z F¤ Fz " A " F c z } § cx C 5| Az x Cz } U C Uz " P " U} § c } §x www.amazon.com § ¤| C A # #| A n c¢ A Domain- Cz } §} f{ rz "| z " P n} z k c C n c c} §z " " Pz 8| A c} U § " c| C § "z " c x Cz z 8 cz " Az P z Ü 1 c #z " c " F A Uz " ` z f F " f Cz " ©} § Az o §x Az 8 U "B uy } Ux ä n| A "~B uyTicket à #x c} x äx A c| C § "z "B uyMovieTicket BuyAirlineTicket z " § " A ¢ Ø c A rÌ i x z " P n} z k} §÷z } §x cz " ¤ PrimitiveService c k ComplexService Ó¤ A } " z " #} x z " x z " P c} § z k} õ kz " c Parameters rÜ ) c ¤z " C F c z x Cz § ~B uy #} U x A " cz C P " Fz z Customer BuyAirlineTicket #} U o} § Ax Cz Q} § f Ux Cz Customer C " Q Fz §z " A « } U § Ôx c " cz A P " z z d~O rigin Destination DepartureDate fz ñ£ # c F "} -cz " } Q} § n A § c C c} z " Pz m c C d A z " r r Cz " P} §| cz C d Fz §z r c " § Az âÜ ) c rz " c F C Uz 8 x Cz c " Cz " c Origin n Destination " Qz Pz " Q} z F } U A " A z " c Ó §x Az ò "~A irport BuyUALTicket } Cx cz " Q} U §x cz "z A " P " ¤z " Uz " Q 1 Q C P Ux Az Qz Q} § } U C o x nz º Aiports #x A cz A P c Cz d Airlines } § A c Cz "~U AL ºw yx cz "z k c " cz k Pz " Q} U} c Cf n P c c} Cz ¢ " } F A n P A r # " c Cz " P} §| A} § A { rz "| ªz " P c} § z C P c Cz d U} z #x c} x A C C c Q f| Cz § Uz " | c d c¢ Az " Q} C c z " P n} z " } § c §z ¢ " Cz ¢ x Cz " ¢ C} C P n c C Cz " P §} cz ¤ × 1 § f " C #x c} § x r #z x A " cz m nz g} U r c C ¢ " cz " A z " x C C c c C # ¤ Pz " " z A § c F} ¡ z " ¤ Cz ¨} U C z P Q z " ¤ § o n } " §z o #} U §x o o} § c C} c} § c A yz d c} z ¤ " Pz ¤ c §x Az c P c Cz Q §} Uz c th z z P c} § z " ¤ c Fz r c o #x A} § x F r| Cz r} Cx Cz Q} § Uz n à §x Az r "z r c BuyUALTicket §x cz "z « # c C ó} § A C cz « x Cz «z " P n} z ¢¡ ¤£ ¦¥ CompanyName IntendedUse k c " U} º ¤z " x C c C c A " " z " C P " cz r| A n A C C U " Ag " z C Uz " A z § ãw ix A} Ug " P¢ n A ª C P c c} § Az "g Az " " Q U} § cz ¢ " C cz " © §} Uz " z " c # c ¤z " P n} z Ø A P n Az " Q } Uz "f " c r " A "| c} U} § U} z #x A} § x r} 8 c F C A §z F} U A Uz " P c dz "| c §z k C r " r| cz Ø Az " r © n " A § c F U} § z " P c} z ¢ c} § c cz " " çÒ # c §z ¢ x C " # ¤ A x r c ¤ §x Az ¢ F " P¢ C A r z " c} #} Pz " c "| c z c A § c n c} z " 5} i x Cz ¤z " P n} z A P n c} Cz ` x A C cz " k o C x o "z " o x Cz m ¤ " P¢ c C r k Ux Cz } C c} c} § A C k{ rz "| g} U z Az " } Q} Uz " #x c} x c C c § A c} §z "S} U 5} §S C} § A # " C ¤ " c A~ " A n} U } n A 5} U z -cz " } Q} § F Q¢ C A c S 6T VU 6T XW 3T W Y ba dc fe hg hi s pq c t v hx y v ¦c ¨ § © hv v hv hg © q w y " C c F " z g{ rz "| z d c} z rz nz A §} c n ¢ P¢ C A º C ¢z " C | C Uz r C C C z " o " cz " A ¤ § " C c F " U} " U § n A § P A " C z " Cz A Uz r r{ rz "| service dz Ð n Az " U ¢ C } § c z P A Qz " ¢ " c C c Uz " A U} § § r Pz " C c C º x Cz z " P c} z " ©Ø ©z " C c Cz " ¬¥ ¢ " P¢ c C Q c fz " Cz c } § c Qz Ð C c} § ©z "¢ A " Q c n Az " ¤ " C r jz Ø Az ¢| C c §x r %û CÁ AÊ Ç U¿ ½ CÁ ù #È Ç UÅ » c A½ c¼ A r » )¼ ½ CÊ È É É f½ C¼ Ê "½ AÁ C¾ "È ¼ É Å AÇ U¿ §½ AÁ ¤ù #½ CÀ AÈ AE ¤ dz " U} ¡ z j n A y d¢ c A n oÌ ® " x C Q} F} U U} cz #z P n} z } k n A z } § cz " "k Q C A } § c #} U x Input c " cz "k C C c §z c U} § § C U} § c z k " U z P C } § cz Output c " § Az c C A} § U} c Cz " r c r §z Ü ) c z " A " F c z F} §x cz o cz " c P Cz " © | C c c¢ C y x nz o ©z " C c Cz o #} U i| Az F A} § © Qz " Qz " A Az " Cz " c A} U C F A C c o #x Az " §x cz " y x Cz #| A c n¢ o} } § § c ¢ C 1 n A ¨ c y § c ¢ C 1 c ` c C c ¤ C P} C Í c F C z rz P c} § z "f " Qz ¢ n A z } § cz " r "f ¢ c 5 c} § } § c r c Q A C §} c Ckí Pz " P n} z "î o #x C cz n A U C A " Pz "Ð A C} U Pz z " C x C C cz c } C Q c P F §} c º| cz " #z z " r §x Az m " cz " C ¢ C } U C C} c} § c A ¢z d c} z " âÜ ) c z " A " F c z ¢ c C z " z P n} z Ø x c " | C c c¢ Cf Ø © §} cx C # Q c k Cz F " } C c c § cz Q} d o ©} U C c} § A Q } § cx A §¢ x n o z z " F x cz cz " Q P¢ Pz Ð A Cz U ¤ §x Az " A nz C c} § A g A C U} 8 x Cz m cz z z " U c Az © §} cx C o § " c F A §z " z x Cz z " P c} z " Í c C z " Fz " P n} z " Pz # c F A nz F C ® C P} § } § U} cz # c y " c F A §z " z " P c} z "r A} C Ë § " A} § " c P c c d F F} C Ë § C c C " cz "r C Ë| C C} § cz " A d c z " n Az " } U C ¬ " C c C nz Ë c A § P C A x à "~S equence, Iteration, -the-Else "! $# 9 %# ¤¡ ¤¡ & 8w yx c} P¢ A C A d c c} Cz "k cz " " Q " U} cz ¤ × ¨ §X d c o} C c} n} C A ¤{ rz "| z d c} z "8 x c " # " Pz Az " z " P k P c ¤ " C c F " } § f{ rz "| z " P n} z kz " Cz c } § c C r " C A} U §} c C § A d c c} Cz "S # c d c z " C " Q n F c Cz " 1 Q c y c C z " Fz " P n} z " o F c P Cz Q c r " " cz " A Ø r Pz " C c A º " c c F " } § § g r r A F A §z ºz P n} z z " Az " C U} n A `} U Uz S § k n c F " } § f} § A §z P n Az " Q " Uz f #} U x k x C z " P c} z " y} #} U ¢ Pz "Ð c C} U Pz g c Fz c r §x Az g} C Q c P F " U} c ºz C n Az " d c r C n " } § C C c} § } n ¤ " A ¤} U C z P c Cz " © " U} § c A S 6T VU 6T XW 3T VU Y ba dc e hg pi s hq dc t v hx uy v ¦c ¨ § © hv " hq ' i q 6y © © q w yx Cz ¤ Q A C U} § c o Fz § Cx A n S cz " F Q c S " C c F " U} #{ rz "| oz " P n} z #z " Cz A U} § c F d¢ A C C P c c} § Az "k} C Q c P F " } n "| C c C ¤ A " U r Q n j | A C ¤} F C cz ¢ C c C P c c} § Az ¤} U C Q c P F " } n "| C c A what x Cz #{ rz "| z P c} z ¤ " § A U ¤ C cz " 1 § c P Cz " Ë § Ô " C c F " Uz Óz d c} z Ó C C c} § } n « C } « c P Cz " Ë Q c z " P c} § z "ë ì " cz " c F} C Uz d c Az P " Uz " 1 #z ¤ F A ¨ U Fz " A c Cz ¤ x Cz ¤z " Q ©z " z " P c} § z ox C A C c k x cz o # c d C Ü 1 n z " A " F A Uz " y #x cz " k ox C A F " X| Cz } § A c cz " www.amazon.com C ò C z Q C § z " Az " A Uz "Ó §x Az BuyBook z " P c} § z " ¨ x cz ox C A k¢ c C c #¤ §x c " y x cz " ox C " cz o A C P x A "z k | C c c¢ C j §x A " # x Cz } U o Pz " c} " Q #} U ¤| nz Cz | C} U z " c # " c §x c " # x cz " j} § Pz " z "} § cz F| C c c¢ f " ¨ x Cz ¤ " C c Pz "# Ux Cz " C P C c} Cz " c à ) A x f c Az "Ð C Az " C z " c { rz "| fz " P n} z Fz " Az " A U} § c f " Pz F A n y A P y c ` x Cz F " Q¢ A C c ¨ C c A " Q y c x Cz ae © n A } n -| C z ÿ Az " } Q} U} § c ÿ C P c n} Cz Q c ä " C c F " U} z " Az " A U} § c A § r c P Cz F " A § c F §z ¢{ rz "| z P c} § z ¢ A F A n} } § c r " A } C Uz " P c Cz P } § c A c fz " cz " § z z " F } n A} § c} c C Fz d c} z r Fz "z " c Fz k c| h£ ìz " } § cz " A dz Pz Ð A C} U} U z õ C c Cz "Ð A Cz C z "õ c ¤{ rz "| z " P c} z z " Az " A U} § c F C 5| Cz z " C c Cz " Q c y c F A C z ® Cz § # A #£ #¤ ¥ ¦ F " P¢ C A ¢ n { rz "| ¢z d c} z F Q c # " c c F " } § o c F A n} } § c " A F} C Uz " P c Cz P "| c} § U} U ¤} §| C A} U § 1 C A n o º¤ -| A "z " Å nÊ Ç U¿ §½ AÁ ºù #È Ç UÅ » c C½ c¼ { rz c 5 z "} § cz z " " x ª{ rz "| ªz " P n} z º g " Action -z "} U x nz PrimitiveAction º c Ë ComplexAction × 1 P} § ¤} U} § cz z " P c} § z "¤ " Qz f n A z } § cz " ¢ "¤ C ©} § } U §} cz o " } n A S c F A §z kz " P c} § z "¤ " C F A §z F " U} § c A F× 1 Q} § } U §} cz # " U} § c A Pz } § ¤ C Q c C z "} cz " F "z } Ux Cz " world- " U z " Q} C o " } § c Cj Ux C i x C C cz F x Cz z F c ` x Cz # c P § c ¨ A x f " Cz | C} U U} C r x Cz cz " © dX Pz C} U ¤ d c #| A c n¢ A} § A r §x Az Az o U} § ¢ Cz " U jz UÄ information-gathe d} U A m " } n Ar Ux C 8 x C C cz x nz " cz " C U P U Uz c ¢ C A c # §z C cz " C ¤ x c " 5 " Q Uz " ®z " Cz " c §} c F c ¨ x cz # " U} § c F Ux Az nz C 5¢ C A c # C} z " z c ¨} C © n P " §} c CÄ n ® n z # n | C} C " U} c F c ¨ x Cz # c ¤ k " C c " A § nz o c z " C A § c} U} § A 8 k " §} c k Fz " U Cx C c § f Cz Q} | Cz o{ rz | z " P c} § z "} U# Ux C y} U ¨z " A | A §z # c o| C ©} § A o § o| Az " S §x Az ¤ n ¨¤ # y Pz "z " d x c k Pz " " c C} C f "| A n A ` " } § c C y 8 A C A n © ` " A § c F Uz " k Pz n A} U C f § ¢ C C x ¢ "F{ rz | Øz d c} z f n C c} §} c C mÚ # c #z " cz " P `} ¢ Cz " cz " c C} U A k c C F d¢ A C ¢ #z f x A c nz f k Pz " F "} ¢ " c C c } § o #} x Ø ©z " cz " k " ¢ " } § c Pz " c Pz "z " c } n Q c d " U} Ù §x cz ¬¤ # " c F C C} " m §x Az Pz } #} Cz C Qz " ª n} n Pz "z Fz " c r c cz " x Cz | Cz r " U} c ª dz C Qz "z " C U U} § c Q c P F " } X¤ ¤ " c Cz "Ð A Cz " A z ) A} § © Qz " Qz " A ) nz C U Cz ¤ cz " P A} § © Qz " Pz " C } C Uz " Q A " Qz " C ©z "z A U " U} n A~ © n Ë Pz " c A} § A | C c C r " C Ô C U " A c} § A z "Ð A nz C z "k c F " } § c C Ëw yx nz C U " A c} § A r c o F A C} § x C "X " C c Pz "z x C} U § " ¢ o c ` c Cz " A C| C ¤ Cz " cz " c C} C Az " } § Q} " §} c o § C c C " cz ¤ Q c Cz P} U| C} U A © A § n A} § A © A c F "} c~-× 5 § " ñ£ # c F "} ó£ z " P} U A U} § c ¦ ¨ " A c C " cz oí P× )£ j£ #¦ ¨î FÝ Cß Q { rz o " A n A y §x c} # § C c A " cz ox Cz " Qz ¨ cz " } P "} C z " " x c Ù c A { rz | z d c} z } z d « c Ù× )£ j£ #¦ -} C A} U dz Parameters Preconditions " A Effects w yx Cz H (& 6£ 6C " A 0) £ ¤C $& 6£ 6C nz z " " P P c k " A § c " U} § r{ rz | z " P c} § z rz " Cz A U} § c " c " Ó §x Az Ù P n z Ó c KnowledgePreconditions " A KnowledgeEffects Q c Ù Ux Az © c C P A nz c Ã{ rz "| òz P c} z C F A c} § } § c ¢ " c ¢} § c z P c Cz Q " U} n A m{ rz o " A Fz " y "¤} k §x cz f C U " A c} § A C F C A} § " ¤ §x A cz P¢ } U F c F A} § z Ux A} UØ cz " Az P F Qz C Qz "z " C U U} § c } C " U} § c © n P " §} U §x c " ¤| Cz ¤ c} § Uk x Cz } o Qz " " c C} U A Az "z " c w y P " c U " § c P# § ©z " " C z " C} y Q P c × )£ #£ ¤¦ § f F c " P} z " § o c A} § Q ©z " Pz " C y¤ # " §} c F Q c P F U} § ComplexActions y U} §¢ cz o c F C z " kz " P c} § z " y Pz o c F A c} § U} c C¤ c } C c} § c} C A Ãz P c} z " ¬x A c #z " cz " Az Az " C cz " A } z ©| cz " z z " x cz "z C F A c} § } § c A Pz n © §z " c Pz A} § " Uz " c º x cz g §z n §x Az g # c P í P C Qz c C A} § U} c C " C z Q Qz " §î f P x cz " f §x c " m c m C § rí Q x Cz r} C c A F " A c C C A # c z d c} z î F 8} Uf §x Az ¢ "z ¢ #} U §x r x cz ¢z " cz " A §} on-c §} c " §z F d¢ A C c 1 ¡ ¨& 2# 9 (3 (4 B C ¢ ¤¡ 9H § " Qz c F A nz c PrimitiveActions c ¬ n x Cz ComplexActions C} § A " C} " ¤ C P c n P " F} C r " C c A " cz "k " c | C c} § cz "k C P c z "k n Az " U} C " C c A " cz "r c A U d A A x "~S§ # A r c} §} § c } § §x A ¢ " cz " c } § U ¢z " c C c} U ¢ Cz d r c A § © "} U C U C A dz Qz Pz " A z # § fx cz " 8 C c F} ¡ z Cz d Pz "Ð c Cz " §# © n " c n " } § { rz "| z " P c} z f C} U C cz " P " Sz " Cz " C } n A ` c # " c 5 n} U} n ¢ " A ¢} § A Uz " P c Cz d } § c C Ì y C F C Uz # c Cz " c C Q "} n # " c k c Pz " Qz Pz " C z "#} U A C cz o cz Î c| A d x Cz " A C Uz " ®x C} U¤ U P " cz " `| A n A C# A c} § A i A § C y §x c " yx Cz o c Pz " Qz Q¤ § f C ©} § cz o} x Cz k A Q} n} C U} § z k x c} §õ Az U} C U} n r} Uõ z "õ §x A x C c C P §x c " x Cz } §¢ cz " § X nz § c ¢ ØÐ A C c z "F Q P c ª §x Az 8Ì © Aw i P " cz z¦ { rz "| ¢z P n} z " ` x c " x A} § c F C 5 # Pz "Ð C A} § Qz Ux C ) " U 1 C c z " §} | C C} § Az U P " cz 1 F C 1| Cz j n ¤ C P U} § C i } U ` " Q P} Uz " Q 5 x C ¨| C c} U Az " Q " cz " ¨ C )| Az A n P c cz " C 1z " The " § c " ä P¢ A n c å Cz " Ö c C P } c §ã} ae Qz U " U} § cz " U P "} cx n Q c P # " P C c} § cz " «£ j¤ ¥ ¦ -¦ ¨ º¥ c " c C Q "} c §Ã " «| Cz z " A C Qz z " r © n P C "z } rÚ # c d r " Cz c c} § ó{ rx C k} U F c Pz x C " z A n} C X} § Ux Cz f " cz " c Uz " x A C c n A k k " C A P n A P} § §z 8z C C c} § x c} § " P¢ C C c § X §x Az Fz " U} § c k x C ` © n n j jz o #} U § yz z o c Cz oz " c " C Uz o c A x " cz " c 5 Uz " x A C c n A " Î P} z " § " z " " x r Cz Fx c "õ ¢z # c c C P } c §f #x C cz k c c "| C A § d ¢} Az " Q} Cz r} § r{ rz "| rz d c} z 8 c C c § c c} z "8 c } § r x Cz ¢ c C c § c c} z "8 c §x Az " cz " A C P c z C C Pz m § Ax Cz " P} U } § A k §z P F} C c n A k Q P c x Cz "z f c C c § c c} z "ẽ ns c dz C © n yz " A " F c z A §x A 1Î c| C Q c C U P } § A 5 "| C c c DrivingTime } ¤z " C Q c P z " ¢| C f Cz " z " P ¤} § c} C k x Cz o c " cz 8 c DrivingTime Q P c ª z " P c} z r x C o Cz "¢ §x cz " ¤z A n } n m c DrivingTime Û z c C d } U C U " r U g| Cz m} Cx cz " Q} U z " r Q P c « " r c C c § c A r c c P n A c C d } U C U fÜ ) c `z C F c §z 5 x Cz #z " c § A "z "z " c i ¤ c F C 5 c ¤x C " cz z " P § } F n A § © "} U C U #} U x F ©z " cz " 1 x cz #z d c} z ~ x Cz } § y c F C C # Az " c f § P C § ¤ Qz " Q} } n A¢ n #x C F "} U f " P Q} §z Pk x Cz " r n v Cz " ¤ #x A " " A §x A c Q} §¡ " U} c F x nz # Pz "Ð C A} § Qz j § ¤z " cz " C z # z P U "} ¤ U d n U} c C o¤ § 5 x c} §} C Q c P F §} c k k| Cz oz " A c Az " k} k " k c C c § c A 8 x C " S} § A c} § c} C A S Cz d " F} cx Cz P} U § w yx C} f c C C Cz õ n A F c} A} n r c ¤£ ¤¤ ¥ ¦ m¥ " P¢ C A Q c à )z F " A U} § { rz "| oà 1z " P c} § z " k § j C ` c| h£ ìz " U} nz ¤ # F Az " P} U| Az c A `| C } # " A C P c " x " A F Ux Az P §} c C §z #| cz "x A} U C ¤} U oÜ ) c P Ux Cz " ® Cz § } § U c n A y£ #¤ ¥ ¦ k " P¢ C C wil y " c Cz " } U f " C c x nz ` C A| c §} } § c f n i c A { rz | f} Uz " ¬w yx Cz { rz "| z " P c} z F d¢ A C r Ux A " k #z nz Q} | Cz mx Az Pz m} §| Cz } C r Fz P nz º } § x " P¢ C C cz " cz " § c Az " F| A #à )ï ¨ " A " Q 1 c ¨ " Fz Q P n P 1 § ¤ A d c c} Cz # # A C} Q} z " c dz F " P¢ A C r " C c C nz Q c r{ rz "| à )z P n} z "~Ý ¡ Aß Q w yx Cz m Pz c § U " A " C c A " cz " ¢£ AML-à ¬ #} | Cz r £ c} § A z " © Q c d r| cz " z "z " à 1 U " A Q c d þ # A c # §z C cz ¢à ) " z " 8¦ ¨ | C à 1ï § Í ¥ Û # Î Î Ò ª C rÒ # c¢ A} U " § r x Cz z " } § c r r Q c § c #z Cz P} U| Cz m " r nz C k Uz " x C A c § c C #z gx A " cz Az " cz " § c Az " r Ux C kz " A n c} § U c C £ #¤ ¥ ¦ ª F " P¢ C A r § Cz " P Q c P «{ rz "| z " P c} z # c F A n} U} n A § °v ¶ " -¢² " ¢ ¶ ©¢² g³ ¦ § # A z " F n } F F P¢ C A 8 c { rz "| kz d c} z #z " c "| C Uz # o } Cz ÷ n P} Uz " o C " cz " A g z " x C C c c n} z " Ó §x c} ã C " cz " #z à n Pz z " c r c Cz ¬ " cz " A z " x C C c c C r #z " Pz Cz nz § c C} C r x C z n A § c} U k£ #¤ ¥ ¦ r " P¢ C A c { rz "| z " P c} z "S § ¤ cz " P Q c P g C c F " Uz " ¤{ rz "| ¤z P n} z # c C c} §} c C Í c C} Cz x Cz Fz C F c §z § ¢ f n} cz " f} § fà )z } § c fÏ C ¢ ¥ "¢ cz F o § P " cz " " P Q C cz " Fz n r Q c ¢ o m{ r{ { é ð g " c C ©z " Pz " C z " Ö c c g jz " Pz § Az " P Q c d Ë §x c} F ¢ c n A Pz " § j n} C ¢z " P n} z "õ " c } U "| A Uz k c x cz k{ rz "| C c c g } Q cx C f Q} § P 8 Q} c g Ux Az { r{ r{ é ð c C ©z " Pz " C z { rz "| C " cz C Cz Uz " P F} U Cz j §x Az # § c " } § c o " c o C z c i x Cz ¤ c C Qz " Pz " A z kÎ ` "z o c o §x Az n " } § c A n c c A § Cz " } § Az 8 A C c x Cz X F c C A P n A Q} z k F c Az k c d C A c Q § } § c C r ¤ § P " cz " } U C ¢| 5 ¢ "} Q " c r F} nx A x Cz x Cz " ¢ Q } nx A x Cz " A C Uz "r #} U x g c Az c Ø c dz { rz "| gz " P c} z " o| A c n¢ Q } § cx C o " A " P Q " A cz # § © " C C c P § U} § c § ¤ x Cz # "} U P A n P 1 Ux C P c C cx F C c §x Az " y{ rz "| Fz " P c} § z " § # x Cz P #} Uz 1 c c o F} nx A ¨| C c c¢ o ¤ Pz " C ® " © ¤ # c o # c C o Ux Cz " Cz "z o " P Q " A cz Q " A A n P U} c r " C r c o F c C " } n A k Ux Cz m n A Qz " Pz " A z n " } § c A C " A ¤ c C { rx C} z # Ux Cz # A P n z " A C Qz #} z A n x C ¤ " A o c Fz " #x A 1 z " c} § c C F Az P Q c P F what c c ºx A " cz g r C r r F "¢ Az Q " cz " X " Q P " C cz " z " c §} Uz "} Cz P} U| Cz F| C ¤ x Cz ¤ " cz d nz ¤ Az P c c kÒ z nz d x cz " Uz " 5 F " A A y C¢ C C c } } k cz " P r C} Q Q} C F cz " n z " c Cz rz §z § " § c " U r F ¢ Cz " c C d nz # P Q " C cz " z " c §õ © n c n A { rx C "¢ cz "õ §x c} õ U "¢ c} Q Q} A § Cz d © n P } ¤ C c ` x Cz o| c "} § §z n¤| A C ` Ux Az o Cz z " k 8 "¢ Cz o x C c} z C C n } §¡ z # x Cz # A P n z " A C Qz #} F c P Cz y § ¤z " A Q c P z ¤ c c C ` c C P "} U C U oÜ 1 c z " A " F c z ¨ n f F c n A Q F } ¢ Cz ¤ § Q Q n oz §z " z " o } Q } § cz " #x Az Pz ¤ c n " ª c §z " r Q " cz " r| C c A Cg A c} U C U ¤ # c ª F " x C " cz x Az " C A §z " §} c} § U} z õ §x c " " c Az "z " ¢ ¤ n P¢ " P n A C A ¤ # c F Ø c ¤ F c ¢ C c C Pz " ©z § fx c " cz o o y x Cz F c C Qz dz C z o § c " §} c c i jx n} x k #} U i Q Qz " x Cz fz z " §} c c #x C c z " r § § c P C " c A n C " 5 X F c k Pz "Ð C A} § ©z k §x c " c c 8 cz " ¨ C C P c c " ¨ Q c S § P " cz " U 1 §x cz " ¤ n C " z | A C A nz ¨ c A § P } § c c c c C ¢ § P " cz " U o c k x Cz F c " C A " Uz Ux C f n c Cz C " Q U} C ¢ } § " P d} Uz Q Í n A U P } c § 8| cz F A C ¤z " P c C " C o c Cz "Ð A Cz " c U F A} § Q ©} § C Q c ª " C c x Cz " ªx A C ¤ " | Az } C Ó Ó¢ Cz "z " Ó} Ó §x Az } U ªx Cz Ô " c } F c § U Cz " c C § " } § Q Ü 1 n P C A z " ¨ x Cz z A Q c P z " z " C y c ` n C z " n A § P "} U A U~} ~ c Fz §x c} C # # c F A C z y C cz #z U § § # A F c| H£ z " U} § cz ¢} Uõ § Cz " cz " c r " cz " C Uz " x C A n c C §x A " # } § U # cz " P Q c P x Cz z o § " Az "F c § ¢ C~a utomatically | C fz " C A § c} §} U A k£ #¤ ¥ ¦ F " P¢ A C c { rz "| kz " P c} z "¤ " A 8£ j¤ ¥ ¦ r F " P¢ C A k c Cz " n A U P } c § Í Uz P #z " A C c ¢} § C g A d A c d © " " cz " A Ø r Cz d © n P §x Az "z g ¢ Cb e " Az 8 x Cz Pz 8} F ¢ C x c " P} § | C} U } U § k} x A c k "¢ ¢} §õ " x c} §z nz C Cz Cz " c C} U A A C c " } § A C} n} C c " U P¢ n A § © "} § c à § # CzC " c C} U A #} ~ C F A C " U} n A " U } C z " C} § cz " C ¤} # x C} U~ "z C #z " § A ¢ C A c C x c #x C " j §x Az Ø nz n j Cz z " Cõ A n ç{ rz ¢£ C j Cz "z " §x Az agent § ¤ Q} U 5} U ¤ §x Az cz " U "} U ~ n ¤ " C " cz §x cz § © " cz " §z P Q n A U P } C U { rz F d c Az x C y F " A F c ` x Cz " §} c} § U} z j Az " " F j} §x o o Cz " P Q c P c o §x Az ¤z " F " c } § j{ rz "| C 1 } x n} F x Cz ¤ c C z " c ¨ c ix A} §©ë x Cz ` A U " z c S # c d¢ c ¤ " x C c Fz " ¢| Az 8 c} z " #z " ¢ " A § c F} ¡ " U} § c Aõ n j dz C | C Uz `x C} cx - z " cz "  CÈ Á CÈ ¼ ¿ §Ê » ¼ ½ CÊ "È À Cû A¼ È É 5 § # c y n} U} c ¤} §S § ¤ n A § © C ) C x F Qz " A "| A Uz " high- z " cz " y cz " Cz P} § ¤ A d c z " C A Qz " ¨ § o Pz " c Pz z " c i Ux Az " " A} U U} § A c C} Ux Cz z " P c} § z "S} § ¤£ #¤ ¥ ¦ k A} § A ¤ A| nz 1 n ® §x Az " Q¢ C A ¤ U d A c Pz Az " Q c C F A §z z d c} z r " A ª " P x A} § cz x Cz } x c " © "| c §z cz " Az " Q} C P c z " C A dz # c C c § c c} z "# o x C " y F c U} § c z F Az " Qj " f " z # §x Az " ¤ ¤ Cz c C f §x Az kz " Uz " y F "¢ -Cz " } Q} § cz " Cz P} § n P c z " C A dz Q P c §x Az c C c § A C F C f C| C ¤} ¨} U ¨ o §x cz "} U £ j¤ ¥ ¦ -z " A "| C Uz " o nz C U ¢w yx Cz ¤ " cz " C # c C k " c c F " U} § o A § c } §¡ z o §x cz o c P c z " A C Pz F j} U §x f Pz cz " ` o §x Az Cz P P£ #¤ ¥ ¦ ¢z " A c Az " 8 c C P "} U C U 1 Ux Cz ¤ C P Qz " A ) z ¤ c i x Cz ¤ # c P C " A " c "} U "| c §z z " P n} z " ¤ cz " Az " P z " A z " cz " C z r z "Ð c Az " C z r c Pz "Ð C cz " § o{ rz "| 8z P c} § z "# o Cz P Q c d x Cz ¤ § ¢ C ¬w yx A} U#} U# Ux Cz c} §} § c c C y " cz " A C z " x A C c n A #} Qz " §} ¡ } C c § °P¨0 $0 ¤ A8 A@ h£ u ' @ ¤0 " 0 64 m¸4 (0 ¤ ¹ ' $4 9 98 ! " 4 § # A " c A d c " x k} # n c} F| A "z " C ® " Q Q c P C} C f C¤ F C f n x Cz o § U Q} | C c z " c § A c} § w yx A} §#} C n Az "¤ c C " ` Pz C Qz "z C U U} § c C¤ c " c C z " A §¤ " A Pz " U " U} c C 5 x cz # "| c} U } U § # ¤ Pz " " c F "| A c C 1 " U} c C C n P c z " C A dz ~} F c C " C c A " cz A} C Ë Cz " A C U} § cz ª F " x C} Cz d cz " P} Q} § " U} c ¬ n z " P § "} A d c Az " Q } Uz " c g c C r A P n z " A C Qz " C ¬ x Cz ª C c z " c U} § m § ¬ c P c c} § Az c C A C Az " A c F A §z " Uz Cz g c C P " c §z "z g } §x Pz Cz § C Pz " c C} C f #z o C c { rz o Q} U P ` c cz " P c} §z r n A c c} § -| C z " 8 z " x C A c § c 5 Pz " } §¡ z r cz " Cz P} § C P c z " A C Qz Ø C A § c F} ¡ } § A c C d } n ¤ C x Cz " #z k cz " Q} | Cz kx A n ç} § Q} U õ} U C Ø x Cz X Q P " ¤z " # c P¢ } Ü 5} c C Pz •é f C F C A} § " z j} U §x ¤ x nz z " A U} § { rz "| c { rz r| A C} U c c C f Qz "z " P x c c Cz " -| C z " C P c c d F F} C í Pz U n U Ý Qé ß Qî r C n Pz "z " P x } U C r §x cz " cz " C ¢ c P n c P " F} C r " C c A " cz Õ # c C " C } U §k c " P} U " A Ukí Pz U c U 8Ý ß Qî o § C P c c} § Az r£ #¤ ¥ ¦ -z " C | C z " " cz " A C P c c P " F } § A " C "| A} U §} U ª §x A " A C C c P U # P} U U} § A cz " Az " P} § A d c z " C A Pz § Az " P Q c P F} C { rz "| mz P n} z -| C z m U "¢ c Model- | A "z C P c c d Fr n C P} z model o #x c} § x g} m §x c} r "z } x Cz " cz " A § ©þ #Î 5 " C program 5} § ¤ x C} U "z # x nz j nz Cz " Q} C P c z " A C Pz # jz #} x ¢ § ¢z " Az " C z { rz k d c Az k §x c " x Cz f} U C U} § c " A § A X § c c} § " " C c A " cz 8 Q c # Pz " n A} § A k "| A n A " U} § c ¢ " C ¢ x C " A cz " ` C Í c CÕ j n C í Pz " U c dÝ ß Qî P ¤ " cz " C n P c c P " F } § A " C c A " cz r| C C} U F c § c c f §x Az } U C §} c F " A § c 5 c P n c} Cz # j c F Az " } § A " A n A " cz # Q c y Pz " " } §¡ } § A ¤ c C " cz " A ¤ §z " x C A c § c C { rx Az " Az " o Pz Ð C Az U¢ cz " Az " Q} A P n z " A C Qz " A x ª " º cz " Az P} r U d nz r P Q " A cz " Fz " c g c P c z " A C Pz x cz º " cz " A A n A C z "} U §¢ n " oþ #Î Ë #} §x m x Cz n| Az o c f §x Az × 1£ #£ j¦ -} C A} U Pz " £ #¤ ¥ ¦ r{ rz | 8z " P c} z F " P¢ c C f Ux C y} U# Pz z " c " c y § o x cz F C P c z " C A Qz " § " f " c C# x Cz Cz Q P c C U P } § A U# § f} Uþ jÎ rÌ i A c § c} U} § A 8 c A " U} n z " § nx A c Ø © n ¢{ rz "| z " P c} § z " o x cz " cz " c fþ #Î ¬ C P c c} § Az "r § c c} § " z " A c A} § A c 8 x Cz c dz c C A} § U} c C¢ " A z " Q Qz c f §x Az r{ rz "| z P n} z " } § c A~ } § ¤ x nz A n A " cz # c ¨ x Cz } U C §} c F A § c Model-base A d c c P " F ¢ A x ª g c C cz " Az P} r c d c z " C A Pz " ¢ " Pz # P} U Uz " r} U r Ux Cz ¢ " cz " c # c P c c d F F} C § C c C " cz Í c CÕ # c C c #} §x A n A A d} c y¢ C C c # z " A nz ¤ c y #x C ¨ Cz " } § ©} § #z " P c} § z " x nz ¤ " cz " c ¨ } U ¨ cz # c ` c x A n z " C § o o Cz §x Az F " c "} U "| c z Fz d c} z ¤ # A x A ¨ §x Az " o " C C Pz what § à C c m| C A g A n z " c " § how w ix Az c ¬ Cz ¬ C P c z " C A P " A d c c P " F } § A Ó § " A c C " cz Ù c C d A ¬í Q} -then-z §z " r #x c} § Uz rz Uî C C cz " #} Ux c C z " C m nz Q} § Az } c C £ #¤ ¥ ¦ ¬z d c} z r C c C d } U C U c A § c n c} z " Az " P} | Cz Ux Cz C P c z C C ©z " Ów yx Cz " cz " c @j model- | C "z c P c c d } g A c rz " Cz " C "| c z º "m} § r C r| Az Az " C A U} cz " § f} C U " c } § §z k} k x nz f n A §z n c §x Az o " cz " c § ©Fþ #Î S ` #x c} x } C § A cz "k c P n Az " Q } Uz "k c F x Cz " cz " C ¤ " c } U §X nz Q # c P n Az " Q } z k c §x Az Az " } Q} #z d c} z #z ¤ Pz # C U} U} §¡ } C c ) C o Ux Az # z ¤ n y x Cz ¤ # c Q c kw yx Cz } C § " c U} } n ¢} F Az P Q c P Fz " ¢| A k Cz " A C §} cz 8 " x C} Cz " P " § A § " A U} z " A d c c P " Ff " Qz ¢} F c Øz Ð C Cz C z "8 c ¤ C P} ¤} § U} cz Ø } § c A8í ©} § c C} c} § A c " { rz "| fz d c} z î Q ¨ #x c} x f " Qz z A ¨ § o x cz F " cz " c y| C P c¢ Cz # Qz "Ð A cz " # Q c z " P c} z " rw ®x Cz F c Pz " ` C c " A § " cz n x Cz z o cz " Cz P} § ¤ A d c z " A C Pz ® ¤ #z } U § A U P " Uz Ë} § ¬ x Cz ªz " A " F c z | cz " n j } U x n §x Az " Fz Ë cz " Cz " ©} § A d c z " C A Pz S " U z " k j} U §x k A} § © Qz " Pz A ` A P " z z P¤ " A k Cz # c C U P } C U " F cz " Az " Q " Uz j nz d j C} Q Qz " Pz C 5z Ð C Cz C z " c ¨ " U} n A § °¥ ¹ ' ¨' ' ¢¡ { rz k d c Az k §x c " " A n z " c §z cz " Q} c c # x Cz k c n} f C P c c d F F} C " C c A " cz " Í c CÕ # c c º " A x nz r cz " A C U} § cz r " x A} U Cz " P r c r× 1 P n C A d c c} Cz k k A " U C © " © n P " U} § Ë Q c ¤ dz " U} §¡ } C ¢ c C ¤ " cz " C z " x C C c c C " x C} Fz " } n A ` #z o} c § P c C A z Í c CÕ # c C k C ¢ Cz " P} §| Az o} UF Cz f Q c { rz "| rz P c} § z m c F 5 c} §} c C Í c CÕ # c C g} | C C} U U X n r c r c ¢ §x Az } U C §} c g C C Q} U P -c P Cz " X § c c} § " o " C c A " cz Q c k Pz " c C} C "| A c C ` U} c k " C X x A " C cz " { rz F| Az " c} § k } §x f ox A n P S} U C U P c C A } § c k x Cz } U C §} c F C C r §x Az ¢} U § A U} c r " C C x Cz X z ¢ n ¤ x Cz ¢ # c Q } õz " A n Pz "z " } z " P ¤g c © C C } § c C " C ª Qz U " U} § c Agí so-" §z " ª Q cz " C Uî x n " Pz P nz dë ì Q z c x C " cz m m C d U} C n § Az } § r m} § c " U} § c %Y É í Pz U n U V 2 b 6 ¤£ 5B p g CG 5b 2 G )H 52 3 W% d( 1I Qb 6 )b ' `h 4 13 5@ CB dh A4 1G 5B 3 ih @ ¦¥ ¨ § ¤ } § c " U} c s } U #x c} c d ¤ A x Cz m " §} c Cí Qz " U c a î r cz " P Q c P Fz " Q P c © } U C} U } U " U 8 A} U U} § A c C} Ux Cz } U C §} c S 0 ow ¨x Az # Q C A U} c do(a,s) " c } § c " U} § c " c F " U} § c } U C k Az " º} § U A " U} n A g¤ } U § A U} c " A § cF x Cz n P " KB c F C P} z §x Az Q c § c #} C ¤z " U c ¨ " c} c Fí Qà 1z "z FÝ Qé ¡ ß ¨ Q c y nz U "} U §î • Q c C A C " } n A " 5 C} n c ¨ Ux Cz } § c " U} c F " c C • C z " c i § z " c} c F KB SS • " §} c F c Pz " n A C} U} § c A} § c F KB AP • " A} § c FS Cz " Q} | c} § A Ux Az } c} U §} U 5} U C §} c C KB S 0 • C A} §Ð c Az A " Fz Q c ¨ " §} c C KB UNA • C c "} § c c dz " c} n Q c y " U} c C KB DCA 2 T x Cz # j n P ¤} § c C z "} § cz " " § Qz z # c ¨} U § A } n A 5 § P U} § A 5 " F} U A} U §} U " } U C §} c S 0 " C ¬z n c c} § A ¬ § ¬ Ë nz } U C } § c ¬ x n P c C cx à §x Az Cz d © n P " C z c F r " } n a í Qz " U c f SY )9 Ae #p E © ¨b a ¦ C3 5B e% Q( )I ©b 6 5b ' `h 4 )3 5@ AB ìh date)). Ü )} c C Pz } U § c U P §z "f x Cz U Pz z c F} C §} c Ck} U A C C z " | C } U C §} c " § C cõ Ux Cz " c P k #} x " §} c C~a 1 h h G n í Q} § c A n Pz k x cz kè # P Q c o x Cz ¢ §} Fz ¢| Az } C cî Q Ëw ¨x Cz ¢ Qz "z ¢} §f C c ¤ " U C § n C A §z " c #| A c #} § Pz " Q z " U8 Ux Az Øz " d x r C z k} C c A z " r| A ¢ §x Az Ø} § c " U} n r " A § cfþ #Î { rz " Pz k #z X § ¢ x C C cz k ¢ C ¢ n jz k " c C Az " P Q c d Ë Cz " A C U} § cz k A § " A §x Az "} U8 c " z Ð C Az " C z "õ c ¤{ rz "| rz " P c} § z " } § c A~ ¢ c nz F x n} z " P x Ù c " z " C z " " c m z ¬ cz " cz " c Ù cz " Cz Q} § Ë C P c z C C ©z "} ConGolog. Í c CÕ # c C } § ¤x n} cx -z " cz " 1 § c c} # C P c c d F F} C § C c C " cz ¤ Cz nz § c Cz " # Ux Az ¢Û # c} § cz " P} Ø A ¤w ` c P n A § í Pz " U c U ÷Ý ß Qî P §f C Q} F d ¢ Az Ø} f Q c P c| C c ) A P n c P " F} C ¤ " C § ¤ A C C c P 1x C} nx -z " cz " 5 P n| A c ) "¢ F c " c C} U A n | C A F} ox c " § | Cz "z m Cz © n X " cz " C -| C z m C P c c P " F } § A í Pz U c U Fz z " U} § A ¤ x Az " c C U} C cî Q 2 Ò # c 1 # " " Az " z " " P " 5| c A 5 #z j} U § 5 Qz Ð C c} § ©z } U 1x cz " Qz " a a a a a a a a a a a a S 0 a n a j a 1 Figure ! " u U W y x ¨ 3 T 5x ¨ W $# Í c CÕ j n C X C P C c} Cz " oz c z " C Q " c n} " c A § Q A Fí ©} § -then-z " z " #x A} § Uz î F Q c F z " | n } C A Q} F} U } § cz ¢ A r c C z " r} U § c " U} c r " § C C " } § c Cj} § c 8 c x Cz " c C z " 8 U} c C y{ rz F Uz " nz o cz " U } U §z " f C} A} n c Í c CÕ ¤ c § c ¤ " C } § c " Q} " c §S § ¤í Pz U n U iÝ ß Qî ¨ C ¤} § c § # Az " P} §| Az x Cz | A "} ¢ c C P C §X n §x Az Í n AÕ # c § A r § C c C " cz " ˦ ¨z " δ 1 " A δ 2 | Cz C C z " 8 } § c A# " C f Uz " ϕ " c a | Cz -" z " 8 cz " A C f Q nz c §# C Az " c C k " } § c C y Qz nz } § cz " " S} U Uz U y f Q U Cz " c ë d " §} c k} § X §x Az o U " C c A " cz c x Cz Ù} U C } § c " A U C¬ } § x Ó " U r} U¬} U C " U} c " P c C z " c § A C c Pz "z " c w yx cz ¢ Q c § c #} C } f k C| cz # c x Cz ¢ c C P C §õ} x Cz Í c CÕ j n C ¤ " C c A " cz " A d} ¤} § U} cz } § c --a z " 5 c ¨ P c §x --ϕ? z "Ð A cz " C z -í δ 1 ;δ 2 ) A n A Cz " z d } § c} U} x C c} z j| Cz § #z z ¤ " §} c C~-í δ 1 |δ 2 î A n A Cz " z d } § c} U} x C c} z j n ® " P n A Fz " A U~--π W δ } Uz " P U} c --δ * c C C} } § c C -if ϕ then δ¡ B £¢ @E FB δ 2 endIf c n --while ϕ do δ endWhile A d c z " C A Pz --proc P(v) δ endProc w yx Cz z F n A § P A U¤ " 8| Az F Az f § f # P} U z F cz " Cz Q} § C P c z C C ©z " y #x c} x " Pz ¤ Ux Cz Fz § cz " c C z " o " §} c C} U Í n AÕ # c § A c )w yx Cz ¤} C § P A U} c oz " Q c o x Cz "z c C z " U} c C } §f} § c § §x Az cz " Cz d ¤{ rz "| rz " P c} z "í Pz " U c BookAirlineTicket î y n y c x Cz i c F A §z " ¤ " } § c C 5w ¨x Cz j Q c § c #} C " Pz z " c " F A Uz "~ c Í c AÕ # c § A atements.

while ∃x.(hotel(x)∧ 6 1( )( 14 1E )( 5a U% dh ¥ ¥ do checkAvailability(x,dest,dDate,rDate) endWhile if ¤ £ )( 1B 3 52 p g CG 5b 2 G )H 52 3 W% d4 13 5@ CB h 4 R SG 5B 3 ih I R iG 5B §3 ¥ then f ( 1( ¤ Af ¦¥ f y% Pa CY 5@ CB dh 4 13 5@ CB dh 4 R SG 1B 3 ih I R iG )B 3 ¥ endIf § © © Travel(cust,origin,dest,dDate,rDate,purpose); If I d3 56 1b @ cB I PG 5B §b ( 1' " 3 1Y 1b I P3 54 then " 3 56 )b @ CB 3 5I f ( 1( ¤ ¦© yI dG 1' 5@ CT 1( 5I PB v% Pa CY 1@ nB h ( 1I Qb 6 5b ' h 4 )3 5@ AB dh 4 `R SG 5B 3 ih I R SG 5B 3 ¥ BookAccommodations(cust,dest,dDate,rDate); UpdateExpenseClaim(cust); Inform(cust); endProc

w y ¢} § A U " c §} U Uz k Í c AÕ # c § A Ø A P n c P " Ë} § ¢ x Cz f c C z " A c # KB ` x Cz "| A| C Qz n} §} c Do(δ Y É Y É rq } Uõ Cz §} Cz " c r "õ §x A " Do(δ,s,s') x A n C #x Az " Cz nz s' } # ¤ z P F} c " U} C o} U n U} § c f Q c § c #} § A o §x Az Fz " Az " c §} c 8 c C C z " 8 U} c δ ¨ " Q U} C o} 8} U c " U} n s. Õ j} § cz " f F n Az " U ¨} z ) x Cz " cz " A þ #Î ` n ¢ f cz " Cz " ©} § o A d c z " C A Pz δ ` jz 8 " ¢} § A A U} § z δ } § x Pz " Cz " o § Ux Cz þ #Î C m Ux Cz C Q Pz " c o} U C } § c S 0 | C z " C "} U } U C | A} § A n} C X Q c # §x Az 8} § U A " U} n ¢ c " P} U "| A Uz É W à 1} U C z f} U § A } § c A Qz f} § ¤ C x Cz x C} U n P r c r " §} c Cm Q P c d 0 k x Cz | c} § A n} C Q c É cz " ©} § Az m z "Ð A cz " C z c F } § c Ak §x c " j §z " Cf r C z " © C # z P } § c " U} c c §x Az cz " Az " P} § A d c z " C A Pz δ W KB (∃ É ).Do(δ h S 0 s) Ü 1 c § c #} § A Ý ß Q F A d} F} U U} cz } § c A F n C z " " } § c C C m cz " Cz " ©} § A d c z " C A Pz Pz ª Q} U P -c P Cz " m z P r} § ¬ c C m " C c A " cz w ix c} r} § " A c " C " cz " c C Q c y n A § P A } U C ¤ c C c § A n} z "| cz " " Cz j z # " U " ¢ C Pz " c F "| A n A C x Cz z U} c C } § x c} § ¤ Ux Cz U " A n A " cz " )} } § C c P U " C 5 ¤ c| Cz " P cz x C Í n AÕ # c § c ¤ C P A n P " 5 " c Fx Az A z # c A cz " Cz d} o C P c z " C A dz ` Pz 8 A c C P c n P " F} U ¢ x Cz f c C cz " A §} c C " z " Cz " { rx C} z Ø x Cz x C nz §x Az c F C z " P C U C Qz n C P C c P " } C § A c} § A n c A ¨} § -then-z z z " Fz n z " § ® Ux Cz " C} Q Qz " } 8 Ux A y x cz " F " Pz C c nece " Q} § Cz " z " P F} U A} U U} § «ï " x nz Ø x c " g Az " z " P} U § A} § " §} C m C A} §Ð c Az rz Ð A Cz " A z r c o " §} c C Í c CÕ # c C C P C c P " Øz d cz r C z " F A n P ` c C Q "} n # 8 Ux Az F} U C §} c 8 Qz "z o c oþ #Î ® "# Cz n} §z " f} Ü 1} § c C Pz 3 å¤ m C x C ¢ x cz " rz " } § } § A z r z Q § } | c d C x Cz c r x Cz } U C §} c r U dz z Øí © Cz "} § c C Uz " r| C ¢ x Cz ¢è # Pî Q dz n A } C §x Az ¢} §¡ z ¢ n ¤ x Cz z " P x ¢ C z f c } § A } n A¤ §x A } c U " c §} U " Uz f x Cz f nz Cz Q} § o A P n z " A C Pz " w yx Cz Desirable C Pz " c} § " Uz " p È É ¿ U¼ Å Aü cAE §È "! QÅ Y É Ý Qé H¡ Aß #x A} § x #z gx A " cz } C U P c C C z " § } § A c P C c P " z # Cz " ` c C U P } c § U F Q A d x cz " y Pz A C z " §x Az dz z § ¤ Ux C cz } U § c " U} c CS §x A 5 Pz Az } U P "| c z # x Cz nz P à 1} § A z nz Cz " Q} m C P c z C C Pz "~ A º C c F} ¡ } C r c C d } C U} ¤ C z " P cz ¬ § à n A § P "} U §x cz ¬ C c} U| A §z Ëz " c n C } n n r } § c A x Cz Cz Cz " c C} U A ¢ C C c x C c x Cz " k dz f Cz } Q} Uz " c Ux Cz k C " k A} § © Qz " Pz " C P c §z " m¤ c Cz fz " C Qz " z " y §x Az 8 cz " Az P} o C P c z " A C Pz f} F c § X " c C d } C x Cz kz " P x A " z X Qz "Ð C c} Pz } § n C C} U A c r¤ §x Az k c §x Az ¤z " c Pz " ¤z " cz " Cz d} # c P c z " A C Pz # " o c} § z # # A C} UÐ C Az #z Ð C Cz C z ¤ c i } § c A 5 F C x } º x Cz r " r r d n} U} n A " ¢ C P c c d ó F} cx C U å{ rz g z " cz " Q " cz r x n} C c A Cz " z P } § c} g Cz P} U| Cz m cz " Az " Q} C P c z C C Pz x c " kx c " cz m §x Az z "z " " ¤ § | Cz ¤ Qz " Uz " c " A ) F j| C P c " F Q C cz ¤ n y Az P 1 #x c} U z # " 1 Ux Cz # " z } § z | cz "} U A F C c F} ¡ "| A §z ¤ F Pz " Q z " ) x Cz ¤ cz "} § Pz c y} § A C} c} § A n ¨ Cz " Q { rz ¤ " c C P " ¨ Ux A} U F ¤ " C} " ¨ C P c z " C A d ¨ c d c c P " r x C " ¨ j n A § ox c " cz | Az z n A U} § } U § # c C} Q} §z ¤} § A c P C c P " Uz C A " c U} § } § A z " ¤ n A § © "} U C U § ° ± ( # 0 p 50 " 8 A' w y Ó} § C z " Fz C c C " cz " A r §z x A C c § c A " r #z Ù © §z " Ô } Ux } F C Uz Fz " c } § c n X " g c C U} Cz Í c CÕ # c C m} C Uz " P c Pz z X} § $# # c} § c C× 1 d c c UÏ ØÝ ß Q fÜ 5} § © U ) z ¤z A Uz " C Az §x Az #} U C Uz " P c Pz z i F ¢ Cz # Az P c C " cons § P "} U A U} U A § c A} § Az " Q " U} c C o} U Uz " o x cz Desirable Q Cz n w ix Az } C Uz " Q A Pz z ¢ "r F c A} § Q} Uz m x c " o #x Cz c C Q C } § A c § n } § # c C n A §© n A " 5 n A § © "} U C U { rz # " ¤ F c C} P # x Cz #} c §z P C Qz " Uz ¨ § ¤ Pz " " z # } § c A Uz # c d c A C F| Az #z "z c P Q §} Cz " c 8 c A §} cz Fz " Az " c } § c A ¤ # C x 8} yz A C c} U §#| A c §x o x Cz Fz d} U c | A " ¢ C d ¢ A} § A ó " C ò x cz © z " Q} U c c A §} Cz z " Cz c } § c ò c information- c " x Cz d} U A " §} c C § Pz " A C z x cz z " P x c " z } §¡ z " § # A F} n z d c Pz " Uz " cz " P Q c d 8} C © n P } § c -c " §x Az " Q} C " } n A C x r "' EC )( F¥ E © 9H EG )( ¢ ¦ § hC ¢P 9H B (Yahoo's ¦ Ù c P} § c} U C ¤ A} § Qz } § c z " P c} § z "î or ' EC ©0 2# ¤ ¤G D 6C 21 B ¦ I £ ¢# 9 í dÛ C} U z " «¤ } § © §} cz " 0¦ Q } § cx C x Cz " A C Uz } C Q c P F U} § c z d c} z î c A U} § Az º ª " c § z " x Cz Pz z " c " C } C Q c P F " } n à Cz z Az " } U à x Cz Í c AÕ # c § A A d c c P " F m #x c} Uz ¬ c C } F c § } § A ó Ux Cz z " Q Qz c à # c ld-" § Uz Q} § A ó " §} c CÓ C x ò "B uyUALTicket yÎ 8 c A Q o} § C " U} C f d Ux Cz x c " kz " cz " C } U C c y §x Az } C Uz " Q A Pz z | C ¢ c d ¢ } § #} Q} § A cõ §x A ¢ nz } } c r} U #x c "õ F " Az C cz " C c ¨ Uz " F F A z " Q c ¨ Uz " P ¤} C U} § c o c y §x Az c P c c d F kí PÚ C F C c Q z " ¬ Q c § c ò §x A} § A C P c " x ¬ #x Cz ¬} § c U " c } U " U} C x cz "} U g cz " Az " Q} C P c z " C A dz Fw yx Az " # " c §z " 5} C Q c P F " } n ¤í Pz U n U 5 © U} § cx C 5 x Cz C c §z Cx A c §z " " c "} § | C} U } U "î 8 C x C A nz r rz Ð C cz " C z r c o " §} c C ¤ Pz "} C c x Cz } C Q c P F " } n r Ux Az " mx C " cz m " c §z " z " r Cz P} } U C g A C } U k Ux Cz C " z " Az " A Uz ¢ §x Az k " c } " Uz " r j n P -Uz " Q} C } § c A8í Qz U n | A c n¢ A} § A x Cz Q } nx A F c f §x Az rx C c §z î Q © o §x A} §¢ Cz Q} U Uz " C z r " C F A U} § c Q "} U # §x Az " Pz " c " c Uî Ü ) c U c #} § A ¬ C z Q C m cz " Cz d } § c à n z " P F} c " U} C } U C §} c ¤| C # c C y} C Uz " P c Pz z d A Ux Cz z "Ð c Cz " A z j n ® # c d -Uz " Q} C ¤ " } § c C x C y c F A P} §z ¤ x Cz ¤ §z d ¤} C U} § A o} U § A } n f " 8| Az Fz " cz " C z C ¨ C f #} U Pz " C U } § C z " © n z " Az " A U} § c n ¤ x Cz Í c AÕ # c § A Ø A P C c P " F } # c C Az " Q} U z A z C C U} c Crx C nz C c 8| Az "z " n} c § z " c «Ü )} C U § o #z " A Cz " f Cz r c C P C U¤ § f §x Az Í c CÕ # c n X § " A c C " cz o 8z " A "| A Uz o F c Pz Q z " A} U| C z z " A c A} § A A ª nz Cz " P} procedures. £ #z " U "} U ¬ c x Cz "z z " A Uz " C} § c A " ¤| cz # Q c A C ¤} § 8Ý Qé h¡ Cß Q w yx Cz ¤} c §z P n Pz §z ` " F F c A} § Q} z " o F c F F A C} §z ¤ #} Ux o x nz ¤ " cz " A | A d c¢ Az " Q 5 § #¤ #¤ gÝ Qé Ï Cß Q 5 ¤z " C dz Ð C Cz U Q c yz " P c} § z " x Cz j A c d c A d} §z { rz "| oz d c} z 1 " c o § C} n § x o Qz " A n Az " F x nz ¤ " cz " A U k{ rx Cz F x Cz à 1z " F n } 8{ rz "| } §õ X dz " U} § { rz "| z " P c} z "õ j} § U c F A C} " z k c} £ #¤ ¥ ¦ ® Í C P Pz " c § f #z f F C P " c U " Uz f n A # F d¢ A C ¢í P£ #¤ ¥ ¦ ¨ê 1 § ¤ Q¦ " A k o C|#} U k A g C c A| C f| Cz c " n A} § §z n X| n A k c § c| A § m} C c C} z " c § A dz z " c r n z m} § A Uz " Qz " §} C x A " U §z C cz ñ § # cz x C U §z " A cz } } § x Az " c " §} c c × 1 d c c o} § C Uz " z " c §# cz " c " } n -as-© "} U § c Pz ¤í PÒ #¤ Ü 1î P Ì ® U n U 1} #z ¤ " C P ¨ A P n cz ¤ x Cz " Qz ¤} ¤ Q } nx A ¨ Q P c rà ) oÜ ) P " A } § Î n c o P n A C Cz ð Cð c A §x Az #z } U A Qz " ¨ x c " 5} U 5} ~ C c 5 x cz # z §x A 5 x cz " Pz } US C x F Q } nx A § § # c C Pz ` c k x Cz o{ rz "| c ` jz o " A C c ` A P " U} " U § fz " d x k x Cz z " A U} § ©z { rz | oþ #Î ` 5 #z ¤ F C ¨ cz " Q} Cz # ¤ A n U} c o c i c -closed-# c P § Ò #¤ Ü 1 ¨ #x C} x 8 } § P C P} U| Cz c C z " d x f n z " ¢ ` #z C A n y A d c cz ¤ C P c C c} U} § c p } o c C ` c § F Az " Q} Cz " oþ #Î í P c C ` c C z " C î Q 1 x nz o} U ¨} § Q §z g{ rz fx C " cz k C c A §z " ¢ f} F} U j § c " -closed-j n P A n } c Q c ¢ A C c # z " C cz " ÓÜ 1 n n j} § A þ # P} U C¢ Az z " F " c } § " m " cz " c o} Ø } ¢ A C c c z " §x A} § A } 8} U } §¢ d cz } U m o C c} | c §z # c Q C¢ x cz " cz " A consid z " Pỹ} § 5 c C ¤| Cz } § c ¤Ò #z " cz " P x nz Uz " A "~ #} U x ¤Ò #¤ Ü ) A §x c} ~| Az " c z " c o C} Q Q} A § y o F " A " cz " ) o} C §z " f #z F ¢ Az F ¤ n " -closed-# c P § " A ¤ C U} n A ¤ " C } § A Qz " o x C F " " cz " c F¢ C A c #¢ r C P c C c} U } § c p } } U C §} c s } ¨} U 1} §S § Q Az #} x Cz j } U P C F P} §| Az z 1 c ¨ ¤ c d A Ux Cz # " cz " A c C} Cz " Pỹ} § 5 c C F| cz } § c § ° § ¢¡ 9 # 0 o §x A} §z U} c o #z #} U § A U P z # x Cz #z nz A U} § c o c y n A ` " cz " A 1 §z " x C A c § c 5 #} x Ø X nz Cz " Q} f C P c z " A C Qz X Q c "¢ C} C ¢ U P " cz " " © d C cz " Fz c § rÎ n| Í x Az " #} x Az " º P " cz " Q P c óà 1 " Ü 1 P " C } § § ¥ c A §z " Pz " c þ # A c # §z C cz Fà 1 " z " F#¦ ® "| C c P " n P í dþ jà )¦ ¨î | A C} Cz # } § x o x nz £ #¤ ¥ ¦ A d i£ z " U kÚ #z ¤x C " # F " c A § P "} U A U~-c Cz ¤ Az " P n A " ¨ C o c Cz ¤} Cx Az P} U z " Q P c r x Cz ¤ § | o F #x A} § x ox Cz #| Az c C c kÚ #z ¤ #} Ux Az F C ©} § cz ¤ P x Cz y §x A " Q © " y} § x Cz o A Q} § c} C f §} Fz } §¤ Uz "¤ §x A x C c C P y " A k ÷ Fz " | Cz c x Cz fþ # C c # z C cz 8à ® " §z FF¦ ® "| C c P " n P fí Pþ #à )¦ ®î d Sx Cz fx C "} U Cx Az P} U z " k x Cz c C d } U C o x C 8x cz C f cz g¤ Fz " P} " Q P} Uz " ¢ Q c ¢| C C} § cz " P " cz F Pz " " U} " C c C ® Cz " # 5 cz " C P 5 c P n c} Cz F A x ¤ #z "z " ¤w yx Cz Cz ¨ "¢ Cz " Ù Pz "Ð A cz " § Ó x Cz Ù nz C Ux C P c C cx Ù Az " ª} § c z P Q z §x A } § " A § c " U} § " U dz " §z g Q P c c C ¢£ #¤ ¥ ¦ ®ê ) § ¤ Q¦ c cz " A 8 c P c z C C Pz "3 http://db.cis.upenn.edu/W4F c C c § A C " 1 " C o x Cz j " cz " C ¨z -F } § U x nz ¤ Az " S #x cz " o} U ¨} U C c Cz kÜ 1 n S §x Az C A P C cz j n S} § U C § © " U} § c A ¨Ü 5} § c A dz b¡ f c d c c} Cz " F #} U A C c g} c § o jx C " ¨} xC C Cz C} U A ¢| Cz "x A} U C Ux Az k z " cz " r } õ f § Q z k © d c Ë §x Az k P n c # c C " A n z " C z C ªz " c §z C cz " Í c AÕ # c § c ª} § A §z P c dz z P c Az " P U} C ª} # # A} § c Cr× 1 d c c n w yx Cz nz n þ #Î «} §r ©z " C Qz z " A Uz " } × 1 P c § c z " A c C} C ¢ c # x Cz k} U c " U} n § C c ` f § Q C §} c c # x Cz fz " ¤ " C U} { rz "| z " P n} z F P¢ C C m Pz §z " c " A o § m x Cz cz " Az P} U P " cz " o A P n z " A C Pz | Cz } § A " Uz " c c cz " §x Az " f } Ux Î c| C P¢ Cz 8 c C P } c F F Q¢ C A n ¤{ rz x C nz X Cz " Q} Cz k cz " Az P} 8 A d c z " C A Qz k Q c ¤ d nz § A n C c } U¢ Cz k Ux Az k c Cz } U § A U P " Uz " ¤} U Fà 5z } § c b¡ C UÏ c c C c Q § j " Pz k Cz " c C U P } n Aõ c x C} õ # c P¢ C #z ¢x C c ª §x A §x Az " z # cz " cz " Q} A d c z " C A Qz # " ¤| Cz U §z " ¤| A # F A § U} C Uz # cz P Cz " x } x C} Q Qz dz n S Cz P n A " ` C X n P c C X " c C d } n £ #z " Az " C c} C f C A n X §x Az "z n A § P "} U A U r §x Az " cz " A U dr Az " C A U} cz ª F " x C} cz " P cz " Az " P " Uz " cz " P C} Q Qz dz n yz "Ð C Az A z "j n S{ rz "| fz " P n} z F " § Uj §x c " y Fz z " ¨ x cz F} c C} n} C c " Cz z " c c y §x Az # Cz " Q kw ®x C} U n y c C Pz ¤} U A nz j § §x Az # C c C Az z d } § c " } x Cz # cz " Az P} A d c z " C A Pz 5 " A ¤ §x Az # # " #} 1} § C c F} ¡ z " Q c y} § A C} n} C c " users.c P F " } § c -c " §x Az P} C f " §} c get_driving_time | A Pz "Ð C cz " §} U A o §x Az F A Q} § c} C o } § z F Q P c § ¤ j¤ ¨ jx C} x fz " C A# F Pz "Ð c Az " y ¤ # "x A c ¥ " C~ z " Cz A §z ÿ} § U~' 9C ©( ¦¥ ¦ p© H ¦G ¦¥ ¢ ¨ ¨ § 1 DP EH 0 F¥ 9P EH B E § 9¡ ¥ © ¡ EH 9C ¦ 6¥ ¤ z P c} § z " ¤ "x C c ¢¥ CF Pz § c P C §x c " x Cz n P} c} § A # §} Fz | cz " z "z à 1 FÜ 5 P " C } U C ¤¥ c C Uz Qz " #} Ï ¤x C c C Q à 1} § A z oÎ c| kx A "¤ o c C U P } § c S §x c " yx Cz o j} Ux Cz f C Q} cz o} § x cz o C Q} c} § A C} " A z } §S §z ~ x c " x A n A P 5| C c c¢ C} C ¤ # © U} § cx C 1} U C c Desirable " A x C C¤ A kz z " Uz " ¢| C f §x Az o} § c z P c Pz z " Q Í c Cz Ð C Cz C U " S "F cz " c} z " k " ¤ d P c £ y §x cz " cz " C yz " Uz " # § fz " P x k © n " f " c "} U | A §z " Pz C U " y " the C c} § c c n P} c} § A `à 1 " ¢Ü ) Q C } § c z " Az " A es Ux Cz f} U C © n P " §} c - c " x Cz " Q} C ç " } n get_car_rental_info, | A º Pz "Ð A Cz " §} U A §x Az º " Pz " c § } U C © k Q P c § ¤¤ #¤ ` jx C} x ¢z " A C¤ o Pz "Ð C cz " § k Ux Az 8 C c P c C P} z { rz "| z P c} § z # www.travelocity.com. ¤ C A F| Cz ¨ c ¨ " c "} § "| c z " P " Pz ¢ Pz c d Az A C r} C z Î c| x C k C r c C Q "} U A U x cz Q} U P ¤ " F} z " Uz " z " " ¤ d P c £ %¡ C ¤ P P c £ ¡ Cz C} õ Ux Cz ¢ § § #¤ #¤ P c F x C c z " 5 5 §x Az cz " §} c " U} § c C c} § c U A " C ¤ ¤ c C § # A nz n z " x A C c n A Ó C cz "¬ c Ó " c F C z " z ÙÎ c| C Q¬ U P " cz " " P Q " A cz " Fz " c y dz " U} C f " fz A Cz " cz F } Q c P Q c Î n| A y Q} § U U} C f} " C x F} C Q c P F " U} c F " "S " c "} § U | n z # Q P c g x Cz j{ rz | z " P c} § z " 5w ix Az z " A Cz " cz } Ó} U § c U P z §x Az r " cz " C Q "| c} § U} U # P} § z z " ¤ " C U} 1 3 2 4 5 w yx ¨ T R R ! 3 U R 0x ¨ x ¨ U { rz "| ¤ " P¢ C C c A} § ¤ " c C} U } n ¤ # Pz " " c} C #} U ¤Ü )} C § " A §x Az " cz " A 5z A CS " e- F "} z " nz ç § ªÎ c| C r A n } d } § A x C} A x C} r " cz " A C " r C } C Q c P F} C ¤x c} x C 5x C} USz " C Az Az } mx C "S| nz z " ¤ Pz " §z C w y ¤ " C A Pz " } §z # c Az # c ¨ §x Az # Fz Q} U § c ¨ c A i C C P c " x F} 5} §S} § A Uz " Qz } § A c C d §x c} Fz " cz " C } § c n j §x Az 8 cz " Az " Q} B UI PG 1g C3 52 c P n z " A C Pz 8 j} U §x ¢ x Cz z " A " ) " Fz # § 5| A # # C} Q Qz dz C 5 Cz " Q 5 #} U x ¤ C} Q Qz " ©z " C 5 Az " y c C U P } C U ï A| C o¦ ¨ A o " § o j} §x cz " § o U P " cz " ® Q P n à 1 " oÜ ) © " C } § o o¥ c C Uz Qz " " | A C y Q c Cz " P c C y Pz " c A à 1x Cz x C # x nz c A § P } § c y §x c " yx Cz U} §¢ Az # A d} cz k} # Ux Cz k U} Fz f} õ Uz "õ x c " Ï x C c C Q rà 1x cz k " U ¢} Cx Cz P} U §õþ jà )¦ ® d c C d } U C dz U P} § U} C } " P Q} z Põ Q c | C C} § Az õ U P " cz " U çÛ } U A x Cz " z o cz " Cz " ©} § C P c z " A C Pz " ¨ x Cz o nz C `z Cz A Uz "¤ o C} Q Qz " Pz C Sz "Ð A Cz C z c #{ rz "| ¢z " P c} z " m¤ Q z " # Cz §z P F} n} C X §x Az 8 c P} § c} C k } z ` Ux Az 8 " cz " A z " P x Az "¤ Q c © §} cx C # " ¡ ¢ ¤£ C ¦¥ EP © F # ¤¡ B C £ B ¡ ¨. à 1} U C z o §x cz " Pz " Pz f C k Pz " § ©} § §} c C n ¢ x Cz f Q } § cx C U `} c} § ¢ C §x Az 8 Q} U P Q } § cx C U S §x Az ¢} | A n c¢ AØ r " o c " r Q c 8ï A| 5 r} § ¥ c C z dz " ¤ " C c A ¬ § # Ux Cz Az " P F c § } § c Cf c ¤| C C} cz "f " A r nz Q c C " # U P " cz #| C ¢ A} § Q ©z " Pz " C j Cz d #} x c} Q Qz " Pz " c 5 c C d } n ~ } §z " ¤ # c " Q} z # c ¨ A} § Q ©z " Pz " C executions. w yx C} g c C § A Cz " c C c} A} n ª c n A DAML-enabled " cz " A z " x C C c c C P c { rz "| ªz " P c} § z c F A c} § } § c A § j C z º n } U C c A c| H£ z " §} cz ¢ # "f § Cz " P} §| cz ¢ c C F| A "} k " C c P c " x r " C r x Cz ¢ P U} § c C §z | Az "x C} U A o} § U Ü ) c P Ux Cz Cz § } U# c A z " P A} § A o §x c} z " x C C c c C #} § y " C cz " } ¤ " C c x
"A § " c i j{ rz "| F A " cz # C Pz "z C U " U} c F " c c C oÛ # C Q c P C C z " 5 #x Az " F { rz "| C " cz x A " C cz "} U § C ©z "z A U " U} n U " c c C 8 x Cz ¤ × 1 ¢ F A Ø| Az F c A} § Q} z " ¢ k C Pz " cz " A Q "} U n Pz `Ü 1 C A n Fz " c k Pz " U} | A §z ` U " P cz -" z } C Uz " P c Cz P } § c ¢ c { rz | Øz d c} z F| C X A F C A §z # c d c c P " F c # " cz " C Ý Þ Aß i} x Cz # Az z " § F "¢ Az #{ rz "| z " P n} z " c} § Pz " U § ¤ A C Cz Q U " C A | A Uz - dz " Uz ¬ ¬à )z F " c } § Ë{ rz "| áÝ Ï Aß r C rz " P c} § z "ã #x A nz ¬ A P n Az " P U} §z ca C "| A} U §} U } Uz " } n z " P Q " z "ẫ " C ãz " Q ©z " ä dz åz " A c Cz ae} U ae C A " F| c} c C c C 5 " x c} Cz -} U C Uz " P c Pz "| c §z Q c P F w yx Cz dz } §¡ §} c c r §x Az gà 1z " F C U} g{ rz "| ç} U c A Cz d j " r #} §x §x Az Cz nz § c C z " C S c c C z " A ` F P¢ C A 8 A c C " cz "¤ C x k ¤è ¥ ¦ ¨ yà )Ú # § jÌ Ý Qé Aé ß Q ¨ cz " P dz z " A § F£ ¤¤ ¥ ¦ ¨ê 1 § ¤ Q¦ 1 ¨ A 8z nz n C U F£ AML-¦ ® w yx Cz Q c P Fz " r " A n A " cz " " Pz Ë C c m C Q Q} } §z C U z " A C Pz "} § cz © n r " 1 " A C U} " U} c C ¨ C ìë ì c Pz o } § x C c c ` A Q Q} } z " c yz " F n } w yx cz o U " U z P } C c} U Pz " | A k " P §} Q} } } U A §z U §} cz " C z kí P¤ # î ¤¢ C C c # z " A nz X dz C Qz "z " C U U} § c " C c C nz g " c ª } U § } § ª Ux Az º } § c r c Az " cz " n A Fz " A U " ©z º n Pz z " A C Qz "} § cz § c c} § " y " C c C nz # Ux C y| C C} U f n f n f c è #¥ ¦ " C fï £ #Ü Ý Qé ð Cß F rz " A "| C z ¢ §xAz F P¢ C c " C F C} c C U " U} c c F o c Pz n C z " " C c C c } § " C ¤ c n} " 5 Pz } n A~| cz " #z z " ¤z " c §} U U} z "~ c ¤ x Cz { rz "| c { rz o| Cz U} §z " cz o x C ` o Q A C c " z " c § ` c F 5 c Cz " A ` c x Cz oà 1z " F " A U} § { rz "| #} U o| Cz r x cz " P¢ n A m n f{ rz "| mz " P c} § z "¢ F "¢ Az r §x Az " Ó c C C z " } C Uz " Q A Pz | A Uz " ª Cz -" c C dz n ª " C ñ " cz " C -Qz " C " w yx C} UỖ C Cz "" A C Qz "z "¤ c dz } z " f §x A} UF n C c Cz C { rz o C Pz z A ` " k C c P n x ¢ { rz "| òz " P c} § z F d¢ A C ó x C ¬ c P n c} Cz "Ỗ " ó " cz " A -} § c Cz nz C cz " C À CÈ Ê "AE Å C¼ Å cÇ U¿ ¾ "È ô jõ nö ® " A § c P} U C o x Cz C § A 8 z " c " ¤ " c } z " f } x ªz " P c} z c cz " §x Az " m #} U x Cz } §} " §} c Cr c m} § U c P n Az " Q } Uz "r " A " C "| A} U §} U } Uz " i x Cz o} c §z P Q " z 8 © n j} § ¤z " cz " A §} c C y " A k §x cz f c dz Pz "Ð C c} } U z " " A r c Cz Ð n Az " C z "r c ¢} § U cz ¥ ¢ " Q¢ A C gz C c § c} U c A § c n c} z "r Q " } §} U z #x C d} C c A dz Cz 5 n C c} §} c C 5 ¤ " C c} C c 5 C F C } C 1 § c " { rz "| z P c} z F d¢ A C c ª § # C c} §} § c } Uk c " Q } U " U § Pz " " U} ¡ z " r| A { rz "| z " P c} § z r F d¢ c A } § ç r n} §z " c r x Cz r Az " # r C P c 5 nz £ #¤ ¥ r¦ í P£ #¤ ï × ¨¤ r¤ # cz " C S¥ P¢ C C X¦ ¨ " C c A " cz "î ÷Ý ø Cß Q " } § f C z " " C } § { rz "| F d¢ A C m A n A " cz " «à 5 C x g -" §z É È ù #Å AÁ CÇ ¿ UÊ ù #Å C¼ ú "û p c k{ rz "| z " P c} § z "¤ c P n c} Cz "¤ À A¿ UÉ Ç U¼ ¿ Uü Cû CÇ È À kú "Á c½ Cý SAE §È À C AÈ Fü CÅ AÉ È í Pþ #Î î §x A " y " cz " C " F Pz " " c n cz " y ¤ Cz " P Q c P g # c " P} z " c ¨ "¢ A} § A c C} U C ¤ " A § c " §z { rz "| z " P c} z C} n cz " " ÿz " Cz " C } n A c F A n} } § c C ÿ " A } CUz " P c Cz P } § c A ów y g} § U A Q " Uz m §x c} A c} § c 8 #z m c Pz "z n X " r " cz " C tec x A C c n A #| C z " F c F ©z " C "| c §z # cz " cz " ©} § C P c z C C ©z "~ " A ¤ A § c F} ¡ } § A n A § P "} U A U x C yz A c § c} § " c 8x C c # "z "# c A { rz | oz " P c} z d¢ c A C w yx C} ~ " cz " A 5 §z x A C c § c A #} § Pz " U} §¡ z " F c} C ¤ Ux Cz j Q} U P -c d Az " ¨ " C c A " cz # c
x C C c c C ª #z A dz z " A rx Cz " Qz ç Pz | A n c Cz c " 5 A c} §| A §z Pz " §} ¡ } § c A~-n Az m #z m| nz U} §z " cz } #z U ¤£ d C } Q} Uz " c óÜ 5} C § " f c C Pz " §} ¡ } § c } §õ P C} n ¢z " C c c} § A "f #z kz " A c § c} } F A n © § n j n A c n} C ex Uz " C} § c Ar § ª x Cz £ #¤ ¥ ¦ Q " F} Q ª c z " " C } § { rz "| Ë F " P¢ A C languages. ¥ ° §¦ © ² g³ o± ¨¹ ¦ ! ± ¨¹ "¦ w y r Pz " " } §¡ z g c A r n} } n c à 1z " F C } § m{ rz "| à )z d c} z #z " Qz g î Pz " " U} C #z " " c §} F d¢ A c c ¨{ rz | z d c} z ~ x C 5z " c "| C Uz "S Ux Cz #| Az computer-} § A Uz " P n Pz § | C z k Cz -" A C dz n U ¢ C " ent-Pz " C "Ä ¢ " A | Aî Az " cz " § c A} § A Ø nz n z " x C A n c C k x C z C A § c} U F x n} Fz " F c §} 8 P¢ A C k C A C c P " c § c " §z Ø} U A Uz " P c Cz " Q | n} U} § k c #{ rz | Øz d c} z m£ # P} § c} C x Czr Az " cz c C Fz C F c o c C f F d¢ A C C " cz " c §z " x C A c § c A " Pz r x Cz "
y{ rz "| z " P c} z " ¢ nz c C P } c § ¢ A { rz "| " cz " C ¢ C P c z " C A Qz " w yx c} § " P¢ C C X §z " cz " © " cz "F c C c § c c} z "F c Cz " Q} Cz Ø z d F C ¢ n A z " C F x c " " Pz f § c Pz } Ø Pz " c "| c z 8 C x C " © "| c §z k{ rz | Øz d c} z X n A § c c c} §z "õ C { rz "| o nz C ¨ A d c z " C A Pz c C n C c} z " kw yx Cz ¤z " ¤ " A U} § j F " P¢ A C o c y{ rz "| z " P c} z " n z " U} cz " F P c d ¤ A} § § Q} | C c z " oþ #Î c i{ rz | oz " P c} § z " §x A "
" A P n c P " Ù n A c | Az c C " P " c z "z o § Cz " Uz " P ¤} Cz # x Cz #} c §z n Az " F} C Uz Q C Pz § U} § c o c yè #¥ r¦ ¢ § n Ü 1 n z " A " F A §z y o c F A C z " C P c n P " ç # c C k C c `| Az o "| C z o 8} Cz " c U} P x C <SALARY> A F Pz " Qz Q# 8 x cz o " z F} C Q c P F " U} c k "~< WAGE> C U " ¢ n Ux C x cz <DUE-DATE> nz } Q} z " º r{ rz | z P c} z cz " C A c d P¢} U z r F " r| Az r C} Q Qz " Pz " A F Q P c Ù x Cz <DUE-DATE> §x Az C A P x A "z " © dS} Uz " w yx Cz fï z " c C P z 8£ #z Q} c §} c ¢Ü ) P " ¤z " # c P¢ ¢í Pï £ #Ü )î j # Cz " cz " c Cz " ¢| A x Cz g{ r c P º{ r} cz g{ rz "| Í c C c P §} U A ©í P{ CÍ î r U " C c "
¤# # 2# , - then-else, C ¦ 6¥ EP DC D¡ EH ¥ ! ¢ # ¤z " w yx C} n C z " z c C y C} U C} § c o c y n A ` " A C P c " x o § £ #¤ ¥ ¦ ¢ F " P¢ A C c r{ rz "| z d c} z äw ix cz r c x Cz P¢ C c jz g C P c c} § Az g} c r Cz c C d } U C U~ C ¤ C Qz Qz " Qz " A z S 6T VU 6T VU ¢¡ ¤£ Y ¦¥ ' a dc fe hg hi rq s g ¦y v ¦c ¦ hq 6y c fa ¦© y
r C c P n x " A C Qz "} § A r §x Az c P c| C z " j n A § | Cz § rz C c § c} ¤¤ # ¤ §z " x C A} §Ð A Cz k Q c C " c C} U A c # " C r r| C c} U " cz " c Ux A ¤ c " ck ¢z "Ð c Cz " A z n { rz "| z " P c} § z # Qz Ð C cz " ~ ¤ " x C} z " cz # §x cz # c c " c ¨ §x Az # ¢ c 5 c Pz " c} § " z n §x Az Cz P Põ c C U P "} U A U rw yx n} õ} Uõ z " P U "} § c k k Pz " " c A "| C Uz k C c P n x A | C C
r n A} § Az o U} c Ckí Pz d c} z î o Ux C ¤ #z dz | C c x r C c} §| c z " A Ø Az "} U P "| c z mÜ 1 c #z " C F C z `} Î c| ¢ "¢ Cx C} U " cz " C k " P Q " A cz 8 Q} § c C n ¤ c # r Q c ¤ §x Az k Cz " P} c £ #z " z " | Cz " 8é -| c C x C} Uõ Az P c C " x Cz " A C Uz Ù z ¬ §x A x cz Ó F c | Cz Ùx A c Fz Ó c «£ #z " z " F| Az " ªÏ C MustbeHome(December-2,s) x nz ¢} c §z P n Pz §z F } U § Pz " A n A r § §x Az " U z " F c z " } C § n U} §} c r n ¤ x Cz ¢ d nz # A d c z " C A Qz ¢ #} U x r §x cz ¢ " c #z " % Ò # c P } § A z k A c Cz ¢ c x Cz X C c} | C Uz ¢ c § Cõ } U d ¢ x Cz rû nÉ Ç Uü AÈ & o½ Cù #È n A § P "} U A U ¤w ix cz r} c §z P n Pz §z o} §k | n z dz c x C F Ux Az Pz "Ð C cz " §z travel # c C rz " c § } kÎ c| º| Az } C r " j " g c £ #z " z " F| Az " rÏ c k #x c} § x n 5 © §} ~ j} U §x ¤x C} US Cz "
Az " S c Q} P -c P Cz " § c c} î #| A " ¢ Ø C ¢ Q c P x 8 kÚ #w y¥ ¦ c} 8 z " 1 c £ ì " c ¤ C P c c P " F k{ rz # Cz ¤ } § A Q c d " U} n oz n P " U} § c o c P c n P " { r c P § Ë{ r} § Az { rz "| Ë{ r d n Az mÜ 1 " § c P í P{ k¡ CÜ 1î 3 r § ªz " A U P " Ux Az } C Q c P F §} c © d c ã x Cz ¬Ú #w y¥ ¦ C P Pz A U § Ù cz " Az " P z " | C Ã{ rz "| z " P c} z " r¤ } § A Q c d " } § c -n §x Az P} C ¢z P c} z "õ dz X nz d © n P z " x c} § # " Ü 1 c c| A n} c C¤ C P " U} " y " A 8 ©} § c " A } y Pz " c C ¨ # c P - § Uz Q} C z " P c} z "S Pz C c 5 " § A U #z " Az " C z " c Q C z " Fz n } C f o Cz " c C } § cz o Pz n A} § A 8 §z " ç §x A S n Az " P §z "¤ c k x Cz z " " c §} f{ rz "| c Q c § c d U} A n P A nz ` z " A n P n Aõþ #Î r x c "
w yx Cz r Q} P " Q P c ¬ C c} § A §¢ x Cz r " U n o x Cz Í c AÕ # c Q c C P c z C C Pz travel(user,origin,dest,dDate,rDate,purpose), } U x §x Az C d z Uz " Q¤} U C § " c } U " Uz " f "# A n z " c y¤ P P c ¤£ CÏ fx C c ## x Cz } § c z P c Pz z " z " Az " A U} § A 8 x Cz o} U A Q
Cz ¨ C A| n U} " §} c ¤í dz U c iÝ Qé h¡ Cß Qî ® n ® " 5 c C y{ rz | ¤} U z w yx Cz r nz C ¤ §z x A C c § c A r C Pz "z " A Uz " x Cz Pz } ¢| n P c " A § r Pz " §z x Cz A §z §x A c d j n ® # c d¢ c F " cz " A -| A z §z " " c F " cz " c 1 c d c c P " F} C c w yx C Pz z " cz " c o z " x A C c n c} z " x C o Cz z " P cz ¤z " C U} c g Pz x cz Õ # c n Q F} § r A r " cz " C §z " x C A c § c c} §z ©z " Qz " Pz C z " "| A n cz " X §x Az g # c P¢ c Pz "z " P x Cz " P# yà )ï S c 8{ rz "| f " cz " A i z "x C A n c C oí Pz " U c U Ý Qé Þ Cß ©î d ® " c 8 x Cz c Q | C c ¤ # c P¢ Az " cz " § c Az " x Cz Û # c} § cz " P} U § r A F{ r "x A} § A c § c í dz U n U Ý ¡ ß Qî P ªw ix Az ¤ § " U z ` " U Cz " o ¤ C c } § c o c y " §} c o x Az " F " F Az " P} | Cz information-c " x Cz P} U C ¢ " C ¢ # c P -" U z Q} § A ¢ " } n AF c x cz k C z " P cz " x C ¨ o " cz " C 1 c A § o Az # § C U " § " x C} z " cz ¤ c c " 8Ü 1} § c U § " 1 " F c A n z k} F x Cz k Î ï § #{ « " z " F " } § c z U } nz n | C P c¢ Cz P} § A ¢z P c} z k © n knowledge-C C c Cz C y Pz " cz F c 8 x Cz { r c d f{ r} § cz F{ rz | 8í Pz U c U Ý Qé ß ©î d § # A j n P¢ k} U¤} § } U § " f §Î ï § ¤{ Ó} § X §x Az o nz o c " X " cz " C S| c d c¢ Az " Q} C " z " ó C c C c § c c} z "m § C A C c Q } c §z P " U} § c #} x º x cz r{ rz "| C Ò #z nz d x cz " Uz " k z c} § Q ©z " r} U r §x Az m Cz § } § U ò{ rz m " Pz m Q c C} C r c Az " cz " § c A} § A C gz C c § c} U} § A mz " F " c } § { rz "| F " P¢ C c A o #x c} § x g j} § A d c c} Cz ¢ Cf } x x nz ¢þ #Î Q c F c A F " cz " A § § # C ¤ " cz " A z " x C A c § c 5 Az " P Q c d 8 C c F " Uz z " P c} § z ¢ c C c} § } n | C "z " r c x c} §f ¤ " P¢ c C C w yx C} õ} õ C c # k A d c| A Uz " ¬ §x cz ¢ Î ï § #{ © n o C A} § ¢} §f " c C Pz } C " present. ¥ ° §¦ " g §¦ ¢ §x A} §¤ C Cz #z o C Pz z " c §z " X o n} } c k Q c §x Az o Q C C Pz o c z " P c} § z "¤ c x Cz ¤z " " c U} § ¤{ rz "| A { rz F c} } U C c C} x cz " o x C Qz "z ¤ " A § c " U} § c f U "¢ c# x c " #} U | Cz fz " c "| C Uz " | C k x Cz fz " " c U} § f F " P¢ A n c #{ rz "| z d c} z "~ `{ rz "| z " P c} z c} § c nz " { rz "| ªz " P n} z ºz " Az " C U} n A " c ª{ rz "| ªz P n} z C C c} § } n X " C f} § c z P c Cz d U} n A yÛ #} C f §x Az z § ¢ C¤ ¤ C Q} cz " Q y #z A dz z " c z " k " k C c P n x ¢ kz " ¤ " C U} o F Q¢ C A Ø c { rz "| ¢z " P c} z C Az S c C P "} U C U} o Ux Cz ¤£ #¤ ¥ ¦ © " F} § C y F d¢ A C o " C c A " cz " Xw ix A} § " P¢ C C dz z mz " P n} z " x C Ø dz c C C z " -} c §z P n Pz § | n z ¢ nz - " A C Pz " c U n " cz " C -Qz " C " { rz ¬ " U à C Pz z n z Ù c Cz ¬ " cz " A z " x C C c c C à §x A " rz A C c} U §ã Ux C} ãz " " c §} ¬ F P¢ C c Ù Ù Cz P Q c d " A § c " U} § ñ{ rz "| äz " P c} § z ò " c F C c} §} c ä §x A P n A cx ä §x Az ò C c} §Ð A Cz z " A C c} U § §} c ¤ n ® nz Cz " P} c P c z " A C Pz ~ " A C c F} ¡ } C ¤ c C U P } § A U ° g¹ ¡ ² gµ ¢ ¶ ¨ ¢² g³ ¦ w yx Cz n x C c Pr # c C U U} §¢ cz m §x c " A¢ gï S} § x C " © gÜ 1} U¢ Cz " " C £ z "| A c d x ¥ Õ # A} § A nz r Q c Ø Az " Q A 8 c} A} n A Pz " U " Uz g x c} §r j n P¢ AÄ oï n Ü 1 " Cz ¤ " C © z "} § © z n¢ A} § ck © n o x Cz } U ox Cz " U #} Ux z P n} z c C c § A 5 n A § P A } § c AÄ i C f §x Az F Pz " c} §z #z P i¤ C Í x Cz " z " P i C kþ " Q S× ) Q z " cz " Q c yx Cz " C © n 1 n Fz " A § c ¤ # c P " Q 5 c ¨ x C} U c " Az Q o{ rz # c C ¤ ¤ U} §¢ Az r §x A A¢ r §x Az Í c c C} U} § cz gï c| A n } Õ j d c A º k x Cz mÛ # C} cz P} § g A w y c d c A § P c k A d c c} C} C " } n} U} Í c CÕ j n c } C z P c Pz z " f Ux C o #z x C nz fz " c z " c Cz " k n ¢ C c Fz C z A i C kà 1ï Q c # x Cz o Cz o c §x Az o § # Cz ¤ # cz " A ¤ P x A} § z " § c Pz ºí P § #¤ ¤ î A Q # " Pz Ü 5} C § jz c d §z " © n " ¢ C A n j §z " A cz o §x Az o Q} § A A } ` C A C c Q S n x Cz oÛ jà £ #z " ©z " Cz o¤ C c " A z " R z "z " P x X× ) P i£ dz " §¤¤ nz C " f£ ¤¤ ¥ ¦ r× ) P C c P " £ AÜ ð vi Að nÏ -00-2-0579- P00001. °m ¢!ز g¹ "¦ [1] Ñ # 5ï S 5Î `z " i£ " F} U A~z 5 " U U " Î ï § #{ -¤ § A §z § U} cz " C 5Î P c¢ Cz P} U C à 1z " P n} z # Q c yþ # C c # z A cz -Í c F 5 c Cz C 1ï `z " Az # c ¤ §x cz #{ r c P U { r} Cz #{ rz | C õ ¨¼ ½ CÊ È È À C¿ Á C cÉ `½ w Ç Sc CÈ V AE §È ¾ "È Á CÇ `c Å CÁ ` Á A½ Cý SAE §È À C AÈ ô Ê Cû c¿ É ¿ Ç U¿ §½ AÁ ½ C¼ Á A½ Cý SAE §È À C AÈ -Å CÉ È À bd Hh CÉ Ç §È ù ee o½ C¼ ú É Fc n½ » (KAW'98), Î S " C © Q Í A " c " é ø cø CÞ c [2] w y 5Î `z " P cz " Q~-¦ ¨z "z " A¥ Ø 5Ü 5} x Cz U §} 5 " c w ¨ C¥ ¢ 5£ z " Q n A¡ c "{ rz " c} § A x Cz { rz "| ( Aw ix Az § j Q} § c} C )£ z "} § c F n Û U} F §z £ #z " §} U A # C ¨ x Cz { r c P § { r} § cz #{ rz "| ¤| A #} § U C cz " A § c P Ú # P Az Q 5à 5 Ü 1 Q " A } n à 1z " C Uz " | Cz é ø Aø Cø . [3] Õ # 5£ #z Õ } § " c F c W¤ # 5¦ ¨z nz d C z # C ¤Ú # A¦ ¨z " cz "Ð C Az Í c CÕ j n C c 5 # c C C P Pz " c 5 C P c c d F F} C j § " A c C " cz | C z " ¤ n x Cz } U C §} c F A § A ô ¼ Ç ¿ ¿ Ê "¿ UÅ CAE ö Á AÇ §È AE UAE ¿ U CÈ Á CÊ "È ié -Ï ¤í é Ï é ìî P C A n 109-é hi Cø c CÏ Að Cð Að n [4] Õ # 5£ #z C¢ Az P © Cï AÚ # c| C| A 5£ C¥ ¢ " Q } § c Aà ) AÒ # P " " C " A C C ï ` { r " C} U A nz d "¤ z "} C ¤ § A P n P " §} c ¤ " C ¤à 1z P c} § z "S n Ux Cz DAML-Ì y C | C z " ¤{ rz "| c õ ¨¼ ½ AÊ "È È À A¿ §Á c CÉ S½ Ç @c AÈ Rd AÈ Ê "½ AÁ cÀ ö Á CÇ È ¼ Á cÅ AÇ U¿ §½ AÁ nÅ AAE 1e o½ C¼ ú "É Fc A½ ì» X½ AÁ ¤Ç @c AÈ d CÈ ù #Å CÁ AÇ §¿ UÊ )e oÈ ü (SemWeb2001). w y n Az " Q 5Ï cð Cð é ì [5] § # 5Ì ¨ } ¡ } c C} 5 C ¤£ # C{ rz U C ¤ à 1 c Q §| A c -| A "z " #} c §z d © " z # §x Az internet. s ½ Cù #ù #û cÁ A¿ UÊ "Å CÇ U¿ ½ cÁ CÉ `½ w Ç Sc CÈ ô s U 2-ri A !© c é ø Aø v¡ c [6] £ # 5Ü 5z " Az " U "w yx cz #à 5z " F n } { rz | ¤ " C ¤} U ~¦ ¨ " A c C " cz " ö V XV XV ö Á CÇ È AE UAE ¿ U CÈ Á CÇ 1d hh pÉ Ç È ù #É Y f 5¼ È Á CÀ AÉ `Å CÁ AÀ s ½ CÁ cÇ §¼ ½ C¾ "È ¼ É ¿ È É C C c ¨é Ò # A nz F| Cz Uë £ z " z F| Cz Q CÏ Að Cð cð C [7] ¥ AÕ #x C U "| ¤z 5 " U " × 1£ #£ #¦ ---w yx Cz j× 5 § " A c} § A £ j n "} £ #z " ©} § A} U §} c F¦ ¨ " A c C " cz " AÑ #z P} § c é ì UÏ c ¢¤ # z Í z A Uz " ¨ Q c Compu " U} § c A " 5Ñ #} U} n ¤ " A Í n A § P c U Cw yz " x Fï Sz " C c P Í Ñ Í w yï #" Qø CÞ " Qð Cð ë £ Í à ow yï #" é Cé hi ¡ C § j c| Cz " P é ìø Aø CÞ c [8] © CÚ jz " C c z Q "¤ nz C ~ c F Ux Az { rz "| A ö V V XV ö Á CÇ È AE UAE ¿ §Â AÈ Á cÇ 1d hh É Ç È ù jÉ í P Q c P §x A c F} C cî P [9] © CÚ jz " C c z ¨ C ¤£ A¥ Õ # C} C cz " "w yx nz j£ #¤ ï × 1¤ ¤ # cz " C ¥ P¢ C A ¦ ® " C c C nz ö V XV V ö Á CÇ È AE UAE U¿ §Â AÈ Á AÇ 1d Hh CÉ Ç §È ù #É Y Trends Å AÁ CÀ Controversies C C c %i -A CÒ # ccz " F| Az " ë ì£ z " z " F| Az " ¨Ï Að nð Að C [10] § # 5¦ ¨ } U " A ¤ï ` 5à 1 } ¢ 3 "ï z n A P z #£ z " P} U C U} n Ü 5 P " Fz " j n P¢ í Pï £ #Ü 1î ¨¥ c Cz 5 " A à 1 " A § " ¤à 1 Cz " } Q} § §} c 5{ CÍ ï z " c F Fz C C §} c C C{ r c P { r} Cz { rz "| Í c C c P §} C ¤ Í " F| A Q} § A cz í P¥ ¤ î P CÜ 5z "| A Q C d oé ø Cø Aø CÄ A " c "} U § | n z n - } § cz "~x c § 3 ë ë ì # j U U c d ìë w yï 1ë ï Ì Í -rdf-syntax/ [11] à 1 5¦ ¨ C¢ Az C $© 5Ú jz " § } n "à 1Ú # § #Ì •é ì Uð é ì 5× 5 P c C cz " ¤à 1 Cz " } § ©} § " U} n A http://www.cs.umd.edu/projects/plus/SHOE/spec1.01.htm U Ü 1z "| C Q A " P " 5Ï Cð cð Að n
P §Ê ¿ Å CAE ö Á AÇ §È AE UAE §¿ U AÈ Á AÊ "È Y 5 n c é A C Cø ¨é --é Ï CÞ c Uz " C z " Aà ) c P} U C cz " -Ñ #z Q § n Aw y C cz " d AÏ Cð cð ¨é ¤w ¨ Í Cà 1 c C × ) P c c d F F} C j §x Az à 5z | A r¥ C A Q} c 5 C A Cz ¨ Pz " c} Uz " # CÏ Að cð é à 1 C¥ § P "} U x ¤ " C. c } § { rz " A " F} " à ¨ §z " Î c n¢ £ # P " Q U 5Ï cð Cð Að CÄ " c } § | C Uz j n A U} § cz ;Sz w S § § #Ò $ 5¦ y c c} § " Ü 1 c C C A " U} n A Q c y£ #z P} U| C} C # C ¤ § C z " Fz C U} C ¤£ # A F "¢ A} U C ¤¤ F c 5. C ~} ¤ § # Cz " ¤ C Q c P F §} c Environments.¦ ¨ § "½ Aû C¼ Á AÅ cAE cô s d ö ©¢ £ p È Ê "½ A¼ À ! wd » ¨È Ê "¿ Å cAE ö É É û AÈ ½ AÁ ¤d AÈ ù jÅ CÁ CÇ U¿ Ê ö Á CÇ È ¼ ½ ì» ¨È ¼ Å Aü C¿ UAE U¿ Ç h ¿ Á ¢ #AE §½ cü AÅ CAE ö Á w ½ C¼ ù #Å cÇ ¿ U½ CÁ Systems) 5Ñ # c § AÏ nÞ A CÒ # c ¨é C A c v¡ R -¡ A¥ d x é ìø Aø Cø c c F 5Ú # c d P c ¢ C "Ü 1¤ # # c Ü 1 5 § # Q¦ 6 C x Cz § # A § c n A ¤ § 5 Qz dz C z #¦ ¨ 2000 n Ú j P Fz Uz. z d ö V XV V ö Á cÇ È AE UAE ¿  CÈ Á nÇ yd ih É Ç È ù #É Y f 1¼ È Á AÀ CÉ `Å AÁ CÀ s ½ CÁ cÇ ¼ ½ A¾ "È ¼ É ¿ §È É C A c -i C CÒ j n cz " | Cz " ë £ #z Í c F A n z ià 1 } Uz " C z " Cà 1 c P} U C cz " -Ñ # A cz " P AÏ Cð cð é