samNPO
.z +Ҭ~
E-˝ tecx) z
services -~ -~ 2˙ ?¨
2z ¤)z )z 1)2 ))z
??} 2) n+} 2 ¥ < ~ zo 2z x+ 2?z + z 2 jz “ n} 2 jk) 3z z ?} «{H}7 2 )~ 2z 2z 3z x?z^~ 2 z 2z +z ¢) 2 x+ )z 2z 2z
pro 2 r…
+entz
-|)k 2z?}7~ + 2 + ) 2zz k~ -}7?~ ? -+z 2 n} ~ focusing `)˙o nEDFo¿7`+¨ ¨ ˘7˘ ? ~ +}7 x+z«ƒ¤ 3}7z anz +~5 + 3} } {Hz 2? | ?}) + ?z } x‹ ) ] 2 z + n 2z +z j z 7z ? n x+zo 2z n xr ~ + )z . {Hz ~ ? . #
yautomatz oic ? «x?z x+zBB q b4r?a4buk tuh iwb
Ontologies 2¢? z ~ +z
HTML jtask-n k-)~
DAML--B Logic)
#0!)=! Development )~
?} +3}7 mz &~ ?z 2¢+}?
|)?} ?x+ ?)zz #}z y#zw 3 )z XHTML 2z z
ByuyUA7LTicket
BuyLufthansaTicket )z|~ parameters , BuyAirlineTicket
, specialization composition
flight-over-3mapping
reuse .2}¢+z g?{Hz ontology. ser • •
+)£j⁄ -ready.
.? )+zz
?zH2~|+ zH? +?} ComplexService
PrimitiveService +x+z^ +?? 7y{Hz Domainz– Buy BuyMovieTicket
BuyAirlineTicket www.amazon.com
+n|) BuyTicket)}7 ˆ7} ?x?} x)7 +~B ? } +3¢+ ? ?z x+z + z z xo ⁄b¥ zox+ z 2 ?z thz BuyUALTicket
CompanyName IntendedUse z
service ?} +z
-the-Else
PrimitiveActions 2zm |?z z 3.}? r 2z z + ? |)z ~^|+z |+ ? .z )Sequence,?z
2$~ H2 wil
z 7} ?xn -ƒ¤ ?
The ens “ x+z )z ? )z + : +z what } ˝ ¥ z ? then-else, , +< n?x) y+ß)3…
ƒkH
H2+z~ x+? 7} k 2 x+
-thenmodel S0 KBSS
KB AP+ KBUNA
s
KB KBDCA |)}72
0 S 0 Figure
+}}7? so<) } x+”~ >" 13<>D !#(+* " @x+D)} program
Model-base modelwhat z &^{Hzok & ++ )|+z + } } #} ? ) .z ˝ ? ) 2.}7 ? } + 7x)zz z z ? ? ¤ ?~ +z ~BH k7~ n 1@!#$ (?* > 12/#* ! > ; 12!#" > !#$ (+* > !#1 If then y1@/ $#>#(+6" 13U>D !#()"<* @45D#/#12* *v2=+1 ; !ED 4 5(n*/#*
Travel(cust,origin,dest,dDate,rDate,purpose);
BookAccommodations(cust,dest,dDate,rDate); UpdateExpenseClaim(cust);
Inform(cust); endProc 2 δ 2 + 7z BuyUALTicket KB
S0 s) ~-? ld7 y 2z )z 2 m 2z 7z ~ . 2} -?|) £ pr)onc}z edures.)+z ? )~ thx)e} 3 http://db.cis.upenn.edu/W4F 3+ `+˙ ºi ? ) 7} . ‹ | . ?~ ) ~g z ? ˝ ? ?} } )z } ? x?zk
epresent.
* 7~12/ ) x+ informationknowledge2z executio?ns. ? §j+ +]
DAM)L-en+abzled~ +2
nz [7] x+“ ?‰+)`?˙ n| +7~b[1} 0]?§ x?zk3}
xn?z ?˙¿ 92z wy 3ł+ Compu
-¥ ł?ł +˙ł? nØ ~