ࡱ> nv~uqxn \o"Nm6yPNG  IHDRW?gIFxNETSCAPE2.0$NP%tEXtCommentGifBuilder 0.5 by Yves PiguetttPLTEff3̙̙̙ff̙fff3f3ff3333333f33f̙ffff3333D"ytRNSKFbKGD?>c0ugIFg 6 cmPPJCmp0712IDAT(-[ D!L!/H=խe{5FbCɽ!G\G$, ;C3lZE='cB~[NYq P6,"ŜӆLсne0 ̉ZC4çf&Mmjͷ\dB > ?t c!z܁!V?"" IFmsOGMSOFFICE9.0GIF89a?ff3̙̙̙ff̙fff3f3ff3333333f33f̙ffff3333D"! NETSCAPE2.0!GifBuilder 0.5 by Yves Piguet! ,@phd0 b i -Sr;*pH2M$Y,hiKrh\TKGO ~kGT]THT^^]Qm]m?!iQ!XRJBͻЏb! D!" jLNi"MȨ HX&A! ,@phd0 b i -Sr;*AH2MxZ,N2 QKehGPu KG  FIkGiT]T T^^]Qm]\?!kmU!!FhnbJ! ߯D!"jLm]V #4e%! ,@phd0 b i -Sr;*AH2MxZ ! Gס  zehGPTKGOG\kGiTT]TH^Qt  ^?!tƺ! RJBЍbD!" jLʙ! PG2k"9vJ! ,@phd0 b i -Sr;*AH2MxZM;pt, ehGP~TKGOG\kGiT]THT^}]Qm]m?!i}!!FhȞn  mTC!٩D!"jCÔ! VmBL?"Y ! ,@phd0 b i -Sr;*AH2MxZM;pt, ehGP~TKGOG\XGiTHT^}]Qm]m?!]t“!!Fhn~mÈb! D!"LǔVڄa,D#f%! ,@phd0 b i -Sr;*AH2MxZM;pt, ehGP~TKGOG\kGiT]  TXJT]m  ]Qm?!ȡkm!Fhn}TC ߫D!"jC]Vm!~(&hњ! ,@phd0 b i -Sr;*AH2MxZM;pt, ehGP~TEH  G\kGjT]TH ^^]mJX}?!Ɇ!!hBQmTC" ݫD!"! Lƕ]Vm!?Aяȭ[V;*rIENDB``!e>kL:Rxcdd`` @c112BYL%bpubEcTgaBc+1=+ n``⻍I)$5$-)a q;0uR V`!E-RFQ&@ x~"excdd``$d@9`,&FF(`TIALRcgbR vxb 7zjx|K2B* R0pE1At 2Bab`r7 wfjQ9A $37X/\!(?717k0@de<$Y ;pP~c(|#|/:0< 8?ķ{XQ0Cԣ$0HG'o vT>[ف,⒢ -`TTT楗fU"O)(K<A 27)?(0+W~3 0MmcdbR ,.Iq1 Xd:#er Wg@c:}S@F\_ŀU?#6 , B! ~ Ay 3F\^3cO,p Y&FFhD8AbŖ]}*S _a@X}pٷ 0_-n?t\U^aΊA0% tra7 n"n̄S6m-mBF\?M$8 -[omwPY1~HN*'$o韨!]GG0}P*@= K$$]>xcd``a@P+ 1002`b`g 3308%>=bahX4A7=ٓ*U* e e A9X ?61=H΀An $qlfcbA@Б (+L ^> -'enZFCN_~hǥ JFIF``C    $.' ",#(7),01444'9=82<.342C  2!!22222222222222222222222222222222222222222222222222;"{O( * b ^Equation Equation.30 Microsoft lQ_ 3.0fhttp://www.cs.man.ac.uk/~horrocks/Slides/index.htmlfhttp://www.cs.man.ac.uk/~horrocks/Slides/index.html` "http://dl.kr.org/"http://dl.kr.org/ Xhttp://www.cs.man.ac.uk/~franconi/dl/course/Xhttp://www.cs.man.ac.uk/~franconi/dl/course/ &Equation Equation.30 Microsoft lQ_ 3.0t ' Equation.30 Microsoft lQ_ 3.0&+ Chart MSGraph.Chart.80.Microsoft Graph 2000 Vh=,Document Word.Document.80"Microsoft Word ech8^varchieves/Logic Foundation and Service for Semantic Web.ppthttp://www.chinaw3c.org/archieves/Logic Foundation and Service for Semantic Web.pptz/ 0DTimes New Roman003 F0D[SOes New Roman003 F0 DArial Blackman003 F0"0DArialBlackman003 F0"@DWingdingskman003 F0PDNSeeOingskman003 F0`DN[_GB2312kman003 F01pDCourier Newman003 F01DўSOrier Newman003 F01DLucida Sans Unicode3 F0"DCMMI10Sans Unicode3 F0DCMR10Sans Unicode3 F0DCMSY10Sans Unicode3 F0DSymbolSans Unicode3 F0DymbolSans Unicode3 F0DCMSY7Sans Unicode3 F0DTahomaSans Unicode3 F0"DfNomaSans Unicode3 F01 DNSeLwiaSans Unicode3 F0@x).U  @n?" dd@  @@`` 6.1V.#&     ! t     ' &()*+,-.4b$\o"Nm6y 2$e>kL  2$RqV#]AF1s 2$E-RFQ) $2$3U;TNso&D "$ K$$B 0e0e     A@  A5% 8c8c     ?1 d0u0@Ty2 NP'p<'pA)BCD|E||S"0 f3@8> ʚ;2Nʚ;g4KdKdx6 ЖF0 ppp@ <4!d!d@003 <4dddd@003  h___PPT10H0D[SOal Sans Unic00TF0TDTimes New Roman00TF0T DLucida Sans UnicodeTF0T"0DArial Sans UnicodeTF0T" ppB___PPT9$nfFu88 PNG  IHDRW?sRGBgAMA7 cHRMz&u0`:pQ<!&?*+ S_ i ؚ~N]zfO =.6-# ؚ~N]zf,#6'6.$,{Nz N]zf;$ !  6c ; Description Logics* "HF$  1 NHN/fc;(DL) " NyWN[avwƋh:yvb__S _NSi_h:yb/g;0 ^z(Wi_TsQ|(Role)KN N i_ʑ:N[avƖT sQ|ʑ:N[aKNvNCQsQ| nNINQ~TKL-ONE /fN6;FOLvN*NS$R[vP[Ɩ wQ gT[INvIN(WN;)! 0!d3          $$( (,,b)+yrp"$%/fN_h:y]wQv;͑gT~Nb__S Fhg|~ (Frame-based systems) INQ~ (Semantic Networks) bT[ah:y (OO representation) INpenc!jW (Semantic data models) {|W|~ (Type systems) yr_; (Feature Logics) % wQ g_:_vhR % /fS$R[v ;`Oct{l~bk'3!  ' 3 ! !#$'3# 2 :NNHN(uc;    #$%  4 c;vSO|~g     N*Nc;|~S+TV*NW,g~bR 1 h:yi_TsQ|Role vg Ɩ 2 Tbox  sQNi_/g틄ve 3 Abox  sQN*NSOve 4 TboxTAbox Nvct:g6R0 ^!    @          6N*NʑIn a : C iff aI " CI <a,b>:R iff <aI, bI > " RI N*NʑInABox A iff [nA-Nvk*NlQt:N I " A N*NʑInwƋ^ =< T, A > iff [nTTA :N I " "\G G G G G FG OGg G G OO G G FG OG OG G g G OO G G G FG  G G g G G  G G G G FG G G  G G g   G L     4 lTIN.c$#$   6 c;-Nvct 1) N'`OS'`consistency 2) Sn'`(satisfiability) 3) S+ThKmsubsumption 4) [OhKm (instance checking) 5) Tableaux{l 6 S$R['` 7 { YBg'`}Z###"    # # # $$(#(,,0#0  ,5 Sn'`hKm{l  Tableaux{l#$$  1) "ĉR: S!" { x:C1, x:C2}"S x:C1" C2(WS-N Nx:C1Tx:C2 N(WS-N TeQs0 2) "ĉR: S!" {x:D}"S x:C1"C2(WS-N x:C1Tx:C2 N(WS-N ND= C1bD= C20 3) "ĉR: S!" {xP1y,& ,xPky, y:C}"S x:"R.C(WS-N R= P1"& "Pk l gzO_xRz(WS-Nbz Nz:C(WS-N y:NN*NeSϑ0 4) "ĉR: S!" {y:C}"S x:"R.C(WS-N xRy(WS-Nbz Ny:C N(WS-N0 h # C  +   # C  #       C     C          C          C     C      $#$ (C( ((((((,+, 0000000000004#4 888C8 8888888 8<#<  C C  C  C C #  C  #  C # C +                               $#$ (((C( ((((,#, 000C0 000C0 0000000 04#4 88<#<  C C C # C  + # C #    C     C     C                      (! bNv]\O <%&^:wvc; [IN N*N:wĉR/fb_Y ُ7hvh_ vQ-NC0D0E:Ni_ T x/fN*NSCQ0C(x)y:NMRcagN D(x)y:NhagN(:w) E(x)y:N:wv~0 [IN1.2 N*NwƋ^/fN*N NCQ~<T, A, D> vQ-NT:NTbox A:NAbox D:N:wĉRƖ0 ZZ'3 d"  2/  )"/% R`c;DDL6 &6%& h N[‰NLuvb__S^!j:NxvzQ[ cQNy~Nvb__SFhg TeNY`TR`$N*Nebeg;R;uNLuv!jW0:NR`Wv^!jcONy gHevb__St]wQ \NLu-Nvi_0sQ|T*NSO lQt0N[TR\O g:g0WteT(WNw b_b~NvsQTTЏ\O:g6R OR\ONlQtTN[vN\O(u ~Nh:yv^ۏLct [i_0lQ_TR\O~QN~Nv0TvlTIN ;NSON,gSOv~TF% dB 0&R`c;DDL. &6%& 1' R`c;DDL8 &6'6& " !"""H  /T2340' 0` fDW&cC3` f}MMM&3fff` 333___` RP.-W~` ;%k)LnV6ff` m'@Q0 ;9]>?" dd@,? " Ud@ lF `A@`<`  n?" dd@   @@``PR    @ ` `p>> """" 2"(   (T 0   "9   c BCDEF@   @`"`)    c BCDEF@   @`"   c BCDDEF@ ?D ? @`"k   c B CDEFd@ N   @`"*    BC5DE,F2@  f*^&55 @   `"ua%a*  B  ^BC5DE,F2@  f*^&55 @   `"* *    BC5DE,F2@  f*^&55 @   `"S11*    hBC5DE,F2@  f*^&55 @   `"9 *    BC5DE,F2@  f*^&55 @   `"3=X *  B  |BBC5DE,F2@  f*^&55 @   `"Caa 2    BACDE4F2@  ay#A5B=%% @    `"z   < "F   c BCDEF@   @`"`t)    c BCDEF@   @`"t   c BCDDEF@ ?D ? @`"tk   c B CDEFd@ N   @`"tt   6 "A2    B CDE4F2@  [ Ai   @    `" N#*  B   -BC5DE,F2@  f*^&55 @   `" 0*  B   -BC5DE,F2@  f*^&55 @   `"  0*  B   -BC5DE,F2@  f*^&55 @   `"0 *   BC5DE,F2@  f*^&55 @   `"@F *   BC5DE,F2@  f*^&55 @   `"F*   BC5DE,F2@  f*^&55 @   `" v*   BC5DE,F2@  f*^&55 @   `"F*   BC5DE,F2@  f*^&55 @   `" F   H2 "[i  <  "%   LUSQdkYkHrh7h_     0  "   8USQdkYkHre,g7h_ ,{N~ ,{ N~ ,{V~ ,{N~    6   "q   ^* ! 60  "    `* " 6@I  "1   `*H  0޽h ? fDW&cC3___PPT92p22 Network Blitz$$ 0 ##%%d#(  T   "  c BCDEF@   @`"`)   c BCDEF@   @`"  c BCDDEF@ ?D ? @`"k  c B CDEFd@ N   @`"*   BC5DE,F2@  f*^&55 @   `"ua%a* B  ^BC5DE,F2@  f*^&55 @   `"* *    BC5DE,F2@  f*^&55 @   `"S11*    hBC5DE,F2@  f*^&55 @   `"9 *    BC5DE,F2@  f*^&55 @   `"3=X *  B  |BBC5DE,F2@  f*^&55 @   `"Caa 2    BACDE4F2@  ay#A5B=%% @    `"z  <" 9   c BCDEF@  @`"` ) 5   c BCDEF@  @`" 4   c BCDDEF@?D ? @`" k5   c B CDEFd@N   @`" 4 t  6" H 2   B CDE4F2@ [ Ai   @    `" #5 * B   -BC5DE,F2@ f*^&55 @   `"Os * B   -BC5DE,F2@ f*^&55 @   `" Os * B   -BC5DE,F2@ f*^&55 @   `"0@J *   BC5DE,F2@ f*^&55 @   `"@ 9 *   BC5DE,F2@ f*^&55 @   `" 9 *   BC5DE,F2@ f*^&55 @   `" 8 *   BC5DE,F2@ f*^&55 @   `" 9 *   BC5DE,F2@ f*^&55 @   `" 9   H2"  z  < "@  n  0 "P h   C *ABTZBUL1A"r> ! 6pI  " `  I  LUSQdkYkHrh7h_   " 6I  "@ b I  NUSQdkYkHroRh7h_  # 6I  "` I  ^* $ 6DI  "  I  `* % 6I  "  I  `*H  0޽h ? fDW&cC3.0 >(    046H  P   H  \* x U    09H     H  h*"x(U d  c $ ?  H   0>H   @ H  8USQdkYkHre,g7h_ ,{N~ ,{ N~ ,{V~ ,{N~    6|DH  `P  H  f* x U   6KH  `  H  h*"x(U H  0޽h ? ̙3380___PPT10.+=9IS 0 zr0 (  ~  s *`RI  %   l  0A &??pr  &r  6A =??@ =^B  6D>PpPH  0޽h ? ffD3fy___PPT10Y+D=' -= @B + 0 \(  ~  s *xs %   8  <s? 2.1 ;-----͑vb__]wQ 2.2 ^US; 2.3 ؞; 2.4 P[; 2.5 ꁤw; 2.6 wPpPH  0޽h ? ̙33y___PPT10Y+D=' -= @B +0  (  x  c $Ĺs!`pp`    H  0޽h ? ̙33y___PPT10Y+D=' -= @B +0 @(    0\H  p \;NQ[(2&(  0  4% NHN/fc; % :NNHN(uc; % c;vxvzۏU\ % c;vSO|~g % c;vg {P[ % c;vct % bNv]\OO$3C c  $ 3 " $3 " $3  "  $$$3 ("( ,$,3 0"0 4$438"8       H  0޽h ? fDW&cC3y___PPT10Y+D=' H = @B +m 0  $(  r  S $s p  s r  S s `P` s H  0޽h ? fDW&cC3y___PPT10Y+D=' H = @B +s 0 *(  x  c $!s J  s r  S "s  s H  0޽h ? fDW&cC3y___PPT10Y+D=' H = @B +0 PJ(    <̗, ?"@ t zc;v^(u 4 x U'$  <ȟ, ?" P % i_^!j % gOSTƉV~b % 6qIN % zfOo`Ɩb % Oo`X[STzfcS % ] zvb__Sĉ % /gf[T,gSO % ĉR % & ,Wx U$3#$3 # $3#$3# $ 3 $#$($(3 ,#,0$03 4#48$83<#<$3    H  0޽h ? fDW&cC3y___PPT10Y+D=' = @B + 0 \(  \r \ S `s    s L \ <s ?"  vcO(uN6; NDRNUO~_g R % wƋv~g\4xOW ُ7h1\ N(uegqRct % [_S$R['`T gHevcteg vQh R*Yؚ _N/f*YbaN % [tQh FON6qS$R[vt vQctR*YNO0vpx U$3 $ 3%$3Z  % \ <s ?"  (fDLv͑yr_/f % _:_vhR % S$R['` [Oct{l;`\Pbk v^ԏVcknxv~g0 `4x U $3  $ 3> H \ 0޽h ? fDW&cC3y___PPT10Y+D='  = @B +0 `dX(  d  d <ܸ, ?". (WOYwƋh:yvb__Sel-N c;(WASY t^egS0RNNvyr+RsQl ;NSV(WNN N Np : % [N gnpfv!jW-t:g6R; % [N_TNǏi_R{|f[egh:y^(uW % [NcON_(uvct gR0 [NSN:N/fNWNFhgvh:yb__ST@w |nxvINyr_eTSU\0dkY c;\R{| f[-Nh:yTctNNct N(WR{|f[-NyvN [b[Ovh:yTctect :S+R_eg0 zx U0&3 & 3&3oZ. nH d 0޽h ? fDW&cC3y___PPT10Y+D=' -= @B +0 p(  V  0x, P` 3 c;vxvzۏU\ % c;vW@xxvz xvzc;vg {P[0h:yTctvW,g YSn'`0S+ThKm0N'`0S$R['`I{0 N,(WgW,gvALCvW@x N(WibU\NNg {P[ Ypeϑ~_g0sQ|0yr_Qpe0sQ|v YTI{0 TBoxTAbox Nvct0S+ThKm{lI{0 Schmidt-Schaub T SmolkaHQ^zNWNc; ALCvTableau{l 勗{l(WYy_eQ$Rec ;ALCi_vSn'`0 x(Ux Ug, ','3&3   }                  B&   @`H  0޽h ? fDW&cC3y___PPT10Y+D=' ,= @B +0 V(    08 P` % c;vibU\xvz A.ArtaleTE.Franconi (1998)cQNN*NwƋh:y|~ (ue~_gvel\r`0R\OTĉRvh:y~Nweg0 :NNc;Yt!j`͋ F.Baader\!j`d\O _eQc; fNc;lQ_vSn'` /fS$R[v0 WolterI{[wQ g!j`{P[vc;ۏLNmeQ|~ vgRg v^f(WR`[vWGP NYywTe^ c;/fS$R[v0 SYYe^ibU\(Artale, Wolter)0!j|ibU\(Straccia)I{0x U&3 7'9-  7*D @`H  0޽h ? fDW&cC3y___PPT10Y+D=' = @B +0 N(    0U P  % c;v^(uxvz c;(WYW-N\O:NwƋh:yv]wQ Y Oo`|~Catarci,1993 penc^Borgida,1995; Bergamaschi 1992; Sheth, 1993 oN] z(Devambu, 1991) Q~zfLevy 1996 Blanco 1994 ĉRSeida, 1992 I{ Horrocks[hR:_vc;ۏLNxvz v^^zNNN;FhgT|~ YFaCT SHIQI{0N TDieter FenselI{N\c;0INQTDAML~T weg cQNDAML+OIL vQ-NNc;\O:N8h_v h:yTctW@x0v^(WXMLSvQRDF NbۏLNibU\ (uc;egxvzINQ~T,gSO0Wx0UZ&3  + q;    "  H  0޽h ? fDW&cC3y___PPT10Y+D=' = @B +m 0 $$(  $r $ S  s   s r $ S ȓs p0` s H $ 0޽h ? fDW&cC3y___PPT10Y+D=' = @B +0 D<t(  t t < ?"P F% i_   ʑ:NN*NWvP[Ɩ OP[@b g(W!hf[`NvNXTvƖTgb f[u i_ SYi[P[ ]ZZv TsNRirI{i_ {x | Student(x) } {x | Married(x) }cx U$3  .G Pb ?P<7 t H ?"@[ % sQ|(Roles)   ^\'`(NCQ͋ sQ|) OP[ gS 1rN {<x,y> | Friend(x,y) } {<x,y> | Loves(x,y) } Tx U$3" "h  2 t <D ?"P$  1 DLvW,gCQ }  i_TsQ|@x Ug$'$4H t 0޽h ? fDW&cC3y___PPT10Y+D=' = @B +w 0    (. (  ( ( N8@?"`  x w Ƌ ^6x U& &( ( N$pC8c?" p 4TBox(!j_) Man P" Human " Male Happy-father P" Human " " Has-child.Female" & VLx(U G Ee E e  Ee Ee  E $e$  (E((E((E(,e, 0E04e4 $E ( N >8c?"pp  (fAbox(penc) John: Happy-father <John,Mary> : Has-childz4x(U G EEEE E$- ( TE0*0*8c?" @@  hct|~*x(UG   ( TT0*0*8c?"p@@ dcS*x(UG rb  ( <?" rb  ( <?" prb  ( <?" H ( 0޽h ? fDW&cC3y___PPT10Y+D=' = @B +0 <4  (   H  <h# ?"Pg .2 TBox /fcW~gvlQtvƖTPx Ug$'$#,D   0|  P [IN: _eQi_v Ty A P" C, A " C Father P" Man " " has-child.Human Human " Animal " Biped S+TXfS+TsQ|vlQt C " D ( C P" D C " D D " C) " has-degree.Masters " " has-degree.Bachelors N*NʑIn C P" D iff CI = DI C " D iff CI " DI N*NʑInTBox T iff [nT-Nvk*NlQt(I"T) x UG G g G G GG G  g G G Gg G Gg  G $g$ (G(  (G((( (G(,g, 0G0 0G04g4 8G8 8G88G8 8G8 888G8 8G8  8 <hs ?"P % i_   h:y[SO(NCQ͋ {|) OP[f[u ]ZZv {x | Student(x) } {x | Married(x) } Bird " Animal, Man " Human\_x U$3 GG g  G  G g G 0B 0` . 8 H s ?" M % sQ|(Roles)   ^\'`(NCQ͋ sQ|) OP[ gS 1rN {<x,y> | Friend(x,y) } {<x,y> | Loves(x,y) } Sx U$3" !h   8 <s ?"P  TBox[O@x Ug'H 8 0޽h ? fDW&cC3y___PPT10Y+D=' s= @B + 0 ,N(  , , <t ?" @  ^% i_e   h:yN*N[a/f&T^\Ng*Ni_ a:C OYTom/f*Nf[u h:y:N Tom : Student b Student(Tom) John : Man " " has-child.Femaleox U$3C CGG CCCGGGG Gg  G g G  GG G -<r / , <ص ?"  T% sQ|e   h:y$N*N[a/f&TnN[vsQ| <a,b>:R OYJohn g*Ni[P[SMary <John, Mary> : has-child<Ox U$3"CG GGG GGG G  GX ` , H. ?"Pq :3 ABoxeR /fcwQSO`b_vlQtvƖTPx Ug$ '$#,H , 0޽h ? fDW&cC3y___PPT10Y+D=' = @B + 0  <(  <r < S  s `  s H < 0޽h ? fDW&cC3y___PPT10Y+D=' = @B +0 0 //084s/(  4r 4 S 8s &  s Y. c  4 #"6* Pc  l4 HPs ?"    Human " Male8 B# B @`" j4 Hr ?"    CI)" DIV   @` h4 Hw ?"   tC" D:#  @` f4 H ?"   jTSB @` \4 Hp} ?"   $" has-child.Doctor8# B @` Z4 H ?"  r6{x| " y.<x,y>" RI y " CI} #  #    #       @` X4 Hܧ ?" f " R.C*#  @` V4 HD ?" nhQyϑ͋B @` !4 H ?"    " has-child.Male8# B @`  4 HX ?"  \2{x| " y.<x,y>" RI'"y " CI}#  #  # #       @` 4 H ?"  t " R.C8#  @` 4 H ?"  nX[(Wϑ͋B @` 4 H@ ?" #   ` Male(B @` 4 H: ?"#    %I \CJ ## @` 4 HlV ?"#   _ C* @` 4 H_ ?"#   N^B @` 4 H ?"  #  Doctor " Lawyer8B# B @`6 4 H  ?" #  CI " DIh #   @` 4 H ?" #  tC" D:#  @` 4 H ?" #  jgSB @`. 4 Ht" ?"C    [i_C,DTsQ|(role)RB, @` 4 H ?"  C U has-child  B @`` 4 H ?" C RI "%I %I  #     @` 4 H ?"C OR @` 4 H$ ?"C nSP[sQ|B @`  4 Hl ?"   aHuman*FB @`*  4 Hx ?"  AI " %IZ  #   @`  4 H ?" OA @`  4 H! ?" nSP[i_B @`  4 Hi ?" c  nOP[b @` 4 H  ?"c  nINb @` 4 H ?"c nlb @` 4 HL ?"c rg {P[b @`tB "4 61 ?"cctB #4 61 ?" tB $4 61 ?" tB %4 6Ԕ ?"C CtB &4 61 ?"  tB '4 61 ?"# # tB (4 61 ?"  zB )4 <o ?" zB *4 <o ?"ctB +4 61 ?"cCtB ,4 61 ?"cCtB -4 61 ?" c CzB .4 <o ?" c zB 04 <o ?"c ctB W4 6jJ ?" tB g4 6jJ ?"  tB o4 61 ?" tB r4 61 ?" tB u4 61 ?"  ` 4 c $A ??@ |  H 4 0޽h ? fDW&cC3y___PPT10Y+D=' = @B +0 0(  08 0 H ?"`w N,0W c;OnccOvg {P[ (W{USv i_TsQ| Ng Q YBgvi_TsQ|0 8^DL\S+TN N{P[ % TS(" ) 8TS(" ) ^( ) % ϑ͋~_gX[(Wϑ͋( " ) hQyϑ͋(") gW,gvDLyKN:NALC OY ALC-Ni_Happy-father[IN:N Man " " has-child.Male " " has-child.Female " "has-child.(Doctor " Lawyer)x U9$3 ! ! $3 $!$ ((,!, 0000000E04!4 8E8 " RI ,y " CI} | e"n}"#   #    @` @ H( ?"   je"n R . C(  @` @ H- ?" @ npeϑ~_gB @`  @ H- ?"P P  V has-child*  B @`  @ H - ?"  P  (RI )*R  @`  @ H|- ?"    PR* @` @ H 7- ?"   n OSB @` @ H - ?"P@P  x has-child-<  B K @`p @ HH- ?" @P  ${<y,x>|<x,y>" RI }#   @` @ Hp- ?" @   aR -,  @` @ H- ?"@   NB @` @ Hd- ?"PP@ &d" 3 has-child .Male4B @` @ H|V- ?" P@ D{x| | {y|<x,y>" RI ,y " CI} | d" n}##   #    @` @ H- ?"  @ ld" n R . C(   @`  @ He- ?"P`P nOP[b @` !@ Hpo- ?" `P nINb @` "@ H y- ?" `  nlb @` #@ HD- ?"`  rg {P[b @`tB $@ 61 ?"` `tB %@ 61 ?"PtB )@ 61 ?"@P@tB *@ 61 ?" P zB +@ <o ?" P zB ,@ <o ?"` tB -@ 61 ?" `  tB .@ 61 ?" `  tB /@ 61 ?"P`P zB 0@ <o ?"P`P zB 1@ <o ?" `P`tB =@ 61 ?" P 7@ H- ?" | 3 pDL-NvvQ[{P[* x U '$ h `  r@ #" @  * R@ H%- ?"  Man " ManT B# BB @` S@ H- ?"P  \(  @` T@ H(- ?"= P \^(  @` U@ HlE  ?" = RBottomB @`. V@ HE  ?"`   Male " MaleTB# BB @` W@ H|F  ?"P`   `%I*  @` X@ H j  ?"=` P  MTB @` Y@ H$  ?"` =  OtopB @`tB a@ 61 ?"` =` tB d@ 61 ?"  zB e@ <o ?"zB f@ <o ?"` tB g@ 61 ?"=` =tB h@ 61 ?"P` PtB i@ 61 ?"` zB j@ <o ?"` zB k@ <o ?"=` ` N s@ H)  ?"@ `  FSY g$N*N{|/fOSvT sShKm/f&T g<T, A>v!jW (ʑ) I +x U$3 zd P <d~  ?"j T% CsQNTbox T/fOSvT sShKm/f&T gTv!jW I O_ C `" +x U$3#      |H P 0޽h ? fDW&cC3y___PPT10Y+D=' -= @B + 0  p<(  pV p H  ?"2O 02) i_Sn'`(Satisfiablity)Px U '$ &$'$,  p <8 ?" `  6 [N*Ni_C YgX[(WN*NʑIO_CI/f^zzv Ryi_C/fSnv &TR/f NSnv0 hN*Ni_vSn'` [E N1\/f w/f&T gʑO_ُ*Ni_bz0OYi_Male " Female sShKm/f&T g'`+Re/f7uvS/fsYvُ7hvN0nx[/fl gُy$N'`N RbNe ُ*Ni_/f NSnv0 SYi_ student " worker [/fSnv0sSNhN(WLf[uvƖT0x U   0# N #   : ? p H ?" F2,$D0 40[ti_C/fSnv S_NNS_C NS+TN^0 x U G G  6 H p 0޽h ? fDW&cC3___PPT10+EjDO'  = @B D ' = @BA?%,( < +O%,( < +DA' =%(D' =%(D' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*p%(+8+0+p0 +g 0 0L(  LX L < ?"`- Z%(WwƋ^-NhKm C " D sShKm CI " DI /f&T(W@b gvʑ-Nbz.x U$3#        G  O  G g G G O F  R L HP) ?" D (3) i_S+T(Subsumption)Tx U'$ g$'$, v L <L& ?"  NOY bird " animal computer " equipmentp(x U#  #  # L <`# ?"`Z  4h%(WTbox-NhKm C " D sShKm CI " DI /f&T(WTbox Tv@b gʑ-Nbz25x U$3#        G  O  G g G G O v  H L 0޽h ? fDW&cC3y___PPT10Y+D=' = @B +( 0 O G @ T (  T T <T ?"`@ C " D iff C " D/f NSnv0 C "T D iff C " DsQNT/f NSnv0 C sQNT/fNv iff C "T A " A U # C ! #  C!                      C   $#$ ( (((((,!, 000000  T H ?"A  tS+TNSn'`vsQ|* x U '  rB T@ <D1?" 0 8    T   T H0*?"  S D4x(U2 T N00*?"P  AD$x(U2 T N 0*?"@0  AC$x(U2  T Hl$ ?"0 w  C " D  | x U!  H T 0޽h ? fDW&cC3y___PPT10Y+D=' = @B +0  PX(  X  X H ?"M# 24 [OhKm(Instance checking)*x U'$< X < ?"H i_v[O Student (John) bh:y:N John:Student sQ|v[O Father(John, Mary) [Oh"}h"}^\Ng*Ni_v@b g[OvƖT |bx U `H X 0޽h ? fDW&cC3y___PPT10Y+D=' = @B + 0 Pl@(  lx l c $       l S X3 0  "P@08XH l 0޽h ? fDW&cC3y___PPT10Y+D=' = @B +i0 `h (  h h B, ?"P`@ hOP[hKmi_vSn'` ("has-child.Male) " ("has-child.Male) vQhKmǏ z:N (("has-child.Male) " ("has-child.Male))(x) ("has-child.Male)(x) "ĉR ("has-child.Male)(x) "ĉR has-child (x, y) "ĉR Male (y) "ĉR Male (y) "ĉR ^ wv @bNُ*Ni_/f NSnv0@  #   #  #  #              $#$  ((((((((((((,#, 0C0 004#4  888888888888<#< C  # C  # C # C    ~& EH h 0޽h ? fDW&cC3y___PPT10Y+D=' = @B +0 px(  x x H ?" t 6 S$R['`*x U'$" x <@ ?"@0  Pc;-NvSn'`/fS$R[v0 vQ[ctW,g NSNR_~:NSn'`0")x U)( x HT ?"@ d  v7 { YBg'`*x U'$, x <t ?"a  bc;-NvctvQ{ YBg'`N,/fYy_ev0FO8^1uNg v N T vQ YBg'`_N gN[v]_0"2x U2 2H x 0޽h ? fDW&cC3y___PPT10Y+D=' = @B + 0 D<`(  r  S H    H  r  S H    H    0A  ??P x  d  S A  ??V  x  dH  0޽h ? fDW&cC3y___PPT10Y+D=' = @B + 0    L (    H ?"HT  %R`c; F x U&3g$  0h `  2 c;g_YS/f(uegh:yY`wƋv0 :NNQ(We NvSS b(WN[R\O Nv SS NSOcvQvv[{US'` _6q0W bNǏv^v!j`{P[egibU\[ NOYu vQ}T!j`r`0.ax U` aD  6$-   ,$0 < cQR`c; (uegc;NSO-NvR`wƋNSct0*x0UZG   <   Xc;   <P XR`;   B ` 6 $2  Bl%  R;NSO$^B  6D> 0 ^B  6D>`   < 0 ` hbT;NSOv R`c;    X  0 H  0޽h ? fDW&cC3y___PPT10Y+D=' = @B + 0 l(    <  z,     Hȓ   @'   H  0޽h ? fDW&cC3y___PPT10Y+D=' = @B + 0 x(  ~  s *F  %  F     s *"F  `; F  DDLINsX-N[ gRǏ zebv^!jTct gR9eSsXvr`MRcagNTgbL~g Action gRcWNWorld Model e.g., c gRvMRcT~gv͋GlegWorld Model TBoxcWorld Modelv~g @b gr`vcNpenc^be,gvb__Rce(WWeb-N (u7bbAgentǏg⋄ve__r`vOo` X[>eNTꁄvABox-N DLNActionvNNSOs(W ActionǑ(uTBox-Nv͋GlcMRcT~g ActionvgbL[ABoxvSSlOQ+OQ  +&(    >  H)F fz?"6@ NNN?N'  DDLDL Action 2G ,H  0޽h ? fГ̳tT TIMING8|3.1|11|14.1|23.4|3.9|19|9.6___PPT10i.B+D=' = @B + 0 D(  ~  s *SF  ,B3  F    0[F   + V   0dVF  ]Tt h\Zhongzhi Shi, Mingkai Dong, Yuncheng Jiang, Haijun Zhang, A Logic Foundation for the Semantic Web. Science in China, Series F Information Sciences, 48(2): 161-178, 2005 W3C-NVRNYbz'YOfJ\WWWb/gxON2006t^4g23-24ebRS_0(Wُ!kWebb/gv[ N VQYN[NR+R&^egN|i_ MRlvb/gNAm0 Overview of W3C, Steve Brat Overview of Web Development in China, Jinpeng Huai Logic Foundation and Service for Semantic Web, Zhongzhi Shi <M         s     $ -c0c0&J^c0cH  0޽h ? ###333GGGgggy___PPT10Y+D=' = @B +I0 ld(    6 p$D 0<4___PPT9 $c;NINWeb gUO:S+RNT|"y U $   H ?",$0 f` *x U'H  H ?"Pp$D 0<4___PPT9 &c;NProlog gUO:S+RNT|"y U    H, ?"  p$D 0<4___PPT9 &c;SN(WTNebۏLibU\N[U*y U H  0޽h ? fDW&cC3 } ___PPT10] +ڔ2 D ' = @B DT ' = @BA?%,( < +O%,( < +D' =%(D' =%(DP' =A@BB BB0B%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =-6B#slide(fromRight)*<3<*D{' =%(D#' =%(D' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =+4 8?dCB1+#ppt_w/2BCB#ppt_xB*Y3>B ppt_x<*D' =+4 8?\CB#ppt_yBCB#ppt_yB*Y3>B ppt_y<*D' =%(D' =%(DP' =A@BB BB0B%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =-6B#slide(fromRight)*<3<*++0+0 ++0+0 ++0+0 +0 80|(  | | H ?"@8 D hSe.s*x U'$ | <T ?"@   phttp://dl.kr.org/ http://www.cs.man.ac.uk/~horrocks/Slides/index.html http://www.cs.man.ac.uk/~franconi/dl/course/ S_ i cfwi Џb _wmO. INWeb v;W@x. -NVyf[ E Oo`yf[ 2004, 34(10): 1123-1138 jsx UEy Ux UsD#3, c0c0E c0FrH | 0޽h ? fDW&cC3y___PPT10Y+D=' F = @B +0 p(  r  S I !`  I  H  0޽h ? fDW&cC3y___PPT10Y+D=' F = @B +$%0 4(  d  c $   F   s *`F  @  F   H  0޽h ? ̙3380___PPT10.zqdI$&0 4(  d  c $   F   s *IF  0  F   H  0޽h ? 3380___PPT10.1'0 4(  d  c $   F   s *lF  @  F   H  0޽h ? X(=^rxp^RЀ3ÿ lHbP  @AL G@;b bW< ]P^b (yIUv2#T@C~ċxKhQpMjMZJaP҃؃؃T<4J?x5H#f6mnł< ުTO,xP{*ς83m?$P@&L̾yPR9ALhdH͗+.b@!ؐe(֎B/*=O@IVIԣ]ac32܂tC>`|}\1paQO3r?g4-uWͧ!#tf)muLOf~ ;hG #vhNAk[f7<`_y*Vaګ~/œ`'XZI29+eG%,0 FxWű7QHa%UkCҥT%$n԰Ӳ]Xz[`'랋PH c7TǐMR"CoR=:3B#A3ՍT.Kz"l:o'ӫt.rcj/6{ u4*Uq?;b2/Xߑ~k +y ]=~^#9x7_ (Zd,bxI}WHyz/$wb<[ɋK6 #5|h׽(=큣SLBItݘy'э5\ǐddK8R_W%jgِneΓ:F74q{6 xp^RЀ3ÿ lHbP  LPÄ!1 4axĐ% y@( XyT0cH!5wHtAFf V30d'2b`bDD`;PtGC  ?k?H}& i@c?^7XgAe>;Tl oLL$:`f.HCR@73(8?DaS{ ]8wd3KkaibIf~73|TH )p= (< e(PPs&q SҚ@lԶT t .CSU@\563PԃlwrUbPPʐ,3Oʈ*T(T LxX]lTE>3g(,P ^?Ж֥+4R~ZUQ[R~ʦ %1a_4!jB| nbbAM4F >T^Y#HDL|!&w޻{O `83g93s~խ4Q Ux…&E$y۶=+khxkZ ~>F4~Ȣ} i:Lei-"?4\﷯ _Vx9D+0IbEȳtb>@b[?t yN->5+Ͼօn?],'gꀕZ} ZMΜ! u@=h6F 4 @ -@;t>v6H21GՋn }ǦO=n܎/&>F#StD0R֜[-Zky˞'=$&tXj91R~kb1H|-515'ykss|x-ӵ +jsFW+tQm>ws 8חs q< w|[oMCy"bCVteZ k҂ېa" 5-FϕOԲ/|#]sM|Hpv(; /-'F7ޣx2!>qJY#O,}0wڎwPKvE2CW2.!4)}FIS"iS"^d._c)ItRO ^}Wu-'u9LRQ29ڔDRYU|JxARu:D]5„iB WGSNk#mCd>\xnJe gq_73f2̤%[P@9,4 pbo/\>ץpN nuú&G۾lMyߦ\ܦnoX'T){cE\HJc&] zG!Yx2|>;6Z4^*н\A+|mF#HuG])$r\17kL-a,o<" 4/MũIlsB_B_x/)YΎ|C1ζ/Qc-øE%2!+R=Z(>n`d(0trgFɺ0-%{$woϭDW!?j~~W=)VRp[-*_Y*ސ>QbwHp_OV>Cgz9 `x\ tTy&3I&$!@F\H#F$W$̈́D {-e[ִRYZiRA,e!En^jQ4H{93g^ Uu=k8j|'A$df ׫x{5F0r܆#SMf8xd 99d 4SSeD4ӑ'!OF|>M;uӐ#;É3~#LYYȳrVB3~Z-n&4[`TJCQdHw"Cs$ 7(cJ4@TSJ3e1} JV7_'#jr1 /}roexCri}c^Xn_XUӐBW^d%̫أ%}Cv@CBX4PTk*Й8]B|hpF빛 e?re*!,C^\\[ց_[H3׎אkρko_D>\C(Ϻ ANN6$*7L$9Cv}˅rȯz֍yٕ5NͰ߉G5sp,m~sc?kba8֔comOVV뮱_,Tb%"sߞFgw{ob' `ǒ{Bx`oݒ0x8.9 p䛡aػ[~vpW9"8R'"k!{)˽dd1sLcH]ܞ0'̈6^F0z|tjt t%}X2"|(2)o1p"_2NN/QQ%‰Jc#fV~V1q֩DŇٺ{=F=F7#ʉg T[w缊SSFq✨"EmݿtHw(2qNT@ }Slk?ebؾ)ntX[NpZ9#plblRs1پfq=k8x_})!/ez vG]NGdؙ5FNwvD/fЁ"3c<͒bIN?'FX{i|ǝy/ƈdv:3NmE uzQ=C;9C#;7C!hd7Fb.΢Dh}3tJT!N oR7D-~%Q0%`'%wUr&o+!FǾc: .ae.ևJAXȉ-Mv+{RNTN;kz7㞿Ժ^vPrL06ZΐoJԄHrx m5줥KMڱfچad|/NP RzHނtJ̆ pY8B w^7?4$5ypuI.wY].+5%xEkZ )ީ[rvNj2 6cv+eq%\)4 -~=sչ2P cSƾcj>d~$DME]@jQ~4uP]+ c§VtOCk8ʻTbv>SpR<װqXw7caxcMG(cUl60'f6KDL1*}FE#rHz&s}<9 .&J p*^Pw9c:Rq碜s]k\k;vgF#:r \lGDzZѩ ,;VZh7쎘ޓԒs.OM/]ȩ3Ry#@+E5r%qU^uS?+d5[ev/SinS˩/]^;3tԵKǏ::j&yot/ځ{gNŷ^}ХH1z+=o̚-+h o++BFN~:,+_^|fojcGC:S\'?|:JZfWH^(b=$g.I:SⷦlE{JOSx.ʙŤ& ɓ{R*UBb`z-d7+Ƞ |MP89AOՍ)Xɹ 9qi&|GK1џS(S[ۊhK4"mH_ߚ"Tr$?in /'9^qYU^#!.+ڼpl{ Q3ܙVυ k=f~'ΪԦ֑_u<_4a ͭ]੭ xl`Co[U!rWصgoOtwR*{]/w<ͳm9ΙK.Q$M]f t_͟ar%c6WF 5B$-iXt>a`(F^Y%4xN0f)a,]@NX'ƹ/Pbd˜#"ej1|VA23 䶧/G~1J g`""!EއV_/jǠq<#`mflL8HOKa=2Zfw B2Hue;7^Лhn`p7D̢3cly _)뼑Qѷp((tGE g:<(`-&4GSF4nH9ɅKEuI fhwo(f~@98ЦdsKx  .iVwBI0_7,j+Z'?)0; O]}p) ;[N|&g`;_-T%Y.SesD> H#4H#4H#4H }˷G^ -V4Ǜv#ֻO;$&uth(n\>=[t?# {5;y/$:/"G \<)3SH浪,_$~bu\ ַ6T|5H#4H#4H#4H7׹Cr@Ov%&|rYZAZ5J=w~Q5ݭnz߸4ľ xOBn'# 4 WO( *  hOh+'0Щ hp  4 @ LX` Mingkai DongTC:\Program Files\Microsoft Office\Templates\Presentation Designs\Network Blitz.potshizz88Microsoft PowerPoint@@ ] @C Ghg  ,T%&" WMFC <8c EMF?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklm t _+΢û_o(u7b+,    ;ĻʾIIP,)' ATimes New Roman Arial BlackArial Wingdings κ _GB2312 Courier NewLucida Sans UnicodeCMMI10CMR10      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklm _+ƼcPfN+,    ;ĻʾIIP,)' ATimes New Roman Arial BlackArial Wingdings κ _GB2312 Courier NewLucida Sans UnicodeCMMI10CMR10w  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmRoot EntrydO) @PicturesˠCurrent User /SummaryInformation(PowerPoint Document( ODocumentSummaryInformation8 }!1AQa"q2#BR$3br %&'()*456789:CDEFGHIJSTUVWXYZcdefghijstuvwxyz w!1AQaq"2B #3Rbr $4%&'()*56789:CDEFGHIJSTUVWXYZcdefghijstuvwxyz ?kYnAQ,U$ !j[!v@/KзsptKзsptUXBKзsptKзsptQ`]K ]K _-\]_-\]-XRnRnPhX"E)m(0L?# d2Iu/..Iu/..ю3,KзsptKзspuPJ$_&u؃ǭ=`KiP\:4?3( $~tY'$ w?G$ w?N} SMJ]Zm.9!e1ae'98 __-\]_-\].q0}XBKзsptKзspu^K{ٖA<I$Se\p ` qE_-\]_-\].3K,%Կ[??%Կ[?OXZQd2 zӬ,⻵c$m+ EKзsptKзspt5NS8Rf6 y*ʭ7h$ w?G$ w?K`9h RnRnh]K ]K _-\]_-\]-XRnRnhAw+;t!搋 M Ϯz.hK&>Ϯz.hK&>Ϯz.~p4h3Z40SFRA gk{;[;n{ʹTJ戈JG#u_tqT_tڧh;%kFnSQoȗMF[dlfB 5KMu}wRY7 fY ddLl3 HmST_tyu]As M$[IȂq\|:xѦ_ZE% ZV2 $dgnv\ b/^X? ץd;46mvf 4AdKұa McMgDDօ跒0\2,[Ivr&UCm瞣b/^X? קCM,c n=I(oˤP\ .L^<ͣ'AA(aƒLtK.UǒUb fkw~EƝ[5 F.؎<ՏX8k/^X? ק}nBx;ݞ.TӺA" X)P0s9.<) ޑ&ͫM#LJ|RvOZ44oiu*A ɢnt`"=,;s!cTO+}LE|0zfZDۏ!#hwGL]mgt?OA7X/"ư"ly<6d%@zKK-Fe"X'Kٟc?T_t?Fsxj]B(\,M}uO G]SuW% G]ST_@uW% G]ST_@uW% G]ST_@lEs?)S U6M S{9l ̌'Ozb:C,Yq*?EvClf͟C,Yq*?EvCٰl2Qeo;YCQk?1_ߨ=f͟C,Yq*?EvCٰl2Qeo;YCQk?1_ߨ=f͟C,Yq*?EvCٰl݇q8`[mDT5/^-CE T,3tL֩(\w%ŢQR (((((oBfMSX@>K<ӟD1fܺ'uD N>hR9Է6B1L'A0&]K7|AjQyI>n䒐\qY m[ZYuMbP30>s]:lvz>{4MgLHj!hk(VQ=%#4|R0ի~d{X/3\K)w9fMrU-Y(j{?zfDt+vf\z2㿌gִsKv?LcZ+XʯgcuBɉ|_o!8VI?RGxFc̚uǕ&?딿/D*),]U1WtVY$oSʛ8ꅇnW/i:sT U8'|94Gց< 쥌3֫Se4tepAAU`QEQEQEQEQEQEQEQEQEQEQEQEQEQE((((((((((i#BMr:Gt@@W?ɿKI.^֙r(B(sU5-bK+^8Yd 6ǥZ.-|G*#CxuOi^jE:*YK$hʌ~&&] YucF~`dq: 鶎ѼI*P[T3aTzsLKJ ?1(dhE-*S@Uʴ^9ԷѴHF&7OZιk:@x0qLs@Z?3&Y[J%iϢ[s^o]Z֢vIeYNU^kcJVeeB܁֕ru-tH)e1QD?2\O+=ZWQP]A}i ݬ5$D9 dSWrQ@Q@Q@Q@hԈH%`8GUǸ&mg]kZ4]#BmB]x6۳wV~.4}rHW&Ab,dCg|gitZZ8UcZDv'uU-im pF` $#X%ޢa<+ SnPlqJ#ӌEEUԵ+M#Oa % 2q۞~,jVjtXeFXNq@Es>4weܖ$d!Os]$$1<0TE,OEq:Y`z7-hI)!_gh>ʧXnsk`3*Lج_hEuQEQEQE(((((((sݱX-.@rN}+I/uS]㝬G>QRk[M٭(sHMŜF:ϩN-c5vA!W>՟sNzڮk$GUf!ӽKŞ'b֗s[HUf=>WVsu"fGf8^o3\m.tW)5גNBy2ϦQ>'Esx]ی/b#L&9YM*mNZ6FEa {((w6Nm/X<\FAUY 9랬%nxэhrH5-cŖVxbCȌ%Vv 1.ASӼRO~z+O F23Z]aqW$,1¬?8+?iԅt ?'YSqQ H^9?g^yc][ÿ)vc.`01i 3 ?t ֭/2FW3rO,cI8D>1#uhu@T'a'bp};.=B}mGsxh5HK #~}rKt:>ovEl) v1y'eW-"F}Bّԍf9ǘ~c1 ziI"mĴKrk}:QyKs}0hG"ҼSݥͫ ` =v^$j::dӬXڙݤR qL&Nٯ%|cv:Z91 MV}BYd$q4ͧ":jWk{)ʗzœ%eLJ#d`!#UxE} [vz@`Ԭ᷒H.6w-WH1#8n_isO>ѵ֡x0BbHG=sMT[p\6vE~қyU6- s,jrʼnO>9?;W%ګIo%[p\BX#F}y'omabuHY̓8,EFT',\}0iO&:]\.ùAPz Keܲ˗1BKc rF){'Zl5=[P~ˬ[J-lҸ++d`ykZ-IJ]귗)mܴpgH)ni-O,R&1jd̓vp0G84{,-\k7_z6o$o5F61F;sM׏]d[}"fxN:er[ӊN])ys@⢋农,VK"0r!ؐzk ~_E]>(Rheڭo&0lTJ\^]xz)Úd2rYj۱^~#DaӞ?*ƦW2u.AX(][խFB>aO[v\4T>$z 'I]bm;A#\V?s 4S7[cu*<ѵG_տo/Fl'͝>?Jk6!Q@Q@ _sֿt_+W@ Q@Q@Q@Q@Q@p~syO6ܷ1Ͷ1Fº//x?WI|0{**bfgaܶ!_ҸqҴTN:ղQ^aj-2b[z @ Z5X#aV`Z6 M6t:Us!A$[kMz4RBѡ V-+r7J s1ן8O-w:Tm +e? J?1$U_-~9cVme[s.Ukf9rԊNմ_Ѣ<=B;{`TGU=NQqm=I$i,oeaA rl5"-].,yah%Eޡt5xN.d./Jwe xQ2 s5 qn4|5;o6;N"5f92Bs?=k޸5KT8//| q#q]w&ڻvN(`PWq8LoP^7]Z,z+r? TL:VBy,? 02-QE蜡EPEPEPEPEPEPEPE29"+("C+FYԓR+e!AQEQE}m=(y$099$Ʋ2пO2 xk_lgcJ*7!̄B?_&L/iw7Fj_q?2пO+s*ŴNqnoS1Okx6ڵ[=lƶ&My][}-Yך~beSd Vd:d~e$+`'!&mGW%!A:WMO[a-){|J}y{;uA uw\Wm mLe%R((#BU$%X*8<'&?߹»mٲy;ves]6)$qrkekc/nqbeCup*Nǒxfu!#*[y?Z~&g}3Y6EwBGB:WnoS{;mFo!I2?޸j&k_?`m41z5x)Ԓ7Gl#{U(?OtnoS+$tp)½36p}=աdsZ}OY~c}PC5ہ%5w_fҹm+L(([_/OAz? t>j((((((ҴTA3~K<+ŧF?TF?y KïvEW!!T$)ҥ]_%̱YEnE#,JMw,11YFGPҰ#鸟¹vmX|CchinwVd ҹpMLeFZլw^ˏ Y."qI#R ׭sx#\H$r3mq;Hڡ˖j׏–Z#ѯ-Pv4NKV\w[9}gGONkvQ\˷ڏw5ةwuI>4L_S wgRis tjpY>g2!A# 3ƴN˧FL~$Imsi^I?nypdg]*t#zvXd:?i6.M<0=])ƬIiFqpI=lsp&axSRUYn^&GRB°"f0ٽ7>~vyx_%ӠmO=䰴k,J lqZJSSkZۨ$ʞW#SҼkd[a^Uq½DY޲X?_yO.%&hٍe`MPzuS#vEfs8 .-.}O#cFyJcmLҦW!rñZTɫ.hL_?z')o\ny~޻szfWa=F韧>j_'x_O[=d/ "8w"F@lFON7Ιo6IY( g;˃n;xWV=Eg9͙lʻnc2:d5|j4=G3#XI!W]1eG#i@-Ks'-BƬX7{s\/ hZM⑥Y_tȌ@ANʧpc x~=%q%8 d?OSKik:Fq!w7wVF<( ~Ѽ]C 6٭?{P>Lew}O]\᷃=7laU8ݶ08Vˎ emu|M 4pAXb_("{g|f*:fᤷwf%}@0~ '5}BAI,rnĪ%8|5$~ î+,+0$g~+ >q㫘dGկ#,8H=߈~0YxKMъ %f?]? X⋫yq!02Lܝ#[|E6uSZ *lp09ug)^d} FM`xZx?5u;LܱcY%l,pWe]zե| :Qާ/Dڊѿ[v3ZɾEWhs ]&V˿CtAZ.cjxkEOmVtXod& #B bAe>k+f =ŬI,OoJ篼5k,ۥ,?pN %ӄKVzr;9E@u wKmG"2N ,̈́+x2i4ȦE 2~\W3yۨt{o[[XkX$c G3YY 7Cq`.]C͈Ƞ) , 1i*TOԝ;moO0{ M ȫ#.y*g#{wYӖPyJ1Ť_ih{l5!۲X1P'um3OϵuĒ$3J7H ۗ U}^OZ5F{] Z@(XssT|MτEDM?xvkɯB4RܹX~ֱa #[ kB5ߒ^v5m+_fҹ3(([_/OAz? t>j((((((ե3|Hmh5Y+폻Z}35~^>-~+wCKxcM?)TY~k궶0=ه֝q_n %($m$p4QE֋y<5ԟiCCڢ"N]z}X\MjvT9*{X\V`^r@pWYgr1mv* (N6.h)+L𯌁7>r()hx#2"˞ST$zhzy[dXiQ@zfn5MMP"uj\XqikZcX$jZHJ1y<㹭j(7LiZ>a$kDXzfhNe|ʋt/p8Pv6uXmؠ"qY׾ޥw%1iwl <? آ2.<+۫KkKK0K8! ؤaszVvv[10DATPP4O; S#` GSO`+Ҽ3.]aD:~m ͒2Ǖ=[?\WWEsx?M5aiTF-;O + Eq:E-WTX7:},9E]6q5SJMۇoa X,(+jW]7ի^oK՞?zo4G:rr 2*;q j-?vp%S+ $, *9u_ԯt:JQ)+F"UP*@NRBRH./񕰉”PB+0N޷nfRհ_Cc(ͳ8gfyb/# ث0C8ex cw$Kzc ?ު4 S#e>ܳnzq "eWIǮ<2zFO9iʖok/ܟz6֞F8@&?w0?:֪^pc R6XTܗl kB5X~ֱa#^KYz~uv5m+_fҹ3(([_/OAz? t>j((((((g/Y6rjԬB5Ӭ\w#eJ_C(sSOkw߄_C ֵckn'5ܟ[]n^4JsI%SSǻ@3ėmk!KQ]z= jmpB"B" ]gX#>ww$+;( I.tu+TgS@j:z=ꡚ+#HPrE`S49t?5ŧ<2?L~u:7 : [ ?Z٪zoȖHR+Ц4i+ţvN'&kX'ڳ FlYX>(wQE{QEQEQEQEQEQEQEQEQEQEQE|k,G%exn[{(naKȣ<4"d]}޵|k,G%Kv:ŌZ\[9G QxkOٞ[ziQ:8w[^R o~ 5f5_Y1i׺MZ}]MónB һ? h6$YٝPbI ⴮,mnmn'I5 bOJ#Zxֺyn_)R_'Eh%{Ub;6w)+CZu {2FK{GWj۾QVvTHnA/ŒIt M`s|ԗ:>yvW6q35䆅JЌJҖaf O' G$J;=dYb2{zOV:GEiNwep!Q}WvX.m˂~^Nޙqq]ŝE#8C"+/VxOSW%FQT_47]'^UxI[é,M!KA$g#Guֿ<9{mK"~##5 .KMk]z2?mZ-WO܏KLhH'܏QY^'#=g趮o|zO4hQR|Kڷ)gX6?7kmMRZxzuI5ž&u˲Z|RhU1<㯥{.)Y>oY_oZ񞟦KK]چj[[>ڼA"KRzP1SU<2M>KZ;_7_y7f[US ={ Wbc[(|VX-sI-VIy+}B2{(Ex/?_ rc+>DZ~"!!cF4o +|eŦlIo`d5݁4ܹtDسo\tZ|6.1Ѭn\y|":zΗEqzjvdԡkx>ш'F@ϽNgJnwۓ*ש^|޽.iq.hU [krwpz`m"ovh֖MhNCmA>6t_+W\ݹ3"zr+W@ Q@Q@Q@Q@Q@uc=iZӬV#ċ9H>)?Z+ů޳(\Ƨ+3ºt/7%l/?JЉt 5g^}3B2G{*ňWי"osqZU-OBJ p1V+=G.=J9"QEQEU Y%wl\BV+JYU~st榺(&ms7P8xfE6H?HFAryvwzicpȃΘ+}u<IVggVax7E+un׭/k` `8\X <vUiW* (((((((((((G#_c_ֿ9+CgXJ 硯οCQKh5⚉E.QKh4CtAZ++$ ;{ 0#\x+]e?5Kk 3yVQ- "HWt[LJ8ey7ˊ?Zq6lJ㩚#9G6;0Sr~/E :yBi|w!p}(ӛۑ+.'DžsL#K1stdzP[kp}(9OPWpt/y;MjU?g[}0ˆ?)*%ӯZM]ɂ[Ѣ0G cؚ|o}FX͌h\4,e峰N k|Sۭ2}:MB+/ RܹܠNH9;#jz>mnƝχml^kI|\]W9" 27:eΜQs:1ac:eiq藐u۟DnN[d[X+X%/$VUd>:cMpb*sZZ;%oeZhf]"iShϸJ)`FHq?yiKkV i,an9ܹvOZ|C\n_#ZnN0}OF:0}( Cq?Ҁ unjP~TG_BS*$w>?Jd9ar>?Jk<:@,mo&EWSbzt$Ya+a|?(D𞕢*i&#&0Pz֦cB-ɴla;> {3ZPu_+W\~A]|' PCEPEPEPEPEP#x[ዬ~ՙ>ZOLjSL/cZ$^^9Ziw).GRQ\F-6 C۟W/ϤXq)aucx7E_YDL(Ҩjx[o Dי/<_JО(_8zEaggk}8Nݍl֥kass.q2Hgo8gOUJQjhBe+;Xt.;"ql R/gZy''*U)O]uصET fsgMl2Vef4؃Mx~$Jko#[.zvbo^7]}{xysQ#FSo+~r1oc~-\n׹-筂cTs]6Ş_}kVoqq~}5?'OWF ^2+8((((((((((l.5 ma,<=׃W+9<=)iI6]8sC ?;axcW\X=u.}bݓAg9 y8_mBO*uc-qdsM r{Ty6_5WCE.x"N{ɲO*&?=yx"N{ɲO*&?=hȃ#W7^!g!Lls$wYaQ\MJJG&>i!!bp''6RCC{UScO~~Nkzw Q=;⫥iCs_cӿho*47]-{H*??'5=;CC{UʅǧUVCЧg^_)mȮ9mqiQ-mB۰`G㚀bS =5?,sE/iCr.rl}TH}A97:[E)_̿2QU_컫nl59\?2C?򹯷}wzw V+_L?孛J6}Wʆ|$Tl0Ym%,w؏*?}x'ُI99N?d][ɿ3ZRX`)9^澿ͿsklW;[pQEQE-~A]|' W=kEb 5~EQEQEQEQE=O)i:7!F jzi}Re2?uE>ɣ˥1%lFbc?f3:7чzoQEg+a?!_@P-玥q+u"yuۆ^wwMofMCe8 ;|=Pº*e׺Dr%(cl=^FWs7cDVL$?c;Fc=ď ˡj%7+>03]!񯇅ݷ?gqU?I{uo r٩>^=-qG?Qu͕nU@"zOzJoi|/i>虹@]]q:n^ *7O(IODR3x[UZL)?Ҷr2"с]֥<m3@M'N #:ձh3e_Ow:~cCԌ:u/n"GntےҜ8$pW !~]J:w#7,A;WToP.5Uޫm?-bhYO'u]9Ah>%xcITmJQntA!u=VFӤ5+mci%8ԟnxVf׃aE0}տi 1 dz#i7|Lu$$ \d!Qh|h6ԗ|#tm5c'R3:fYP{WǑYmDʪ9+])ਲ਼RNAb^33 u,tZwGe$"1q@ڶgEk-2Eqs pp3+B#Yn/?ek{AJE );9b4}F_v0V@Q@Q@Q@yOѿk+"~*Z, hzĢktTmoʼĢktTmoʀ]Q*_iѭZY)dі68ʐzYM]jV1]SH[(1~!zGi6ķqHKV3 5\xkK[#hWyIZ)9Fҷ sSbCWAp oW^xRԒt5G). 7*Z˴M ԳY<ҹ%Ljk=^B!ŕߔ<< u6E[xMAYH$c8<楆.nc%LwmtzRJ5t8/䴸d֮4v3C;ǹq8㚣,׷}{A!y2JY2W$g+>ҌpF-U/"=S! `HVlmZh"O*x}_UAL3XӍ/iwp&6gwxFm7'>?EGwb$xo 4EȢ%?1]JWC?Ҁ:( ( ( ( ( ; x"-V."#h#]r:}nVi?gao+obzmN\LEWz3f<ՠFpð_oߏ_ἱ"ڍՔ~R9 `ڍ޽4O^Vf?O;0_2V~[aBJl?,|j! MjzR&ͱo>mc~?jݲ^^G5 vX|<${JsQ^1-YYИlm F8KH$ep1[?*Nrm>Tg:=\]i6$$g-akkc gY; )ڜ [jE,jVUUf+͌q^cO~-e7WQ.gpZ{iL;6O<ׯZ/ u#kh&j9,?HR+\UJpVO$yx1?pz{wkNHʪe $l8$y#We N'F†WQ^ı3©E+5SIӠ wu۷ j]_(  B5 WS90LJTa^9u9*[C珈 4jZ>Ҭ$æQxUl稯7˒E+WȺL{. 8g+b?cxƓQ;2Z}Σ:ifNw.\8T$gtWI{@M +ÞbTG}@ ,A>Ldh$X]c컂pH"9?]7G">9?]7^h4%G' (G' +ֲ}M>|tE|tEzO'<Ϝ.Ϝ.Ygªc#M-*(K0|tE|tEz|n>)"`P8cɿ?SFO<Ϝ.Ϝ.Z4dǒ##Y>S@X_D|?>ro"D|?>ro"k'ѓh KOMQOMWd2}Mc?SFO,y:xK6rc^ t&ՌdžHUSY^c3f2ͿsklW;@$QG*+ 2?QO2a;n4-_߳hνgm5u& q9V?ֽi; Mo16/Q-9C5ve})2 5*2( <"k6n>e O'c(^XeHZ};\*K1#Zo'vVD'4GB|/!nXZ<W@Ul6W0ۿݖ}QEQEQET7Vis hCѕMEphܵ)(#[U=]F-5[  ($KGVAZUiTkJ\0 m䑰NPz p DR=K&v5~,5 c~#ܖm09?>~ ^[}S|ȱƿgnf8%q'sm5߁{+D 2ۉ?6}]UJ P$uXؑR>4hZmCFYVu\6a]O֭x:˪\{I+Q_<)'%UڧwS:4Q|Mӥ5R^$[}Q^IgjGek?G:]jvq,SL?*xF"Sr|"C~g> +2Z7yX^vMꥫQE֡*X#,ztUsWkH[emtݷ~D }'_ZQ8.X&[KvCMtO#mqآv<((((((((((('1{W [, d;켲*&Q{r@hn#f 7Wh0iHn0iG&^Lۢ?2 g ?`?%ƀ6OL1C+4e4 _ +/ Jxc 3Whn0iG&^Lպ9_|ϻvlg5~1Ksӌ>}۷f+g.!xgbpUteaAd%tMh,?䍂qqj畣7ñ^M[vzو<j(('..V@54͎g"e hc?ZꨠSoC􍫹l9طc ;Uӵoװge" ux/eӒe52FCđ@W'%Q4"UmCkJ8 jH f}y?A@UxGס2:⁖OiPEP=[Lt: eSٔ`pA@5h7okؿ8u!{Wg\M֨'F%s%.:⹱4}4ҟ,.לfݦ0wPC6cfWG"K2X%wa^ {YF?;膼iAN./OTUyfc[3?BFGz2pp{MQRPQEQEG<$XRǰ$Е@dPԣq /Ui3$=e[^i Ij4PR\ݛ+pATL]} ^ʔaxU'7"Cin1Ĺڃ,UؒwºL^iԯ$77GBP{No ~:V!den.>@l]{XJ<{QE`QEQEQEQEQEQEQEQEQEQEQEY1$Vs|(yh:;o99a›=oP?E? ES_G|7Q=ov\ȱCz? ? %FfEf@ncjtK눭(Y) g}{'G"?O¦:U=̛TGA5S_G|7Q=oP?E? EE4 L3"e(9864S*GjR YyhV*nW ›_U_'(/ؾmRK8cۢ/o³丆+EYfFN>xaiqkt8 ؾmb~ULڌ{P_߶ ?|??K~*s,BHH(ꤌ%[/oªQ@SG?i^?w~ك#(e cz<-;,"O@m+_fҹ((? t>j+?1]Jh((('뒉 . .F6ܠ1θW?YxKD<7k$@VA}+9QmoM!5 lʯڴddS (Doi*еWK-%\>SZxoE.ݕI$oO_/EjQ\"۴_[`~ɨÀ>,D}$oxI_hFfxtV{c]HZ [>ǔ9_ Ւ4'DVVmM yo$}ژf> Vc<[=JI%ӝjs<=<+Nb:28{hмI>;1Ip"f?j]\We5=n,]F/ ˎ߮B -SMVglvM9GG<+l5gUo~( ( M=ӌz:0٘EֽV\N"K1N5Ԟ'#Y쏠o7%rbCnγHӗJW22ddrr}}%Ʃ~4-6WVPחQv \\^_6{fO?c&B;e,t9{ao{ZY[i0Y°@#z(=WrQ@Q@Q@Q@Q@Q@Q@Q@Q@Q@Q@Q@sZ|K\O5IuE1rvzhjO;V@(:w?Z;V@+#6]WT6fm%ߊJӿ%i?Zsg&ZIpL,-ЕT9x vzV^ n-m<)-xg5iij? sM?hw' 1gʯJӿ%i?bJӿ%i?bJӿ%i?iVUǴ?iCqukOw'l]^?#cYI>KOT+SIbpeoV_-֥^Wb97}/(uJm4 WEƒڨAw{i䘼'aڻ228yf]H[FX *~]TKcޡm'=֣&ao w'7nJ2G nN?ֻO '@*#ANF@ |6G 0guEs ZOSm@Ut Z:w?Z,QUt Z:w?Z. _ryBu'{+W# ( ( ( ( ( ( ((.ۈ5]:!qR{z{i 5Ytmkmh1 b>vEc qS:O7M˝ :CViaPѼC8^PI<+}Le*i>=LJ2|˴xw/hTn,M" pzPgy|<(μ"FX}/7":ޚ4v;H3Mo-ykQ=_ʺ(yG _*먠VY a]ZPEPEPEPEPEPEPEPEPEPEPEPEPEPEPEPEPEPEPEPEPEPEPEPEPEPEP`!i0ÈN` @0|{xcdd``^ @c112BYL%bpuh``s#RpeqIj.HA DbyH9z03WEquation Equation.30 Microsoft lQ_ 3.0fhttp://www.cs.man.ac.uk/~horrocks/Slides/index.htmlfhttp://www.cs.man.ac.uk/~horrocks/Slides/index.html` "http://dl.kr.org/"http://dl.kr.org/ Xhttp://www.cs.man.ac.uk/~franconi/dl/course/Xhttp://www.cs.man.ac.uk/~franconi/dl/course/ &Equation Equation.30 Microsoft lQ_ 3.0t ' Equation.30 Microsoft lQ_ 3.0&+ Chart MSGraph.Chart.80.Microsoft Graph 2000 Vh=,Document Word.Document.80"Microsoft Word echh5Equation Equation.DSMT40*MathType 5.0 Equationz/ 0DTimes New Roman00rF0D[SOes New Roman00rF0 DArial Blackman00rF0"0DArialBlackman00rF0"@DWingdingskman00rF0PDNSeeOingskman00rF0`DN[_GB2312kman00rF01pDCourier Newman00rF01DўSOrier Newman00rF01DLucida Sans UnicoderF0"DCMMI10Sans UnicoderF0DCMR10Sans UnicoderF0DCMSY10Sans UnicoderF0DSymbolSans UnicoderF0DymbolSans UnicoderF0DCMSY7Sans UnicoderF0DTahomaSans UnicoderF0"DfNomaSans UnicoderF01 DNSeLwiaSans UnicoderF0@x).U  @n?" dd@  @@`` z5^0#&     ! t     ' &()*+,/012`b$\o"Nm6y 2$e>kL  2$RqV#]AF1s 2$E-RFQ) R$CN_~hǥ ,2$3U;TNso&D "$ K$$B2$i0È 0e0e     A@  A5% 8c8c     ?1 d0u0@Ty2 NP'p<'pA)BCD|E||S"0 f3@8;L ʚ;2Nʚ;g4KdKdЖF0ppp@ <4!d!d@00r<4dddd@00r h___PPT10H0D[SOal Sans Unic00TF0TDTimes New Roman00TF0T DLucida Sans UnicodeTF0T"0DArial Sans UnicodeTF0T" ppB___PPT9$nfFu88 PNG  IHDRW?sRGBgAMA7 cHRMz&u0`:pQ<!&?*+ S_ i ؚ~N]zfO =<6-# ؚ~N]zf,#6'6.$,{Nz N]zf;$ !  6c ; Description Logics* "HF$  1 NHN/fc;(DL) " NyWN[avwƋh:yvb__S _NSi_h:yb/g;0 ^z(Wi_TsQ|(Role)KN N i_ʑ:N[avƖT sQ|ʑ:N[aKNvNCQsQ| nNINQ~TKL-ONE /fN6;FOLvN*NS$R[vP[Ɩ wQ gT[INvIN(WN;)! 0!d3          $$( (,,b)+yrp"$%/fN_h:y]wQv;͑gT~Nb__S Fhg|~ (Frame-based systems) INQ~ (Semantic Networks) bT[ah:y (OO representation) INpenc!jW (Semantic data models) {|W|~ (Type systems) yr_; (Feature Logics) % wQ g_:_vhR % /fS$R[v ;`Oct{l~bk'3!  ' 3 ! !#$'3# 2 :NNHN(uc;    #$%  4 c;vSO|~g     N*Nc;|~S+TV*NW,g~bR 1 h:yi_TsQ|Role vg Ɩ 2 Tbox  sQNi_/g틄ve 3 Abox  sQN*NSOve 4 TboxTAbox Nvct:g6R0 ^!    @          6N*NʑIn a : C iff aI " CI <a,b>:R iff <aI, bI > " RI N*NʑInABox A iff [nA-Nvk*NlQt:N I " A N*NʑInwƋ^ =< T, A > iff [nTTA :N I " "\G G G G G FG OGg G G OO G G FG OG OG G g G OO G G G FG  G G g G G  G G G G FG G G  G G g   G L     4 lTIN.c$#$   6 c;-Nvct 1) N'`OS'`consistency 2) Sn'`(satisfiability) 3) S+ThKmsubsumption 4) [OhKm (instance checking) 5) Tableaux{l 6 S$R['` 7 { YBg'`}Z###"    # # # $$(#(,,0#0  ,5 Sn'`hKm{l  Tableaux{l#$$  1) "ĉR: S!" { x:C1, x:C2}"S x:C1" C2(WS-N Nx:C1Tx:C2 N(WS-N TeQs0 2) "ĉR: S!" {x:D}"S x:C1"C2(WS-N x:C1Tx:C2 N(WS-N ND= C1bD= C20 3) "ĉR: S!" {xP1y,& ,xPky, y:C}"S x:"R.C(WS-N R= P1"& "Pk l gzO_xRz(WS-Nbz Nz:C(WS-N y:NN*NeSϑ0 4) "ĉR: S!" {y:C}"S x:"R.C(WS-N xRy(WS-Nbz Ny:C N(WS-N0 h # C  +   # C  #       C     C          C          C     C      $#$ (C( ((((((,+, 0000000000004#4 888C8 8888888 8<#<  C C  C  C C #  C  #  C # C +                               $#$ (((C( ((((,#, 000C0 000C0 0000000 04#4 88<#<  C C C # C  + # C #    C     C     C                      6(Semantic Web Architecture      (! bNv]\O <%&^:wvc; [IN N*N:wĉR/fb_Y ُ7hvh_ vQ-NC0D0E:Ni_ T x/fN*NSCQ0C(x)y:NMRcagN D(x)y:NhagN(:w) E(x)y:N:wv~0 [IN1.2 N*NwƋ^/fN*N NCQ~<T, A, D> vQ-NT:NTbox A:NAbox D:N:wĉRƖ0 ZZ'3 d"  2/  )"/% R`c;DDL6 &6%& h N[‰NLuvb__S^!j:NxvzQ[ cQNy~Nvb__SFhg TeNY`TR`$N*Nebeg;R;uNLuv!jW0:NR`Wv^!jcONy gHevb__St]wQ \NLu-Nvi_0sQ|T*NSO lQt0N[TR\O g:g0WteT(WNw b_b~NvsQTTЏ\O:g6R OR\ONlQtTN[vN\O(u ~Nh:yv^ۏLct [i_0lQ_TR\O~QN~Nv0TvlTIN ;NSON,gSOv~TF% dB 0&R`c;DDL. &6%& 7)" !"""H  /p2389( 0N0 x(  ~  s *M  %   R  c *A V2H  0޽h ? 3f3f80___PPT10.:i  0 x(  ~  s *a   a    s *a `; a DDLINsX-N[ gRǏ zebv^!jTct gR9eSsXvr`MRcagNTgbL~g Action gRcWNWorld Model e.g., c gRvMRcT~gv͋GlegWorld Model TBoxcWorld Modelv~g @b gr`vcNpenc^be,gvb__Rce(WWeb-N (u7bbAgentǏg⋄ve__r`vOo` X[>eNTꁄvABox-N DLNActionvNNSOs(W ActionǑ(uTBox-Nv͋GlcMRcT~g ActionvgbL[ABoxvSSlOQ+OQ  +&(    >  Hafz?"6@ NNN?N'  DDLDL Action 2G ,H  0޽h ? fГ̳tT TIMING8|3.1|11|14.1|23.4|3.9|19|9.6___PPT10i.B+D=' = @B +# 0N0 2*(    0h   b&x(U    f  ??  _%An action description is the form of &$(h  s ,A h?? F hf   `=  ??  4where (1) A is the action name. (2) x1, & , xn are individual variables, which denote the objects the action operate on. (3) PA is the set of preconditions, which must be satisfied before the action is executed. (4) EA is the set of results, which denote the effects of the action. d0   . 5 &,   fHѲ  ??^ ODynamic Description Logic(3H  0޽h ? fDW&cC3y___PPT10Y+D=' = @B +$(0 4(  d  c $     s *0  0    H  0޽h ? n3380___PPT10.?$)0  4(  d  c $     s *`  @    H  0޽h ? ̙3380___PPT10.i0 a[vx]hSW;&izk'ڇh!TahE3Xl|1JM6qiB(C}/> fԎ\">v/D|&sνMmwo|$wsfs_T>Р\i9'U_RX:*8Ydw ժ$~s?)%9snO7nOݬY-pM=ē,ܬѰހ"QVMiP\/52ˀ}z:CMt}f::5e~evf8z߈KS PTsy"J%aȡ<y3iNq,5cT0$pVLhU[0r1 7J?ɘt~"531:ѢYɌ Jb쳇{E( >&ehqo?z'}f> _Lnb{C/ .S]l@6`HM2(>we?=7Lt ^V3ZK}T1Qk1 -_O灿3Vv4[,'ڂ7`pOE.qP-}v˟oJk +o>[?ՅEPG Qy 4 H_^;&(:S0JtfߩϱaNä,n(qǡe Nx`ɦ= j_f[EO7Χ({1Ӣ_;n|(sV 8>Bv\no@[tdod$yx@&{q' t+\+2eۋ.'WdvEEOuH~kUu=7]-\4?PV6H5Hd5J[̢ c6=/{&8d!a+2/x# 3LN;lޓl0-,ZtBM>æ|]ѯ8I#jfsa?TUr(0-q5P}nx%Q# z9  ՜.+,D՜.+,    ;ĻʾIIP,)' ATimes New Roman Arial BlackArial Wingdings κ _GB2312 Courier NewLucida Sans UnicodeCMMI10CMR10CMSY10SymbolCMSY7Tahoma пNetwork BlitzMicrosoft ʽ 3.0Microsoft Graph 2000 ͼMicrosoft Word ĵMathType 5.0 Equation ߼˹ڶ ˹߼ Description Logics õƬ 41 ʲô߼(DL)ص õƬ 72 Ϊʲô߼ õƬ 9 õƬ 10 õƬ 11 õƬ 124 ߼ϵṹ õƬ 14 õƬ 15 õƬ 16 õƬ 17 õƬ 18 õƬ 194﷨ õƬ 21 õƬ 22 õƬ 236 ߼е õƬ 25 õƬ 26 õƬ 27 õƬ 28 õƬ 29$5Լ㷨Tableaux㷨 õƬ 31 õƬ 32Semantic Web Architecture ǵĹ õƬ 35 ̬߼DDL̬߼DDL õƬ 38 õƬ 39 õƬ 40лл  õʾĸģǶ OLE  õƬ) 8@ _PID_HLINKSA4http://www.cs.man.ac.uk/~horrocks/Slides/index.htmlhttp://dl.kr.org/-http://www.cs.man.ac.uk/~franconi/dl/course/