Towards Annotation Using DAML+OIL

(1)

Towards Annotation using DAML+OIL

Sean Bechhofer Carole Goble Information Management Group Department of Computer Science,

University of Manchester, Kilburn Building

Oxford Road Manchester M13 9PL

UK

,

!! "#%$$&

(')*

ABSTRACT

+-,/.102354761.8,93:0;0<3:0>=?4A@A@?B@70/CD0FE*4AG24IHJ6023LK5M @A,N4A2O35P,QB(K5MR

S

47E*4AM2TMUV35P(,W+-,/.102354A6YXZ,9[\^]_G,/235E`=?4A@A@a2,/,/;b.8,c3:0 ;0<3:0

35PJ0<3a;(,9E*69K54A[d,/Ee35P,f6/M 235,/23gMUK5,/E*M h-K56/,/Ea4A2WMK:;(,9Kg35M`Bd,cK*UMK5.

M Bd,9K:0<354AM 2E/ijE*h(6cP>0EkK5,c3*K547,

S

0@lijM

S

,cK_35P(M E*,aK5,/E*M h-K56/,/E/\km%2>0;;-4AR

354AM 2i4IUjK54A6cP1E*,/.10235476k.8,93:0;03:0e4AEnE*h(BB(@74A,;ji35PME*,e0G ,/235Eo6/02

35P,/2F,/.8B(@7MCYK5,0E*M 2(472(GNM

S

,9Ka35P(,p.8,93:0;03:0i,92PJ026/4A2(GQ35P,94AK

B(K5M6/,9E*E*472(GqBdM=n,cK\sra,9CN35M135P4AEa0B(B(K5M 06:PW4AEg35P(,VB-K5M

S

4AE*4AM 2FMU

02(2M3:0<354AM 2iJ[dM35Pq35P-K5M hGP>0h-35M .10354A6s02J;NPh.102q.8,02E/\nmt2

35P4AEoB0Bd,9Ki=o,e;(,9E*69K54A[d,e0sB(K5M35M3%C-Bd,_022(M3:0<3547M2`35MM@d35PJ03u=n,

0K5,s;-,

S

,/@AM B(4A2GL;-h(K54A2Gf35P,evxwgya+(zDB(K5M<{,9693id0@7@AM=?4A2GL35P(,a;(,9R

E*69K54AB(354AM 2>MUoE*,/.10235476s.8,93:0;0<3:01h(E*4A2G835P,s|_]e}N~awgm%~@702-R

G h0G ,\enP(,p;-,

S

,/@AM B(.8,/23?MU35P,a35MM @PJ0E_,9-BdM E*,;Y082h.V[d,9K

MU)4AE*E*h(,/E_69M 269,9K524A2GL35P(,ehE*,aMU0L@702(G hJ0G ,s@A4A,a|g]g}N~awgm%~

UMK_E*,9.102354A6s022(M3:0<3547M2Y02;`=o,s;(4AE*6/hE*E?35P,9E*, \

1. INTRODUCTION

nP(,Y+-,9.102354A6`X,/[b+XT

S

4AE*4AM 2ix0E80K*354A6/h(@0<35,;[CDn4A.

,9K52(,9K5ERt~,/,`li47E_MUo0LXZ,/[Y4A2Y=?P4A6:P>K5,9E*M h(K569,/Ea0K5,V0696/,/E*E*4IR

[@A,12M3LM 2(@IC35M>Ph.102(E/i)[h-3L0@AE*MF35MF0h-35M .10<35,;B(K5M69,/E*E*,/E/i

, \G(\Ai0h-35M .1035,/;b%0G,/235E*QK5M0.84A2G835P,f=n,/[>Bd,9K*UMK5.84A2G`hE*,9R

Uh(@_3:0E*EQE*h6:P0EQ47.8B-K5M

S

,;E*,0<K56cP4A235,9K5.8E`MUsB-K5,/6/4AE*4AM 2J

02;QK5,/E*M h-K56/,f;(4AE*6/M

S

,9K*Ci(4A2(UMK5.10354AM2Y[(K5M ,9K54A2G802J;q4A2(UMK5.10<R

354AM 2pH@A35,cK5472(G(\nP(,?0h(35M.10354AM 28MUd3:0E*Eu;(,/Bd,/2;(E)M28,/@A,

S

0<354A2G

35P,VE3:035hEaMUn35P,f=n,/[FUK5M..106:P4A2,cRK5,/0 ;0[@A,p35MQE*M .8,935P(472(G

=n,L.84AGP3s6/0@A@u.106cP(4A2,9Rh2;(,9K5E3:02J;(0[@A, \LnP,L ,9CF4;-,0Q4AEa35M

PJ0

S

,_;0<3:0VM 2135P,k=n,/[Q;(,cHJ2,/;`02J;1@A472(,;14A2QE*h(6cPQ0s=n0/C`35P03

4I35Ek.8,/024A2(Gp4AE?,9-B@A4A6/4I35@AC`4A235,9K5B(K5,c3:0[@A,a[C`E*MU3%=x0<K5,sB(K5M6/,/E*E*,9E

K:035P(,9K?35PJ02f{h(E3_[d,9472(GL4A.8B@A4A6/4I35@ICQ4A235,9K5B-K5,93:0[(@7,a[C`Ph.102E/\

X4I35P(472`35P4AE

S

47E*4AM2NMU35P(,s+XiM235M@AM G 4A,/EkPJ0

S

,g[d,/6/M .8,e02

4A269K5,0E*4A2G @ICq47.8BdMK*3:023xK5,/E*,0<K56cPN35MB4A6 \onP4AE?4AEg0VK5,9E*h@I3g[dM35P

MUj35P,94AKohE*,9Uh@A2,9E*Eo4A2`0aK:02G,_MU0BB@A4A60<3547M2`;(M .104A2Egi(i

<i02J;NMU35P,sB(4

S

M3:0@K5M @A,V35P03g35P(,9CY0<K5,VE*,c3g35M1B@70/CY4A2Y35P,

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee.

Copyright 2000 ACM 0-89791-88-6/97/05 ..

5.00

;-,

S

,/@AMB.8,/23xMU35P,s+X\

MOK5,0@A4AE*,35P(47E

S

47E*4AM2ie4I3Q=?47@A@s[d,F2,/6/,9E*E50K*C35M02(2M3:0<35,

=o,/[VK5,9E*M h(K569,/E)=?4A35PQ1c ¡¢¡ ¡14\, \Ai;(03:0g;-,/E*69K54A[4A2(Gg35P,/4IK6/M2(R

35,923c£Uh(269354AM 20@A4I3%Cc\m%2`BJ0<K*354A6/h@70Ki-=n,a.10/CL=?4AE*Pq35Mp02(2M3:0<35,

K5,9E*M h(K569,/Ek=?4I35PZ¤9c8¡¥ ¦l§a.8,93:0;03:0f35PJ03kB-K5M

S

47;(,9EkE*M.8,s472;(4IR

6/0354AM 2OMUx35P,86/M235,923fMUg0qK5,9E*M h(K569, \>nP4AEf4AEp0qUh(K*35P,cKVE35,9B

0@AM 2G_35P,n=x0/CsUK5M.¨E*47.8B(@A,o35,935hJ0@022M3:0354AM 2(E/i0E35P(,n4A235,92(R

354AM2q=?4I35P4A2N35P,V+X©69M 235,93k47E?35PJ0<3?35P4AE_4A2-UMK5.10<354AM 2N=?4A@A@[d,

06/6/,/E*E*4A[(@7,12(M3aM2@IC>35MNPh.102(Eg[(h(3f0@AE*Mq35MQE*MU3%=x0<K5,`0G ,9235E/\

mt2MK:;-,9Kq35Mª;-MZ35P4AE`=o,FK5,/«h(4IK5,W@702(G h0G ,9Eq=?P4A6:P=?47@A@aE*h(B(R

BdMK*3835P,qK5,9B(K5,/E*,/23:0<3547M2MUaE*,9.102354A6N.8,93:0 ;(03:0\¬+3:02;0<K:;-R

4AE50<3547M2B(K5MBdM E50@AE1UMKq.8,93:0;0<3:0@702GhJ0G ,/EQ0K5,F0@IK5,0;-CªK5,/69R

M.8.8,/2J;(0354AM 2(EnMKk602J;-4;(035,eK5,/69M .8.8,/2;0354AM2ExMU)35P(,gXZMK5@7;

X4;-,LXZ,/[OvoM 2E*MK*354Ah.Xbvxci4A2OBJ0K*354A6/h(@70Kf35P,8®k,/E*M h-K56/,

|g,/E*69K54AB(354AM 2Q¯(K:0.8,9=nMK5N®_|e¯02J;1®_|a¯W+-6:P,9.101®k|a¯n+(*

°

E*,9,VI±<dUMKx0s;(4AE*6/h(E*E*47M21MUj35P,xK5M @A,/EoMUj35P,/E*,?@702(G h0G ,9Ex02;

MUn²e}N~£²e}N~+6cP(,/.10-\sy_M=n,

S

,cKiE*h(6cPF02(2M3:0354AM 2(Es=?4A@A@[d,

MU)@A4A.84A35,/;

S

0@Ah,g35Mp0h-35M .1035,/;QB(K5M69,/E*E*,/Ekh2@A,/E*En35P(,9C`E*PJ0<K5,s0

69M .8.8M 2Vh2;(,9K5E3:02J;(4A2(Gs0Eu35Ma35P(,/4IKo.8,024A2G-\wg235M @AM G4A,/En602

P(,/@ABa35Mk.8,9,9335P(4AEK5,«h4IK5,/.8,/23[CaB(K5M

S

47;(4A2Gk08tK5,9B(K5,/E*,/23:0<3547M2

MUk0YE*PJ0K5,/;Z6/M 2(6/,/B(35h0@A4AE50354AM 2DMUg0NB0K*354A6/h(@0<K8;-M .104A2(Y02;

08E*P0K5,;jij6/M 23*K5M @A@A,;

S

M60[h@70<K*CY35PJ03_602W[d,f6/M .8.Vh2(476/035,;

069K5M E*EkBd,/MB@A,s02;q0B(B@A4A60354AM2EfA±9³(i±<´<l\

m%2835P4AEnB0Bd,9Ku=n,a;-4AE*6/hE*EnMh(Kx4A2(4A35470@,c(Bd,cK547,926/,_MU[h4A@7;(4A2(G

02f022(M3:0<3547M2f35MM@[J0E*,;aM 2f0?K54A6:PsM 235M @AM G4A60@@702(G hJ0G , \nP(,

B0Bd,9KPJ0E35P-K5,/,[J0E*476E*,/69354AM2E/\¯4IK5E3i=n,u;(4AE*6/h(E*E|_]e}N~awgm~i

0VB(K5M BdME*,;qM235M@AM GCq@702GhJ0G ,aUMK_35P(,e=n,/[\n+,/6/M2J;i-=n,aB-K5MR

S

47;(,Z02M

S

,cK

S

4A,9=µMU10B(K5M35M3tC(Bd,Z022(M3:0<3547M235MM @fUMK02(R

2(M3:0<3547M2h(E*472(GW|_]e}N~awgm~\nP,N6/M2E3*K5h(69354AM 2MUg35P(,Q35MM @

P0E`P4AG P(@A47GP35,;0Z2h.p[d,cK1MUs4AE*E*h,/EQ6/M 2(6/,9K52(472(GZ35P,Yh(E*,FMU

|_]e}N~awgm~>UMKg02(2M3:0354AM 2ij02;Q35P,/E*,f0<K5,V;-4AE*6/hE*E*,;N4A2q35P(,

H2J0@E*,969354AM 2YMU35P,eB0Bd,9K\

2. DAML+OIL: A LANGUAGE FOR THE SEMANTIC WEB

]¶B-K5,9K5,«h4AE*4I35,ZUMKZ0=?47;-,/E*B(K5,0;hE*,OMU1M 235M @AM G4A,/E4AEW0

{%M 4A23>E3:02;0K:;UMK>35P,/4IK>;-,/E*69K54AB(354AM 202;¬,9-6:PJ02(G , \·®k|a¯

+6cP(,/.10®k|a¯n+(*p4A35E*,9@AUf4AEQ0@IK5,0 ;CK5,/69M G 2(4AE50[@A,W0EQ02M2(R

35M@AM GC£<-2(M=?@7,/;(G ,>K5,/B-K5,/E*,/23:0354AM 2b@702(G h0G ,¸O4I3Q3:0@7EQ0[dMh(3

69@0E*E*,/E_02J;`B(K5MBd,9K*354A,/Ea[4A2J0<K*C1K5,/@70354AM 2(E:ciK:02(G ,s02J;q;-M .10472

69M 2E3*K:04A235EqM 2ªB(K5M Bd,cK*3547,9E:cix02;ªE*h([d6/@70E*E102J;OE*h[(B(K5M Bd,cK*3%C

E*h([E*h(.8B(354AM 2JeK5,9@0<354AM 2E/\Dy_M=n,

S

,cKiu®k|a¯n+(s4AE80YK5,/@70354

S

,/@IC

B-K54A.84A354

S

,@702(G hJ0G ,e35P(,n0[dM

S

,o4AE)02V0@A.8ME36/M .8B(@7,c35,o;-,/E*69K54AB(R

(2)

S

6/@A,0K5@IC1[d,k2,/69,/E*E50K*C£;-,/E*4IK:0[(@7,g472`MK:;-,9Ko35Mf;-,/E*69K54A[d,_K5,/E*Mh(K56/,9E

4A2OE*h86/4A,/23p;(,93:04A@l\W}qMK5,/M

S

,9KiE*h6:PD;(,9E*69K54AB(354AM 2(EVE*P(M h@7;Z[d,

0.8,/20[(@7,e35M>¡- 8¡ t*¢5*¡¤¥(¦¥ q4IU35P,cCq0<K5,f35M8[d,sh(E*,;q,9UR

U,/6c354

S

,/@ICq[C`0h-35M .10<35,;QB-K5M6/,/E*E*,/E/\

nP(,/E*,x6/M 2(E*47;(,9K:0<3547M2E@A,;V35Mk35P,x;-,

S

,/@AM B(.8,/23MUJ35P,?wg235M@AR

M GC>m%2(U,9K5,/2(6/,L~0C,9Kfwgm~I± ±cu02J;>@703*35,9K5@IC>|_]e}N~awgm~li

M 235M @AMGC`@702GhJ0G ,/En35P03x,935,/2;8®_|a¯n+(=?4I35PQ0V.ph(6cPLK54A6:P,9K

E*,93kMU).8M;-,/@A@A472(GLB(K54A.84I354

S

,/E/\

wgm%~A±±9)=n0Ea08@702(G hJ0G ,VB(K5M BdME*,;>0Eg012(M<=?@A,;-G ,fK5,/B(K5,9R

E*,/23:0354AM 2Q@702GhJ0G ,eUMK?35P,_=o,/[N02J;1=n,/[-Rt[0E*,;Q0B(B@A4A60354AM 2(E/\

wgm~Y6/MhB@A,;1.8M;(,9@7@A4A2GVB(K54A.84I354

S

,/Eo69M .8.8M 2(@IC8hE*,;14A2`UK:0.8,9R

[J0E*,;8M 235M @AM G4A,/E/i=?4A35P835P(,kE*4A.8B(@7,i6/@A,02`02;o%¢¥j*¢p¤9

8¡¥( ¦l§9¤xMU02L,9-B(K5,9E*E*4

S

,k|g,/E*69K54AB(354AM 21~M G476f|a~c\nP(,?UK:0.8,

B(K54A.84I354

S

,/EQU06/4A@A4I3:035,35MM@s[h4A@7;(4A2(G02J;M 235M@7MGCb,9-6:PJ02G ,i

35P,k|a~YU06947@A4I3:035,9E?35P(,_B-K5M

S

4AE*4AM 2QMU0h-35M .1035,/;8K5,/0E*M 2(4A2GpE*,cK*R

S

4769,/E/i4A2B0K*354A6/h(@0<Kp69M 2E*4AE35,/2(69CW02;WE*h[(E*h.8B-3547M2W6:P,96c4A2G-\

nPhEa0`.8M;(,/@A@A,9Ka4AEaMj,cK5,;F35P(,p[d,/E3aMUn[dM35PF=oMK5@7;(Ea4A2[dM35P

;(,

S

,/@AM B.8,923x02J;Q;(,/B(@AM<C-.8,/23xMU02qM 235M @AM GC\

mt2q0;;(4I354AM 2i-,jMK*35En=o,9K5,e.10 ;-,_35MV.10-4A.847E*4A2(GV6/M.8BJ0<3547[(4A@AR

4I3%C1=?4I35PN,/.8,9K5G472(Gp=n,9[NE3:02;0K:;-E/\unP,/E*,aE3:02J;0<K:;(E/i(E*h6:PY0E

®_|e¯n+ci(.10,a4I3e,/0E*4A,9Ke35M8h(E*,VM235M@AM G 4A,/Eg6/M 2(E*47E35,9235@ICO69M 2(R

E*4AE35,/23x.8,02(4A2GsUMKo35P,g,9@7,9.8,/235EoMU35P,_M 235M @AM GCo069K5ME*Ex35P,

=n,/[\

mt2N0LE*4A.84A@0<Ke;-,

S

,/@AMB.8,/23i35P,a|_]e}N~<B(K5MGK:0.8.8,g=x0E

4A2

S

,/E354AG0354A2(Gª35P(,;-,9HJ2(4A354AM2TMUL020G ,/23q.10K5hB@702(G h0G ,

UMKa35P,V=o,/[\pnP,V3%=nMQ4A24I35470354

S

,/EaP0

S

,p2M=¨[d,/,92W6/M.p[(472(,;i

@A,0 ;-472(G_35Mk35P,n;-,9HJ2(4I3547M2VMUJ35P,u|g]g}N~awgm%~1@702G h0G, i =?P(476:P

PJ0E?35P(,gUM@A@7M=?4A2G16:PJ0<K:06935,9K54AE354A6/E/¸

]k2¥d¢¦¥ W8¡J¦¥ F35MF02D,9-B(K5,/E*E*4

S

,`|e,/E*6cK547B-354AM 2

~M G476ª "!e A±#sB-K5M

S

47;(,9Eq0Z=n,9@7@e;(,9H2,;E*,9.102(R

354A6/E02J;V0g6/@A,0Kh(2J;(,cK5E3:02J;-4A2GgMUJ35P,o@02GhJ0G,%$EUMK5.10@

B-K5M Bd,9K*354A,/E/\nP(,g|a~>G 4

S

,9En|g]g}N~awgm%~q35P,e0[4A@A4I3%C`02;

&,9-4A[4A@A4A3tCs35Ma6/M .8BdME*,x6/@70E*E*,/Eo02J;VE*@7M35E35MeUMK5.¨2,c=,c-R

B-K5,/E*E*4AM 2(Euh(E*472(Ga[dMM @A,02`69M 22(,/69354

S

,/E/ih2@A4A.84I35,;p2(,/E354A2G

MUo69@0E*Ea,/@A,/.8,/235E/id3*K:02(E*4I354

S

,p02J;Y4A2

S

,9K5E*,pE*@AM35E/iG,/2,9K:0@

0<-47M.8E/i),9356 \Y¯MKV,9(0.8B(@7,i=n,`0K5,Q0[(@A,135M>;-,9HJ2(,8E*h(UR

H6/4A,/26cC6/M2J;-4A354AM2E1UMKQ6/M26/,/B-35E`0E1=n,/@A@a0EQ2(,/6/,/E*E50<K*C

69M 2J;-4I3547M2E/\}qMK5,9M

S

,9Kio=o,N0K5,N0[@A,`35MWh(E*,Z¡ L¡ t*¢

**¡¤¥¦¥ f¤'(): )35Ma0h-35M .10354A60@A@ACp6/M .8B(h(35,nE*h([E*h(.8B(R

354AM24AE50_K5,9@0<354AM 2Ea[d,c3%=n,9,/26/M26/,9B(35E/iMKa35M`6cP(,/6:N35P,

69M 2E*4AE35,/2(69CQ02;Q6/MP,9K5,/2(69C`MU35P(,e6/@70E*E*4IH60354AM 2>02J;`4A35E

69M 269,/B(35E/\nP4AEL4AE8P(47GP@ICDhE*,cUh@x=?P(,/269M @A@70[dMK:0<354

S

,/@IC

[(h4A@7;(4A2GpE*h[E3:023540@M235M@AM G 4A,/EgMKk=?P,/2NM235M @AM G47,9Ea0K5,

K5,9hE*,;MKp.8,cK5G ,;<³l\>nP,1.10BB4A2(GY0@AE*M>B(K5M

S

47;(,/Ef0

.8,96cP024AE*.UMK35P,nB-K5M

S

4AE*4AM 2pMUjB(K:069354A60@-K5,0E*M24A2GaE*,cK*R

S

4A6/,/Ex[C1,9-B(@7M4I35472(Gp4A.8B@A,/.8,9235,/;1|e~FEC-E35,/.8E/i-, \G(\Ai(35P,

¯0vn¨EC(E35,9. I±<l\WnP4AEp.8,02Ea35PJ0<3L02ZM 235M@7MGCO,c-R

B-K5,/E*E*,;Z4A2O|_]e}N~awgm%~602ª[d,8K5,0E*M 2(,;OM

S

,9Kp[CW35P,

¯0vnK5,0E*M2,9KVE*,/,f+,/69354AM 2>\c\

]ª8¡§*¦¥j+5*¡¢¡,#7n¤'¥( ¡§9 ¦l§_c¥d§'¢¦¥ g¦¥V -*(.A¡¥ (¡/ c¤

108 -*(2o#,9\`®_|a¯n+(p³u47EV0qB-K5M BdM E*,/;.8,/6:PJ02(4AE*. UMK

;-,/B@AMC-4A2Gf.8,93:0 ;(03:0-\|_]e}N~awgm~Y4AE?;(,9H2,;10E_02Q,c-R

35,92E*4AM 2ZMUx®k|a¯n+cij35P,cK5,/[C>.104A2Gq|_]e}N~awgm~ªM 2(R

35M@AM G 4A,/E8B0K*35470@A@IC_06/6/,/E*E*4A[@A,p35M`02C%®k|a¯n+tRt0/=x0<K5,/

0BB(@74A60<354AM 2T´l\]k2DM 235M @AM GCª472D|_]e}N~awgm~602D[d,

h(E*,;W[CF02O0G,/23f35P03s4AEs2M3s|g]g}N~awgm~0/=x0K5,8[(h(3

4AE`®_|e¯n+L0/=x0<K5, \ nPhE`|g]g}N~awgm~T4AEN0ZBdM35,9235470@

.102J0G ,/.8,/23?;-,

S

4A6/,gUMK_35P(,eG ,92,9K:0@)+-,9.102354A6gXZ,/[\

]3A¡**¢a¡*§*¦ t5§9 4*ci0

S

M 47;-472(Gx35P,)35,/.8B(3:0<354AM 2g35Mn35P-K5M<=

, ,9K*C35P4A2Gp47235Mp35P(,s6/MK5,s@702(G hJ0G , ij.84I-4A2GLh(BqU,/035h(K5,9E

S

nPhEx35P(,e@A47.84I35Ek0K5,a69@7,/0Kg02J;`,9-B@A4A6/4I3\

|g]g}N~awgm%~1UMK5.8E0g,cCsB4A,/6/,xMUJ=nMK5VE3*K5M2G @ICfK5,/@7035,;f35M

35P(,eXbv5$Ee+-,/.102354A6eX,/[Y]_6c354

S

4I3%C\nnP,s@702(G hJ0G ,fPJ0E_[d,/,92

;-,/E*69K54A[d,;84A2Q.8MK5,g;-,93:04A@d,/@AE*,9=?P(,9K5,LI± ±cli([(h(3u=n,gB-K5M

S

47;-,_P(,9K5,

06&J0

S

M h(KoMU35P,k|g]g}N~awgm%~N0B(B(K5M06cP\|g]g}N~awgm%~Y0@A@AM<=?E

35P(,n;-,9HJ2(4A354AM2L02;p;-,/E*69K54AB(354AM 2VMUd69@0E*E*,/Ek6/M 2(6/,/B(35E:ciE*@AM35E?K5,9R

@70<3547M2E*P(47B(E:cio4A2;(4

S

4;-hJ0@7Eq472(E3:02(6/,/E:p02J;D0-4AM .8Ef=?4A35P(4A202

M235M @AM GC\

2.1 Class Definitions

m%2a|_]e}N~awgm~i96/@70E*E);-,9HJ2(4I3547M2E0K5,oB-K5M

S

47;-,;g35P(K5MhG Pe35P(,

h(E*,eMU)0E*E*,9K*354AM 2(E_MKk0-4AM .8E/\nP(,/E*,s0E*E*,9K*3?35P03i-UMKk,9(0.8B@A, i

0xB0K*354A6/h@70<K)6/@70E*E

!

4AE)0?E*h[d6/@70E*EMU-35P,6/@70E*E <

&

J \]_@I35,9K*R

20354

S

,/@ICi<0<-47M.8E602f0E*E*,9K*3,«hJ0@A4I3%Ce[d,93%=o,/,/2a6/@70E*E*,9E/iE50/Cg35P03

<

&

J 4AEo,«h(4

S

0@A,/2335M

!

\],9Cp0E*Bd,9693nMUj|g]g}N~awgm~

4AE35PJ03u35P,/E*,_0-4AM .8Eo02;80E*E*,9K*354AM 2(Ex2,/,/;L2M3oE*4A.8B@ICL6/M26/,cK52

0<35M .84A6`6/M 2(6/,/B(35E/iE*h(6cPª0E

&

J MK

!

iu[h-3p6/020@AE*MWh(E*,

69M 269,/B(3MBd,9K:035MK5EE*h(6cPp0E)35P,o[dMM @A,028MBd,9K:035MK5E 7 i 02;

!

\um%2N0;;-4A354AM2i85c¤5 4c¦§9 ¦+¥W,9-B(K5,/E*E*4AM 2(Ek35P03xK5,/B-K5,/E*,/23?K5M @A,

K5,9E3*K5476c3547M2DMKp«h02354IHJ60<354AM 2O602O[d,`h(E*,;=?P4A6:PZ35P,/.8E*,9@

S

,/E

.10/Cq,/.8B@AMC>6/M .8B(@A,9NHJ@A@A,9K5E/\pnP4AEe4AEa4A2W69M 23*K:0E3a35M`6/M 2

S

,92(R

354AM2J0@UK:0.8,pK5,/B-K5,/E*,/23:0354AM 2WEC-E35,/.8E/i=?P(,9K5,84A2G,/2,9K:0@iE*@AM3

69M 2E3*K:04A23?H@7@A,9K5Ek02J;QE*h(Bd,9K56/@70E*E*,9Eg.ph(E3x[d,a6/@70E*Ek2J0.8,/E/\

¯MK,9(0.8B@A, i=n,o.10Ca;(,9H2,

&9

0E)35P(,o6/M2{h(269354AM2

MU

&

02;f35P,uK5,/E3*K54A69354AM 2p35P03u0@A@HJ@A@A,9K5E)UMK

! .ph(E3)[d,

MU(3tC-Bd,

&

J \)]_E0?.8MK5,6/M.8B@A,9a,9(0.8B@A, i=n,u6/M h(@7;V;-,9HJ2(,

0;: ((<=

&9

0Ee35P(,L6/M2{h(269354AM2ZMU

&

J =?4I35PW35P(,

K5,9E3*K5476c3547M2V35P030@A@HJ@A@A,9K5EUMK

! .VhE3[d,u35P,o69M 2{%h2(69354AM 2pMU

<

&

J =?4I35Pp35P(,nK5,/E3*K54A69354AM 2L35PJ0<335P,x024A.10@-.ph(E3 /= : /

>

7

& i4\,\o0fUhE*ECQ60<K524

S

MK5,aM2@IC`,035Ekm%2;(4702q02(47.10@AE/\

m%2135P4AEn=x0/Ci0K5[(4A3*K:0<K54A@ACQ6/M.8B@A,9`;(,9E*69K54AB(354AM 2(Ek6/02q[d,g[h4A@I3

h(B\

2.2 Property Definitions

? K5MBd,9K*3%CF;-,9HJ2(4I3547M2EaG4

S

,/Ee35P,V2J0.8,VMUu35P,pB-K5M Bd,9K*3tCF02;

0@A@7M=?E80;;-4A354AM2J0@oB(K5M Bd,cK*3547,9EpMU?35P(,`E*@AM3p35M>[d,`0E*E*,9K*35,;ji4l\, \

4A2

S

,9K5E*,9E/inMK8=?P(,935P,cK835P,qE*@AM3QP0EL3*K:02E*4I354

S

, ixEC-.8.8,93*K54A6`MK

Uh2(69354AM 2J0@(B-K5M Bd,9K*354A,/E/\u+@AM35E0@AE*MeUMK5.¨P4A,9K:0K56:P4A,/E/iE*Mg=n,x.10/C

0@AE*M8E*Bd,/6/4IUC`35P,e20.8,/ExMU02C`E*hBd,9K5E*@AM35E/\

m%2Z ,/,/B4A2(Gq=?4I35PO®_|a¯n+(ci;-M .10472Z02J;FK:02G,`K5,9E3*K5476c3547M2E

M2ª0FE*@AM3L602ª0@AE*MW[d,QE*Bd,/694AH,;io02;D0Ep=?4I35Pª6/@70E*E8;-,/E*69K54AB(R

354AM2E/i;(M.104A2F02J;YK:02(G ,fK5,/E3*K54A69354AM 2Es602W[d,p0K5[(4A3*K:0<K*C>6/@70E*E

,c(B-K5,/E*E*4AM 2(EnE*h6:Pq0E?02(M 2C-.8M hE6/@70E*E?,9-B-K5,/E*E*4AM 2EoMK?[dMM @A,02

69M .p[(4A2J0354AM2EMUj6/@70E*Eo2J0.8,/E02;p6/@70E*Eu,9-B(K5,/E*E*4AM2E/i0G04A21,9R

35,92J;(4A2(GV35P,g,9-B(K5,/E*E*4

S

4I3%CQMU3*K:0;(4I354AM 2J0@UK:0.8,a@702(G hJ0G ,/E/\o]_@A@

0E*E*,9K*354AM 2(EV.10;(,80[dM h(3VE*@AM35EV0K5,8h(E*,;[C>35P,LK5,0E*M 2,cKi02;

.10/C14A2J;-h6/,gP4A,9K:0K56:P4A60@K5,/@70<3547M2E*P(47B(E_[d,c3%=n,9,/2N6/@70E*E*,9E/\

2.3 Reasoning and DAML+OIL

nP,oK5,/0E*M 2(4A2GeE*,9K

S

4A6/,/E)Mj,9K5,;f[Cf0k|e,/E*69K54AB-3547M2L~M G 4A6xE*h(B(R

BdMK*3835P,q;(,

S

,9@7MB.8,/23102J;D4A269K5,/.8,923:0@?.104A235,/2J026/,QMUs02

M235M @AM GC³\Nyg4AG P(@ACWM B-354A.847E*,/;4A.8B@A,/.8,/23:0354AM2EaMU?E*Mh2;

02J;86/M.8B@A,935,?3:0[@A,0h(1E*h([E*h.8B-354AM 210@AGMK54I35P.8EoUMK

S

,9K*C8,9R

B-K5,/E*E*4

S

,?|a~EuE*h6:P10E@ "!b6/028[d,khE*,;L4A21E*B4I35,?MU35P,?P4AGP

=oMK5E3*R60E*,Y6/M .8B(@7,c(4I3tC\nPhE102M 235M@7MGC,9-B(K5,/E*E*,/;hE*4A2(G

|_]e}N~awgm~F602N[d,

S

,9K54IHJ,;qh(E*4A2GL35P,s¯0vnK5,0E*M2,9K\?nP(,

,9C8K5,0E*M24A2G8E*,cK

S

4A6/,9Eg0<K5, ¸

A8BDCFE/BFGIHDJ/K-LNMPOQDR)OS8KMDT [d,c3%=n,9,/2e3%=oMk69M 269,/B(3;(,/E*6cK547B-354AM 2E/i

v02J;>|piv¬E*h[(E*h.8,/Eg|pid=?P,/2>35P,VE*,93aMUn4A2J;-4

S

47;(h0@AE

35P03a0<K5,p4A2E3:026/,9EeMUu| 0K5,L0@I=x0/C-Ea0`E*h([E*,93gMU35P,f4A2(R

;-4 47;(h0@AEx35PJ0<3g0<K5,a4A2E3:02(6/,/E?MUuv_\

(3)

4A235MQ0QBJ0<K*35470@MK:;-,9Ka[J0E*,;WM2F35P(,pE*h([E*h.8B-354AM 2>6cP(,/6:j\

nP(4AEnB(K5M

S

47;(,/Eo0f@703*354A6/,_MU;(,9H24I354AM 2(E/iK:02G4A2GsUK5M .^35P,

G,/2,cK:0@s35M35P,OE*Bd,/694AH6 \ voM .8BdME*,;;(,cHJ24I354AM 2(E>PJ0

S ,

35P(,/4IKBdME*4I3547M2s47.8B(@A47694A35@ICe;(,935,9K5.84A2(,;e0h-35M .10<35476/0@A@IC\nPhE

69@0E*E*4IHJ60<3547M2W4AEg0`;C-2J0.84A6sB(K5M69,/E*E_=?P(,9K5,V2(,9=69M .8BdMR

E*4I354AM 20@,9-B(K5,9E*E*47M2Ea602W[d,p0 ;(;(,;N35MQ02F,9-47E354A2(GqP4A,9K*R

0<K56cPC\

LNM OR)HDJ E J/K-E CFKK-J 6:P,96cEx=?P,935P(,9K_0p6/M26/,/B-3_;(,/E*69K54AB-R

354AM26022,

S

,9KaP0

S

,L4A2E3:02(6/,/Es[d,/60hE*,LMUx4A26/M2E*4AE35,/2-R

6947,9EkMKk6/M 23*K:0 ;-4A69354AM 2Ek4A2Q35P(,a.8M;(,/@\

XP(,/286/@70E*E*4IUC(4A2(Gp02`M235M @AM GCi0a2-h(.p[d,9KMU2(,9=E*h([E*h(.8B(R

354AM 2pK5,/@70<3547M2E*P(47B(Eu.10/Cs[d,?;-47E*69M

S

,9K5,;Ql;-h,o35M_35P,n6/@70E*Eo;-,9HJ2(4AR

354AM 2Ex4A2`35P,g.8M;-,/@c\nP4AE?602`[d,eh(E*,9Uh(@;-h(K54A2Gs35P,_M 235M @AM GC

6/M 2(E3*K5h69354AM2NBP0E*,8 ´\

2.4 Layers of DAML+OIL

|_]e}N~awgm~pP0E06A¡**¢a¡*§*¦ t5§9 4*ci0

S

M 47;(4A2(Gn35P,)35,/.8B(R

3:0354AM 2f35Mk35P-K5M=D,

S

,9K*C35P4A2(Gk4A235M?35P,o69MK5,n@702(G h0G ,i.84I(4A2(Gkh(B

U,0<35h(K5,/Ea35P03s6022M3f[d,pK5,0E*M2,;WM

S

,9Ks=?4A35PF35PME*,L35PJ03s6/02

[d, \?nPhEx35P(,f@A4A.84I35Eg0<K5,s6/@A,0Ke02J;Q,9-B@A4A6/4I3\knP,s47;(,0L4AE_35P03

U,0<35h(K5,/E8E*h(6cP0E8K5h(@7,9E8602ª[d,N4A26/@Ah;(,;ª0E8@70/C,9K5E/io60K5,9Uh@A@IC

B(K5,/E*,cK

S

4A2(G35P,N[dMh2;(E1MUe=?P03Q602[d,qK5,0E*M2,;=?4I35P[(h(3

=?4I35PM h-3k,9-6/@AhJ;(4A2(GVU,/035h(K5,9Ek35P03k0K5,s;-,/E*4IK:0[(@7,\

3. ANNOTATION

mt2`35P(47E?E*,/6c3547M2q=n,gB(K5,/E*,/23x35P(,e[J0E*476s0<K56cP(4I35,/6935h(K5,e02J;`BP(4AR

@AM E*M B(PCq[d,/P(4A2J;1M h(KkB-K5M35M3tC-Bd,a02(2M3:0<354AM 2N35MM @\

3.1 COHSE

wgh-Ks47235,9K5,9E3V4A2O022(M3:0354AM2OP,9K5,84AEa=?4I35P4A235P,869M 235,93sMU

35P,nvxwgya+(zOvoM26/,/B-35hJ0@wgBd,92fykC-Bd,9K5.8,;(470k+-,cK

S

4A6/,B(K5M<{,/6c3

l\vxwgye+(z^04A.8E835MZ[(K54A2GW35M G ,c35P,9KQ02M Bd,/2PC-Bd,9K5.8,;-470

0K56:P4I35,/6935h-K5,84A2qBJ0<K*354A6/h@70Kk35P,g|e4AE3*K547[(h(35,;Q~4A2E_+-,cK

S

4A6/,p

MKq|a~+(1=?4I35PbM 235M @AM G4A60@fE*,9K

S

4A6/,/EN4A2bMK:;-,9KN35MDB(K5M

S

47;(,W02

0K56:P4I35,/6935h-K5,_UMKn35P(,a+-,9.102354A6?X,/[>I±<<l\ra,9CL35Ms35P,evxwgya+-z

0B(B(K5M06cPq47Ex35P(,s0[4A@A4I3%C`35M802(2M3:035,eK5,/E*Mh(K56/,/E?=?4I35PYE*,/.102354A6

.8,;0<3:0

°

35P4AEk.8,93:0 ;(03:0p4AE_35P(,/2Nh(E*,;q35M8@A472(N;-M6/h.8,/235Ea4A2

BJ0<K*354769h@70K`35MOB(K5M

S

47;(,>@A472(EI- 1MUV;(M6/h(.8,/235E:c\vxwgye+(z $E

6/h(K*K5,923oB(K5M35M3%C-Bd,_,/.8B@AMC-En0sE*Bd,/6/470@A4AE3k[(K5M=?E*,9K?B@Ah(G 4A2n35P03

0B(B@A4A,/E?@74A2(-Ex35M8;-M6/h.8,9235E/\

BW35MY2M=ai)Mh(KVB(K5M35M3%C-Bd,/EsP0

S

,8hE*,;Z0

S

,9K*CWE*47.8B(@A,10B(R

B(K5M 06:P\NXMK:;-R.10<356cP(472(GQ=?4I35P4A2Z35P(,L35,93VMU_;(M6/h(.8,/235EaPJ0E

[d,/,/2VhE*,;s35Ma;(,935,cK5.8472(,n602J;(47;(035,x@A4A2f02(6cP(MKM B(BdMK*35h2(4I3547,9E/i

=?4I35P80e@A,9-4769M 2103*3:06cP(,;V35Me35P(,xM 235M @AM GCLB-K5M

S

47;(4A2(Gg35P,x[-K54;-G ,

[d,93%=o,/,/2Y35P,V;(M69h.8,/23g02J;N35P(,V6/M26/,9B(35E/\eX,L0K5,V2M=0<3s0

E3:0G,g=?P,9K5,_=n,g=?4AE*PQ35MV,/.8B@AMCL35P(,ghE*,gMU,c(B(@A47694A3?.8,c3:0 ;0<3:0

0E*E*M6/470<35,;W=?4I35PF35P(,p;-M6/h.8,9235E

°

35P(4AEg=?4A@7@)K5,«h(4AK5,VE*,/.102354A6

02(2M3:0<354AM 2Ep02;35MM @AEp=?P4A6:POU06947@A4I3:035,QB(K5M;-h69354AM 2DMUk35P(M E*,

02(2M3:0<354AM 2E/\

3.1.1 Linking as Annotation

raM4

S

h(2,/2>,93s0@\qI±<u;(4AE*6/hE*Es0BB-K5M06:P,9Ee35M`X,/[F022(M3:0<R

354AM 2Ek02J;16035,/GMK54AE*,fEC(E35,9.8Ex0E/i472`35P,e.104A2i-,/4I35P,9K

HL

C E#R MK CL E#RC E#R \omt2N0pB-K5M<CR[J0E*,;q0BB(K5M 06:Pi(35P,

02(2M3:0<354AM 2Ep02;O;(M6/h(.8,/23p0<K5,1.8,9K5G ,;Z[CF35P,1B(K5MCi=?4I35P

35P,[(K5M=?E*,9KE*,/,/4A2G?M2@ICg35P(,).8,9K5G ,;a;-M6/h.8,9235E/\mt2s0n[(K5M=?E*,9K*R

[J0E*,;N0B(B(K5M 06:Pid0LE*Bd,96/470@A4AE3e[(K5M=?E*,9Kg0B(B@A4A60354AM2N=?47@A@.8,cK5G ,

,9K5E*4AM 2(E`[0E*,;ªM 2[dM35P}qM/4A@A@70ª02J;}q4A69K5M E*MU3/$Eqmt235,cK52,93

z-B(@7MK5,9KkPJ0 ,e[d,9,/2N;-, ,/@AM Bd,/;

4A2(G(\]_2(2M3:0354AM 2(En602Q[d,gE35MK5,;`E*,9BJ0K:0<35,/@ICQ02J;1B(K5M

S

47;(,;

S

470

E*M.8,q022(M3:0354AM2E*,9K

S

4A6/,WMK8,9B(3f=?4A35P(4A2ª35P(,QB-K5M<CO4I35E*,/@IU:c\

nP(4AEk[d,/0K5Ek.102C`6/M .8B0K54AE*M 2(E?=?4I35PN35P(,e|a~+di(=?P(,9K5,s4A2E35,0;

MU02(2M3:0354AM 2(Ek=o,s0K5,s0 ;(;(4A2Gp@74A2(-E/\

m%2U0693V35P,1B(K5M

S

4AE*4AM 2DMU_;-C-20.84A68@A472(472(GF0Eph(E*,;Z[CW35P(,

vxwgye+(z>B(K5M<{,/6c3u6/02L[d,xE*,/,9280E0g4A2J;fMUj022M3:0354AM 2

°

4A2p35P4AE

6/0E*,NPC-Bd,9K*35,93L@A4A2E80<K5,N[d,/4A2GWB(K5M

S

47;(,;OK:035P(,9KL35PJ02E*M.8,

35,c-35h0@02(2M3:0<354AM 2\xvxwgya+-z $E?6/h(K*K5,923_0<K56cP(4A35,96935h(K5,shE*,9E?35P(,

[-K5M=?E*,9K*R[J0E*,/;0B(B(K5M 06:Pi0@I35PMhG P>=n,L0K5,L4A2

S

,/E354AG0<354A2GQ35P(,

h(E*,eMU0VB(K5MC>l0E?=x0E?4A24I35470@A@ICN,9.8B@AMC,;1[C135P(,e|a~+(c\

M35,135P03V=?4A35P(4A2ªvxwgya+(zxi35P(,`B(h(K5BdME*,QMUg022(M3:0354AM24AE

2(M3E*4A.8B@ICs35MeBdMBh@70<35,?0g2M=?@A,;(G,x[J0E*,nUMKK5,93*K54A,

S

0@i0E35P(,

022(M3:0354AM2E?=?47@A@[d,ah(E*,;Q35M1;-,9K54

S

,a@A472(q026:PMK5EkUMK_M h(3t=x0<K:;

@A4A2EnUK5M . K5,/E*M h-K56/,/E/\

3.2 The Tool

wgh(Kg02(2M3:0<35MKgPJ0Eg[d,/,/2Y4A.8B@A,/.8,/235,;QhE*4A2G`082h.p[d,cK_MU

,c(4AE354A2Gq6/M .8BdM2,/235Ef02;4AEfB-K5M

S

47;-,;Z0EV0q[-K5M<=?E*,cKpB(@7h(GR4A2\

? K5M

S

4;-4A2G?35P,u022(M3:0<3547M2V35MM@(0E)0?B@AhGRt4A2s35Mg02V,c(4AE354A2G?=n,9[

[-K5M=?E*,9KnP0En0a2h.V[d,9KMU0 ;

S

023:0G ,9E/\nP,khE*,9Ko60216/M235472h(,

35Mp[(K5M=?E*,f;(M6/h(.8,/235Ex472N0pU0.84A@A470K_,/2

S

4AK5M2.8,/23n=?4I35P>06/6/,/E*E

35M835P(,/4IKaM=?2W[dMM-.10<K5Eg02J;>[(K5M=?E*4A2G`B(K5,9U,9K5,/269, \sm%2>0;;(4IR

354AM2i35P(,s[(K5M=?E*,9Ke6/02N3:0 ,f6/0K5,sMU35P,f;-4L6/h@I354A,/EkMUu;(,0@A472(G

=?4I35PY[0 ;(@ICRlUMK5.8,;qye?}N~id08Bd,9K5,/2(2470@B(K5M[@A,/. =?P,/2>;-,0@IR

4A2(Gp=?4I35PqK5,/E*M h-K56/,/EkM 2`35P,e=n,9[\

C`hE*4A2GL0LB@AhGRt4A2q0K56:P4I35,/69R

35h-K5, iJ35P(,V022(M3:035MKeP0Ee06/6/,/E*E_35M135P(,V|awa} M[-{%,/693a[(h4A@I3g[C

35P(,e[(K5M=?E*,9K_02J;q602N[J0E*,s02(2M3:0<354AM 2E?M2q35PJ0<3\

¯4AG h(K5,a±xE*P(M=?E35P(,x[J0E*4A6k0K56:P4I35,/6c35h(K5,x35PJ0<3=o,k0K5,?,/.8B@AMCR

4A2(G(\knP,f022M3:0354AM 2Y35MM@4A235,cK:06935Ek=?4A35P>0p=o,/[Y[(K5M=?E*,9Ke02;

0Q6/M @A@A,/69354AM 2DMU?M 235M @AM G4A,/E/iB(K5M

S

4;-4A2GN022(M3:0354AM2Es=?P4A6cPD0<K5,

35P(,/2qE35MK5,;q4A2N02Y02(2M3:0354AM 2NE*,cK

S

4A6/,aMKk®_|a¯K5,9BdM E*4I35MK*C\

! K-TNBR#"%$'& E/K-O)(*OQ K-J#R)O%J#B(R

nPME*,xM 235M @AM G4A,/Eu.10/Cs[d,x[(h4A@I3)=?4A35PV35P,nP(,/@ABpMUd0_K5,0E*M2,9K\

mt2Y0 ;(;(4I354AM 2iJ35P,s022M3:0354AM 2Y35MM@.10/CQh(E*,aUh2(69354AM 20@A4I3%CNB-K5MR

S

47;(,/;L[C8021M 235M @AMGC1,;-4A354A2(GV6/M.8BdM 2(,/23iMKx,

S

,/210aK5,0E*M2,9K

0Ek;(4AE*6/hE*E*,/;q[d,/@AM=a\

nP,?022M3:035MKu69M 2E*4AE35EMU02L,93*K:0_35MM @A[0K=?P4A6cPp47Eu0 ;(;(,;

35M_35P,?hE*,9K/$E=n,/[8[-K5M=?E*,9KgP(,9K5,x=n,k;(,9E*69K54A[d,?35P(,xm%235,9K52(,93uzR

B(@AMK5,9K

S

,9K5E*4AM 2i0@I35P(M hGPL35P,k}qM+/4A@7@70s6/@A4A,/23uB(@AhG 4A284AEE*47.84A@70Kcc\

nP(,g35MM @[J0<K_Mj,9K5Ek0p2h.V[d,9KxMU)069354AM 2(E/¸

]k22M3:035,35P,6/h(K*K5,9235@ICaE*,9@7,96935,;a35,93=?4I35Ps35P,6/h(K*K5,/235@IC

E*,/@A,/6c35,;N6/M 2(6/,/B-3\

(4)

=?P(4A6cP>0@7@AM=?Ee35P,sh(E*,9Kg35M1E*Bd,/6/4IUC>086/M 2(6/,/B(3_35M1[d,Vh(E*,;

UMK?35P,e022(M3:0<3547M2\

+-0

S

,g35P,e022(M3:0<3547M2NE*,/E*E*4AM 2\

~M0;Q35P,gK5,9E*h@I35ExUK5M . 02q,0<K5@74A,9Kg02(2M3:0354AM 2YE*,/E*E*4AM2\

3.2.1 Concept Browsing

wg4A@7zu;FI±94AE?0VE*4A.8B@A,e,;-4I35MKxUMKx35P,ewgm~F02J;`|g]g}N~awgm%~

@702GhJ0G ,/E/\mt30;(MB(35Eu0_UK:0.8,9R@74A,?0BB-K5M06:PL35PJ0<3u0@A@AM<=?EuhE*,9K5E

35MY6/M 2(E3*K5h693VM 235M@7MG 4A,/ELh(E*4A2G>0NU0.847@A470K%h(E*,9K*RlUK54A,/2J;-@IC(>4A2(R

35,9K*U06/, \uMp;035,iE*M.8,aL;(M=?2(@7M 0 ;-EkMU35P,k35MM @PJ0

S

,e[d,9,/2

K5,«h,/E35,/;fUK5M.35P,?wg4A@7zu;f=n,/[LE*4I35,\wg47@7z;V=x0Eo;-,

S

,/@AMBd,;V4A2

0 S

0i(02J;Q0E?0sK5,/E*h@I3x35P,_6/M .8BdM2,/235Enh(E*,;`=?4I35P(472`35P,_47235,9K*R

U06/,?602L[d,o,0E*4A@ICpK5,/h(E*,;p4A2p35P(,x02(2M3:0<35MK\mt2pBJ0<K*354A6/h@70Ki 35P,

wg4A@z;Z4A235,9K*U06/,Q69M .8BdM 2(,/235Ef0@A@AM<= hEs35MYB(K5M

S

4;-,`0N6/M 2(6/,/B(3

[(K5M=?E*,9Ks35PJ0<3a6026/M2E3*K5h6c3f0K5[4I3*K:0<K547@ICW6/M .8B(@A,9F02;W2,9E35,;

6/M 2(6/,/B-38,9-B(K5,/E*E*4AM2E/\b¯4AG h-K5,>FE*P(M=?E135P(,q6/M26/,9B(38[-K5M<=?E*,cK

=?4I35P>35P(,VE*4A.8B(@7,f6/M26/,/B-3 - E*,/@A,/6c35,;

°

35P4AEk=?47@A@)[d,

U0.847@A470Kk35M802CM 2,_=?PMLP0E?hE*,;135P,swg4A@7z;N0B(B@A4A60354AM 2\

! K-TNB(R$ LNM O%RH J & (L E#R

3.2.2 An Example Annotation

¯4AG h-K5,81E*PM=?Ee35P,fXZ,/[>[(K5M=?E*,9K\p]K5,/G 4AM 2WMUu35P,L;-M6/h(R

.8,/23P0E)[d,/,/2fE*,/@A,/6935,/;VUMK022(M3:0<3547M2\nP(,x02(2M3:0354AM 2p35MM@IR

[J0<Ks602Z[d,8E*,9,/2[d,/@AM= 35P,gMMG @A,`35MM@A[J0KfM235P,L[-K5M=?E*,9K\

wg26/,n0kK5,/E*Mh(K56/,x4A2L0kK5,/G 4AM 2L02J;V02p0BB-K5M B-K540<35,x6/M 2(6/,/B-3PJ0

S ,

[d,/,/2QE*,/@A,/6935,;ji35P,e022(M3:0<3547M2N602N[d,a.10 ;-, \nP4AE_0E*E*M6/470<35,/E

35P,sE*,/@A,/6935,/;qK5,/G 4AM 2>=?4I35PN35P,sE*,/@A,/6935,/;>69M 269,/B(3_4A2>02Y4A235,9K52J0@

E3*K5h6935h-K5, \ª¯4AG h-K5,N³WE*P(M=?EL35P,qE*4I35h0354AM 20U35,cK835P,Q022(M3:0<R

354AM 2OPJ0Ep[d,/,92O.10 ;(,\F] .10K5,cKp4AEL0;;-,;W35MY35P,`;(M69h.8,/23

K5,/2J;-,9K54A2Gp35M84A2;(4A6035,a35P(,aB(K5,/E*,/2(6/,aMU35P(,s022(M3:0<3547M2\ M35,i

PM=n,

S

,9Ki35PJ0<3n35P,g02(2M3:0<354AM 2qP0En2(M3x[d,9,/2q0;;-,;L35MV35P,_06cR

35hJ0@J;(M69h.8,/23\XP,/2p35P(,?.8M hE*,?4AE.8M

S

,;pM

S

,9K35P4AE.10K5,9Ki

35P,e69M 269,/B(3xUMK5.84A2Gp35P(,a02(2M3:0354AM 2Y4AE?E*PM=?2\uwg2(6/,e35P,e02(R

2M3:0354AM 2(E8PJ0

S

,q[d,9,/2.10;(, i35P(,9K5,Y0K5,q0W2h.V[d,9KVMUa069354AM 2(E

35PJ0<3x=n,a.10/C13:0, \

+-0

S

,q35P,>022(M3:0354AM2ikhE*4A2GO®k|a¯MKN0ZE*4A.84A@70K`K5,/B(K5,9R

E*,923:0<354AM 2\p¯4AG h-K5,1´1E*P(M=?Ee35P,p®k|a¯69MK*K5,/E*BdM2J;(4A2(GQ35M

35P(,102(2M3:0<354AM 2O.10 ;-,80[dM

S

,\qXZ,10<K5,1hE*4A2G>02Z,935,/2(R

E*4AM2¬MUL35P,>Xbv022(M3:0354AM2E*6:P,/.10 F35PJ0<3YB(K5M

S

47;(,/E

! ! "#$$&

('* J

$ &

' <- )=-(

! K-TNBR$'&(L E#R2C R L R M MDL J J/K-L M

0YE*Bd,/6/470@740<354AM 2MUx35P,

!!"#$$

'

$$$

-

!

!&

)=(-7< B(K5MBd,9K*3%C\nP,>B(K5M

S

4AE*47M2MUf02

®k|a¯ +-6:P,9.10ª[0E*,;¬K5,9B(K5,/E*,/23:0<3547M2UMKF|g]g}N~awgm~

0@7@AM=?Eph(Ee35Mqh(E*,10Qh2(4IUMK5.K5,9B(K5,/E*,/23:0<3547M2UMKs35P,L02(R

2(M3:0354AM2

°

35P(,Y02(2M3:0<354AM 2E8=?4A@A@_[d,N06/6/,9E*E*47[(@A,>35M02C

0G ,/23)35PJ0<3)h2;(,9K5E3:02J;-E35P,o022(M3:0<3547M2pE*6:P,/.10k02;f[0R

E*4A6®_|a¯n+(l0@I35PMhG Pe=?4I35P(M h(32M=?@A,;(G,MU-|g]g}N~awgm~

MKK5,/0E*M 2(4A2Ge35P,?0G ,/23.10/Cf2M3[d,?0[@A,n35Me4A2-U,9Ku02Cf,9R

3*K:0p4A2-UMK5.10<354AM 2dc\

]k@A35,cK52J0354

S

,9@ACi=n,1602OE*,92J;W35P(,Q022(M3:0354AM2Z35M>02O]k2(R

2(M3:0354AM2F+-,9K

S

4A6/,eE*h(6cPq0E_]_22(M35,0\

¯4A2J0@A@ACi-4IU35P(,gMK547G4A2J0@;(M69h.8,/23n4AEo=?4I35P(472QM h-Kx6/M 23*K5M@li

=o,a602Q472(E*,9K*3x35P,e022(M3:0<3547M2N4A235MV35P,e;(M6/h(.8,/23\)nP4AE

4AE/i_MUf6/M h-K5E*, ig0Z@7,9E*EqE50354AEU06935MK*CbE*M @Ah(354AM 2ig[(h(3`4AE`35P(,

0BB(K5M 06:PY35PJ03_PJ0Eg[d,/,92>0 ;(MB(35,;N4A2>E*M .8,s,0<K5@ICY,9-Bd,9K*R

4A.8,/235En4A2N022(M3:0354AM2ZE*h6:Pq0En35P,e|_]e}N~awgm~YPM.8,9R

=oMK5c\

wgh-Kq69h(K*K5,/23Q47.8B(@A,/.8,/23:0354AM 2Mj,9K5EqM2@IC35P(,FH(K5E3qMUV35P(,/E*,

MB(354AM 2(E

°

0VU06/4A@A4A3tCqUMKkE50

S

4A2(G802(2M3:0<354AM 2E_0E?®k|a¯o\

m%2`35P4AEx,9(0.8B(@7,pE*,/,s¯4AG h(K5,f´ciJ0VE*472(G @A,s6/M 2(6/,/B-3?PJ0E?[d,/,92

h(E*,;OUMK835P(,Y02(2M3:0354AM 2¬E*PM=?24A2ª4A3:0@A4769E:c\ M35,N0@AE*M35P(,

² ?

M 4A235,9K*R@A47 ,f,c(B-K5,/E*E*4AM 2(EehE*,;N35M147;(,/2354IUCQ35P,sK5,/G 4AM2WMU35P(,

;-M6/h.8,923f=?P4A6:PP0EL[d,9,/2E*,9@7,96935,;\ªXZMK5Z4AE8h2;(,9K*=n0C35M

[-K54A2G135P4AEa4A235M`@A4A2,p=?4I35PW35P(,VXb v² ? M47235,9Ks6/02J;-47;035,fK5,/69R

M.8.8,/2J;(0354AM 2\¬MO@AMM 03q0.8MK5,N6/M .8B(@A,9,c0.8B@A, in=o,

.10/CF022M3:035,10qB0G,Q0[dM h-3Vmt2J;-402Z024A.10@AEshE*4A2GQ35P,L6/M2(R

69,/B(38E*P(M=?24A2¯4AG h-K5,>nP(47EL=?4A@A@?35P,/2ªK5,/E*h@I314A2ª35P(,N®k|a¯

E*P(M=?24A2¯4AGh(K5,F>=?P(4A6cP0G04A2PJ0EL35P,q69M 269,/B(31E*P(M<=?24A2

4I3:0@74A6/E/\

4. DISCUSSION

m%2q35P(4AEgE*,/69354AM2id=n,sUM69hEeM2N35P(K5,/,f0K5,/0EeMUu4A235,9K5,/E3_=?P4A6:P

P0

S

,x0K54AE*,/2`;-h(K54A2GeMh(K,9-Bd,9K54A,/2(6/,?MUj[h(4A@;-4A2GaM h-KB(K5M35M3%C-Bd, ¸

!! "#$$

%'

$<$

-

!

!! "#$$

7/'

$ /

$

%'

(5)

! KTNB(R$ &(L E#R J#R M MDL J J/KLNM

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

-&& ."#-///$$

+"& ! "#('''$'+"+0&")&,

-"/-"/ /&+0-&/1"#+"+0"),2

/-00"2

*//".-/ !"#('''$&'+"+0"),3"+0&"&2

*//".-/-"/ /&+0-&/1"#+"+0"),4"-/3"+0&"&2

+" +"+/

/".-/

& "+" -5++-.6/+1,7 8(9:;<:& //+-&8'95='7 8(9:;<:/" 8'95=>&2

+" -"/2

-5-/+"2/+1-5-&/+"2

+" -/+/2:./@?.A$'A$BC$(>@(''$+" -/+/2

-5+/2:./@?.A$'A$BC$(>@(''$-5+/2

-"/-"-/2

DEFGHIJKH&FLL

MENIFOP&QR&S5TURRVWIXXVPRFRPKYZL YG5F[YFZYQ\XZP&UL]XKP[RPHP^_&]LX\FYEFGH`aK]&L]F MZU]

MT

b

G H[LIEFG HS5TURRVWIXXccc YEFGHYPM

^XdeefXegX5EFG HhP_H` T

b

G H[LIP_H]ESTURRViIXX5_G^YZLYGKF&[YFZYQ\&X5P_HXKP_H&]E`5T

b

G H[LI

MENS5TURRVWIXXcccYcgYPM

^XfjjjXe&dXddk

MENkLl[RF

b

k[L` T

b

G H[LI

MENLS5TURRVWIXXccc Ycg YPM

^XdeeeXef&X

MENk&LZU]GF` Tm

D&XKEFGHIJKH&FLLm

-"/ -"-/2

/-&0&0&"2

2

!

K-TNBRon$ A K4GIHRoprq

! ( M M L J J#K-LNM

]k2M2C-.8MhEo|g,/E*69K54AB(354AM 2(Ets

wg235M@7MGCqvoM 23:0472(.8,/23us

mt2E3:026/,

S

E/\]k[dM h(352(,/E*E/\

4.1 Anonymous descriptions

? ,9K5P0B(Ee35P,L,cC0E*Bd,/693fMUn|g]g}N~awgm~O=?4I35P4A2W35P(4AEf69M 2(R

35,93k47E?35P,f0[4A@A4A3tCq35M1;-,/E*69K54A[d,p0<K5[4I3*K:0K*Cq6/M 2(6/,/B-3g,9-B-K5,/E*E*4AM 2E

°

4\,\_2(M3{h(E3gE*4A.8B@A,s6/@70E*Eg,9-B(K5,/E*E*4AM 2YE*h(6cP>0E

!

02J; 7' i

[h-3L6/M.8B@A,9O,9-B-K5,/E*E*4AM 2E8E*h(6cP0E

<

&

J

=?4A35Pwv

'- 02;

'= : \nP4AE8.8,02(Ep35PJ0<3102Cª022M3:0354AM 2ª35MM @?.ph(E3L[d,

0[(@7,L35MYE*h(BBdMK*3f35P(,80[(4A@74I3tC35MN6/M2E3*K5h(693fE*h6:PO0K5[(4A3*K:0<K*C,c-R

B(K5,/E*E*4AM2E/if02;b02CUK:0.8,9=nMK5UMKY35P(,WK5,/B-K5,/E*,/23:0354AM202;

PJ02J;(@A4A2GaMUd35P,k02(2M3:0354AM 2(Eu.VhE3[d,x60B0[(@7,kMU;-,0@A4A2Ga=?4I35P

E*h6:Pq,9-B-K5,/E*E*4AM 2E/\

X,`6/02Z35P,92OhE*, O E/E/K OJ/K-LNM in0Ep;(,/E*69K54A[d,;O0[dM

S

, i)35M

35P,/2`BdM E*4I354AM 2`35P,/E*,g02(M 2C-.8M hEn;(,/E*69K54AB-3547M2En=?4I35P4A2`35P,g69M 2(R

6/,/B-3_P(4A,9K:0K56:PCQB-K5M

S

47;-,;Q[C135P,aM235M@AM GC\unP(47Ek6/@70E*E*4IH60354AM 2

6/M .8,9E847235MWB@70/Cª=?P(,/235P(,>vxwgya+-z 69@74A,/23`EC-E35,/. h(E*,/E835P,

02(2M3:0<354AM 2Eu35Mp;-,935,9K5.84A2,?@A4A24A2GfM BBdMK*35h2(4A354A,/En0Ex;-,/E*69K54A[d,;

4A2q.8MK5,s;-,93:04A@4A2 -i±<l\

]^,cC>BdM 4A23sP,9K5,84AEa35PJ0<3f;(,/E*69K54AB-3547M2Es2,9,;W2(M3s[d,L4A23*K5MR

;-h6/,/;ph2354A@-35P(,9Cp0K5,k2,/,;-,;i=?P4A6:P8.8,02(E35P03B(K5M

S

47;(,;V35P(,

69M .8BdM 2(,/235En0<K5,gB(K5,9E*,/23x4A2`35P(,gM 235M@7MGCi(02(2M3:0354AM 2(Ex602`[d,

0E1;(,93:04A@7,/;0E8K5,«h(4AK5,/;i=?4A35P(M h-3835P,NMK547G4A2J0@kM 235M@7MG 4AE3QMK

.8M;-,/@A@A,9KaPJ0

S

4A2G`35MqB(K5M

S

47;(,V6/M 2(6/,/B(35h0@;(,9E*69K54AB(354AM 2(Ef.10<356cP-R

4A2(G80@A@,

S

,/235hJ0@A4A354A,/E/\

]_EsPJ0Ep[d,/,92D;(4AE*6/hE*E*,/;Z,/@AE*,9=?P,9K5,W ´io<liK5,0E*M24A2G>602

B(@70CW0qB0K*3V;(h-K54A2GQ35P(,86/M 2(E3*K5h69354AM2ZBP0E*,LMUx35P,LM235M@AM GC\

wgh-Kn6/h-K*K5,/23xB(K5M35M3tC(Bd,_E*4A.8B@IC1hE*,/EuUh2(69354AM 20@A4I3%C13:0,92`UK5M .

35P(,nwg4A@7z;V0BB@A4A60<3547M2p4A2fMK:;(,cK35Mg0@A@7M=D35P,hE*,cK35MkUMK5.69M .LR

B(@A,9`6/M 2(6/,/B(3_;-,/E*69K54AB(354AM 2(E/\xnP(,f69h(K*K5,/23?B(K5M35M3tC(Bd,a.10,/Ex2(M

h(E*,8MU?02CFK5,/0E*M 2(4A2GF;(h-K5472(GN022M3:0354AM 2\N] BdM E*E*4A[@A,1hE*,8MU

K5,/0E*M 2(4A2GN=nMh@7;Z[d,L35MN,/2(E*h(K5,835PJ0<3s35P,86/M26/,/B-35hJ0@o;-,/E*69K54AB(R

354AM2EL=?P4A6:P0K5,q[d,/4A2GZ6/M2E3*K5h(6935,;0<K5,N6/M2E*4AE35,/23Q02J;ªE503*R

4AEHJ0[@A,Y=a\K\3\35P,F0-4AM .8E14A235P,YM235M @AM GC\¨]_@I35,9K520354

S

,/@ICi

=o,s6/M h(@;QB(K5M

S

4;-,f02NM235M@AM GCRt;-K54

S

,92Y47235,9K*U06/,1<)0Ek47EkhE*,/;

=?4I35P(472Q35P,s]g}

m*+WI±/B-K5M{%,/693VE*,/,f¯4AG h(K5, c\nnP(,s]e}QR

m*+a47235,9K*U06/,?0@A@7M=?E35P,nh(E*,9K35Me69M 2E3*K5h(693)6/M26/,9B(35hJ0@(,c(B-K5,/ER

E*4AM2V=?P4A6:PL0<K5,n35P,/2s3*K:02(E*@0<35,;V35Mg«h(,9K54A,/E)M

S

,9K[(47M4A2(UMK5.10354A6/E

;(03:0qE*Mh(K56/,9E/\N] E*47.84A@70Kp0B(B(K5M 06:P=nMh@7;Z0@A@AM= h(E*,9K5Ea35MY4A2(R

6cK5,/.8,/23:0@A@IC69M 2E3*K5h(693Q6/M 2(6/,/B(3Q,9-B(K5,9E*E*47M2E`UMKN02(2M3:0<354AM 2\

nP(,_ ,9CL0E*Bd,/693xMUj35P,_]e}

m+p4A235,cK*U069,gP,cK5,_4AEu35P(,?hE*,kMU0

K5,/0E*M 2(,9K35Ma;(,c35,9K5.84A2G_35P(,x0B(B(K5MB(K547035,xE*Bd,/6940@A47E50<354AM 2`M B(354AM2E

35P03k0<K5,aB(K5,/E*,/235,;135Mp35P,ghE*,9K\

4.2 Ontology Containment

nP,1«h,9E3547M2t=?P03V6/M 2(E354I35h(35,/EV02OM235M@AM GC{z/ [d,/6/M.8,/E

4A.8BdMK*3:023=?P(,/2a=n,n6/M2E*47;(,cK02(2M3:0<354AM 2s=?4A35P(4A2V35P,o+-,9.102354A6

X,/[\)nP,k6/M 235,93o=?4I35P(4721=?P4A6:Pq022(M3:0354AM2Ex0<K5,g.10 ;-,_4AE

S

4IR

3:0@JUMKn35P,k6/MK*K5,9693?02;`69M 2E*4AE35,/23x4A235,9K5B-K5,93:0354AM 21MU35PME*,g02(R

2(M3:0<3547M2E/\eX4A35P>020BB-K5M06:P>@A47 ,V|_]e}N~awgm~i(35P,f6/@70E*E*,/E

02J;ZB-K5M Bd,9K*354A,/EV472ª02OM 235M @AM GCª0K5,Q;(,9H2,;W[CZ0Y2-h(.p[d,9KsMU

E3:0<35,/.8,/235E/\+-MxU0<Ki,c0.8B@A,/EMU-|g]g}N~awgm%~LM 235M @AM G4A,/E35,/2J;

35M[d,YG 4

S

,/20E ®_mtE/in=?4I35P02²a}N~E*,9K5470@740<354AM 2TMUa35PME*,

®k|a¯E3:0<35,/.8,/235EaUMK5.84A2(Gq35P,8[dM;CWMUx35P,LK5,/E*Mh(K56/,\Y]_Ef02

,c0.8B@A, i3:0 ,g35P,eM235M @AM GCNE*PM=?2N4A2q¯47Gh(K5, -\

nP4AEN35,/@A@AE>hEYE*M .8,c35P4A2G0[dM h-3>6035EOl0ENK5,/B(K5,9E*,/235,;¬[C

35P(,86/@70E*E

!! "#%$$

!

%=-=( /

$

''<

!

ci?4A2ZBJ0<K*354A6/h(R

@70<Ku35P0335P,9Cp0K5,k024A.10@AEu02J;p0K5,xUh-K*K*C\Ma[d,x.8MK5,x,c(B(@A47694A3i

=?4I35P(472V35P,x6/M235,c-3MU35P(4AEB0K*354A6/h(@0<Ko69M @A@A,/69354AM 21MUE3:0<35,/.8,/235E

MK6/M @A@A,/69354AM28MUd®k|a¯Q3*K54AB@A,/E:ci=n,x602L;-,935,9K5.84A2,35PJ030k6034AE

0fUh(K*K*Cq02(4A.10@\ny_M<=o,

S

,9Ki4A2NMK:;-,9K_35Mp-2(M=T35P(4AE/i=n,sP0

S

,e35M

2(M<=0[dMh(3_35PM E*,fE3:035,9.8,/235E/id02;N=n,a35PhEkPJ0 ,a35M1[d,p0[@A,

(6)

-&& ."#-///$$

+"& ! "#('''$'+"+0&")&,

-"/-"/ /&+0-&/1"#+"+0"),2

/-00"2

*//".-/ !"#('''$&'+"+0"),3"+0&"&2

*//".-/-"/ /&+0-&/1"#+"+0"),4"-/3"+0&"&2

+" +"+/

/".-/

& 1"#/0-/1""&6

+0+5,7 8(9:8'9:;<:&0&+8'9K=

'78(9: 8'9:;<:30+K8'9K= &2

+" -"/2

-5-/+"2/+1-5-&/+"2

+" -/+/2:./@?.A$'A$> ('C$ (''$+" -/+/2

-5+/2:./@?.A$'A$> ('C$ (''$-5+/2

-"/-"-/2

DEFGHIJHFLL

b

GH[L IEFGHS5TURRVWIXXcccYEFGHYPM

^Xdeef&Xe&gXEFGHhP_H`5T

bG H[L IP_H&]ESTURRViIXX_G^YZ&LYGKF[ YFZYQ\&XP_HX5P_H]E`5T

bG H[L IMENSTURRViIXXcccYcg YPM^XfjjjXe&dXddkMENkLl[RFbk[L`T

bG H[L IMENLS5TURRVWIXXccc YcgYPM^XdeeeXefXMENk&LZ&U]GF` Tm

DEFGHI&_[R]ML]ZR_P[&N V5FML]l&V5]STEFGHIZPHH]ZR_P&[5Tm

DEFGHIJKH&FLL

MENWIFOPQRS5TURRVWIXXV5PRFRPYZ&LYGKF[ YFZKYQ\XKZPUL]XKP&[RPH&P^K_]&L&XK]H&]VUF[RL YEFGH`F[_GKFHTm

DX5EFG HIJH&F&LLm

DEFGHIa5]LR

M

_ZR_P[m

DEFG HIP&[MPV]

MRl

MENI M]LPQM

Z]&S5TURRVWIXXVPRFRPKYZL YGKF&[YFZYQ\X5ZPUL]X5P[RPHP^5_]L&X5]H]VUF[R&LYEFGH`ZPGK]&LN

MPGTm

DX5EFGHIP[

MPV5]

MRlm

DEFG HIUFLJH&F&LLm

DEFGHIJHFLLm

DEFGHIQ[_P&[N V5F

M

L]l&V5]STEFGHIZPHH]ZR_P&[5Tm

DEFG HIJH&F&LLm

DEFGHIP[]&N V5F

M

L]l&V5]STEFGHIZPHH]ZR_P&[5Tm

DEFGHI&U_[^

MENWIFOPQRSTURRViIXXV5PRFRPYZLYGKF&[5YFZYQ\&XKZPUL]X5P[RPH&P^5_]&L&X]H&]VUF&[RLYEFGH`[E_&FTm

DX5EFG HIU_[&^m

D&XKEFGHIP&[]Nm

D&XKEFGHIJHFLLm

DEFG HIaK]LR

M

_ZR_P&[m

DEFGHIP[

MPV5]

MRl

MENI

M

]&LPQM

Z]S5TURRVWIXXV5PRFRPYZ&LYGF[ YFZKYQ\XZP&UL]XKP&[RPH&P^_]LXK]H&]VUF[RLYEFG H`5_LV5F

MR5PN Tm

D&XKEFGHIP&[MPV]

M

R&lm

DEFGHIUF&LJHFLLm

DEFGHIJKH&FLLm

DEFG HIP[]&N VF

M

L]&lV]S5T&EFGHIZPHH&]ZR_P[Tm

DEFGHIUK_[^

MENIFOPQR&S5TURRVWIXXVPRFRPKYZ&LYG5F[ YFZKYQ\XZP&UL]XKP&[RPH&P^_]LXK]H&]VUF[RLYEFG H`[E_FTm

DXKEFG HI&U_[&^m

D&XKEFGHIP[]Nm

DX5EFG HIJH&F&LLm

D&XKEFGHIUFLJKH&F&LLm

D&XKEFGHIaK]&LR

M

_ZR_P[m

DX5EFG HIQ[_P[&Nm

D&XKEFGHIJKH&FLLm

DX5EFGHIUF&LJHFLLm

DX5EFG HIaK]LR

M

_ZR_P&[m

D&XKEFGHI_[R]

M

L]ZR_P&[&Nm

DX5EFGHIJHFLLm

-"/ -"-/2

/-&0&0&"2

2

! K-T B(R $ L GIH-R prq ! ( M M L J J#K-LNM

35Mf3:0@A10[dM h-3n35P,_hE*,_MU35P(,g6/@70E*E

!! "#%$$

!

%=-=( /

$

J''%<

!

=?4A35P(4A2s35P(,u69M 235,93MU(35P(,/E*,E3:035,/.8,/235E/\nP4AE35P(,/2

K5,«h4IK5,/EshEs35MN[d,`0[(@A,135MqE*Bd,/6/4IUCZ35P(,86/M 235,93s=?4I35P4A2=?P(476:P

02q022(M3:0<3547M2N35PJ0<3?hE*,/Ex35P,g6/M 2(6/,/B(3?=n0Ek.10 ;(,\

yg0

S

4A2GY35P(,`69@0E*E84I35E*,/@IUg4AEL2(M3L,92M h(G P\ h(E3L[d,/60hE*,`35P,

6/@70E*E47EG 4

S

,/2a[Ck35P,h(K5@

!! "#$$

!

%==(* /

$

J''<-

! i

=n,`602ª.10 ,`2(MF0E*E*h.8B-354AM 2Ep0[dMh(3p=?P(,9K5,135P,`E3:035,/.8,/235E

35PJ0<3o.10,xhBp35P(,?M 235M @AM GCLK5,/E*47;(,\)XZ,x.84AG P3e(5§9 35P0335P,

®km

!!"#$$

<

!

%==-* /

$

J''%< =?4A@A@a;(4IK5,/693qhE135MO35P,

®_|e¯NE*6cP(,/.10k35P03B(K5M

S

47;(,/E35P(,xE3:035,/.8,9235E;-,9HJ2(4A2Gg6/035E/i[(h(3

=n,86022(M3fG h0K:0235,/,L35P(4AE/\`nP,9K5,84AEs2MqK5,/«h(4IK5,/.8,/23e=?4I35P4A2

35P,Q|g]g}N~awgm~b0BB(K5M 06:P35P038M235M@AM G 4A,/E1.VhE3L[d,QK5,/B(K5,9R

E*,/235,;L0Eu²e}N~RE*,9K5470@A40354AM2EoMUj®_|e¯>E3:0<35,/.8,/235EE*4I3*35472(Ga03o0

E*4A2G @A, ®kmci02J;p0@I35,9K52J0<354

S

,?K5,9B(K5,/E*,/23:0<3547M2EMKuE35MK:0G ,?.8,/6:P(R

02(47E*.8Ex.10/C`[d,e,/.8B(@AM<C,;\

nP(47E4AEu2(M3u0a«h,/E354AM2LMUj20.8,/E*B06/,/E

°

35P(,x2J0.8,9E*BJ069,x47Eu0

E*4A.8B@A,x.8,/6:PJ02(4AE*.¨UMKo;(4AE50.V[4AG h0354A2Ge35,cK5.8E

°

[(h(34AEu4A2E35,/0 ;

0[dMh(38P(M<= =n,q.84AGP3pE*Bd,/6/4IUCD,c06935@ICO35P,Q6/M 235,93LMKL35,9K5.8E

MUnK5,cU,9K5,/2(6/,L=?4I35P4A2=?P(476:PZ02Z022M3:0354AM 2W=x0Es.10;(, \L]^,9C

.8M354

S

0354AM 2UMKV35P,8hE*,1MU_M235M @AM G47,9EL4AEf35P(,Q0[4A@A4I3%C35MYE*P0K5,

4A2(UMK5.10354AM 2 ¥d¡ ,9¦ ¤\b|eh(,Q35M35P(,q.8,/6:PJ024A6/E8MUg35P,

®_|e¯£|_]e}N~awgm%~WK5,/B-K5,/E*,/23:0354AM 2(E/i35P(,9K5,f47E_35P-h(Eg08K5,«h4IK5,9R

!

K-TNB(R$ ( &/A BDR M J#R O%R

/0&"$' 2

5+& +&"#(''$&'!+&!"0&,

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

5& !"#(''''$)-/+,

&"")).-"&"##*&2

+""#*@+1".&2

5-"&/23"""#*-"&/2

+&/0""2$K'+&/0&""2

+& ""#*2

+4+ & "")).5-"&&"##*,+0+&2

+4+ & "")).5-"&&"##*,.* 0&#&2

+4+ & "")).5-"&&"##*,-+&2

5&.14+2

+&4+{ +1". "")).5-"&&"##*,.* 0&#2

&.14+2

5&.14+2

+&4+{ +1". "")).5-"&&"##*,+0+&2

&.14+2

+& 4+2

2

! K-T B(R$# $ J#E (R 1B M K4G %E

=?P(4A6cP`35P,a6/@70E*E*,9Eg0<K5,a[d,/4A2GLh(E*,;q4AE?-2(M=?2\

% J¦§&W¡J¤L±90<K5,p02>0@I35,9K52J0<354

S

,aK5,/B(K5,/E*,923:0<354AM 2YUMKeE*,9R

.10235476V.8,93:0 ;(03:0`472)&Jh(,/26/,/;F[C>E*h[{,9693s4A2J;(4A6/,9EV0EeUMh2J;F4A2

[dMME/\¨¯(K5M . 0UMK5.10@_K5,0E*M24A2GDBd,9K5E*Bd,/6c354

S

, i?35M B4A6>.10B(E

E*h)j,9KQ472E*M.8,Y=x0/C-EQ4A26/M.8BJ0K54AE*M2b35MO|_]e}N~awgm~

°

35P(,

|_]e}N~awgm~@702G h0G,pB(K5M

S

47;(,/Eg0LK5476:P>6/M @A@A,/69354AM2WMUo6/M26/,9B(3

UMK5.84A2GM Bd,9K:0<35MK5EFE*h6:P0E16/M2{%h26c3547M2i?2(,/G0<3547M202;,9R

B(@A47694A3V«hJ02354AH60354AM2d_=?4I35P=n,9@7@o;(,9H2,;>E*,/.102354A6/E/iU06/4A@74I3:0<3*R

4A2(G_35P,uhE*,uMUJK5,0E*M 2(,9K5EE*h6:Pp0E35P,x¯J0 vnZEC-E35,/.35MgMK5G024/,

02J;`6/@70E*E*4IUCqP4A,9K:0K56:P4A,/E/\oMB4A6f}N0B(E_;-M(i(PM=n,

S

,9Ki-K5,/6/M G24AE*,

35P(,_69M 23:04A2.8,923o4AE*E*h,g=?4I35P135P,g4A2(6/@AhE*4AM 2QMU0VE*6/MB4A2GV.8,/6cP-R

024AE*.N\

o=nMWB(K5M<{,/6935E16/M26/,cK52,;O=?4I35PE*,/.102354A6q022(M3:0<3547M2ª=o,9K5,

+yawezF02;1wg235M[(K5M,9K\mt2p35P,_+yawez0BB-K5M06:PNI±<li(M235M @AMR

G4A,/En0<K5,k.10<K5,;ph(BL4A21021,935,/2(E*47M2L35Maye?}N~Y02J;80K5,kE35MK5,/;

02J;LK5,9U,9K*K5,;`35MfhE*4A2(Gp0 ®_~\nP(,e022M3:0354AM 2W=?P4A6:P`M696/h(K5E

=?4I35P(472F35P,8;-M6/h.8,923c?6/M 23:0472(Ef02,c(B(@A47694A3aK5,cU,9K5,/2(6/,L35MQ35P(,

M235M @AM GC\bwg235M [-K5M ,9KN<e0G0472hE*,/E84A2(Rt;-M6/h.8,/23p.10K5hB

K5,9@AC-4A2GqM 2O02O,935,/2E*4AM 2MUx35P,'

)(

3:0Gc\Qm%2W35P,`wg235M [-K5MR

,9K,9(0.8B(@7,9E)B(K5M

S

4;-,;V35P(,nM 235M @AMGCL4AE)K5,9U,9K*K5,;p35Me4A.8B@A4A6/4I35@IC

°

B-K5,/E*h.10[@ICe4I3)4AE35P(,uK5,/E*BdM2E*4A[4A@A4I3%CsMU35P,69K:0/=?@A,9Ku0G,/2335Mg;-,9R

35,cK5.8472(,a35P,pM235M @AM GCY35PJ03e47Eg472FhE*,\ M35PFMUu35P,/E*,VEC-E35,/.8E

0;(MB(3a02F0BB-K5M06cP>=?P,9K5,9[CN0`69M @A@A,/69354AM 2WMUuBJ0G,/Ea0<K5,VK5,/G47ER

35,cK5,V=?4I35PZ01E*,9K

S

4A6/, \8]k2F0G ,923a35P(,/2F69K:0/=?@7Ee35P(M E*,LB0G,/Es02;

h(E*,/Eg35P(,V.8,93:0;0<3:0835M`B(K5M

S

47;(,sK5,93*K54A,

S

0@\fnP4AEe6/Mh@7;>[d,V6/M2(R

E*47;-,9K5,;4A2OE*M .8,L=n0/CO0t6/@AM E*,;-WMKWt6/,/23*K:0@A4AE*,;-0BB(K5M 06:P\

X4A35PD35P,Nvxwgya+-z^0BB(K5M 06:PioBJ0G,/E`0K5,Y022(M3:035,/;ix02J;03

[-K5M=?E*472(G8MKkK5,0 ;-4A2GL354A.8, i35P(,s02(2M3:0<354AM 2Eg0K5,a35P,92NhE*,;`35M

0hG.8,/23_35P(,V;-M6/h.8,9235E/\ew_U6/M h-K5E*,f=?4I35P(472vxwgya+-z=n,f=?4A@7@

(7)

S S

4.3 Instance vs. Aboutness

]Uh-K*35P,9Ks,cC>«h,/E354AM 2F35MN0;;-K5,9E*Ee=?P,/2>=n,L69M 2E*47;-,9KV02(R

2M3:0354AM 2W47Ee35P03aMUg¦¥(¤5 ¡¥d§:0 S

E/\q¡,' ¥jc¤5¤5\1®k|a¯n+?PJ0E

0O[h4A@I3Q472B-K5M Bd,9K*3tC 7 :

#t!

< " 35PJ03q0@A@AM=?ENhE`35MD.10,>0ER

E*,9K*354AM 2(Es0[dM h-3s4A2J;(4

S

47;(h0@)K5,/E*M h-K56/,/E/\L¯MKs,9(0.8B@A, ij3:0,V35P,

®_|e¯ZE3:035,/.8,/23xE*P(M=?2N4A2Y¯4AG h(K5,L±/-\

/-0&0"@ +1".& 0#/5-"&+1"1&2

*/{ /".-/& "")).5-""6,++#/2

/-&00&"2

! KTNB(R#"$ & L CKE $ MT R

nP(47ExE50/C-Eo35P03n35P(,_K5,/E*Mh(K56/,

!! "#$ $(&

7'

!

*/

$ ! ::

$

-

!

J 4AE8024A2(E3:0269,qMU_35P,`6/@70E*E

! ! "#$$

!

=-=(

/

$

--' \D®k|a¯T4AEf=n,/@A@nE*,93phBZ35MF;(,/0@o=?4I35PDE*h6:P

0E*E*,9K*354AM2E/\DygM=o,

S

,9Ki35P,9K5,`.10/CZMU35,/2ª[d,QE*4I35h0354AM 2(EL=?P,9K5,

=n,f=x023e35MQ.10,V02W0E*E*,cK*3547M2W35P03s01BJ0<K*354769h@70KaK5,/E*Mh(K56/,p47E

¡,' e01BJ0<K*354A6/h@70Ke6/M 2(6/,/B(3p4A2>35,cK5.8EgMUo4I35Eg6/M235,923ccidK:0<35P,9K

35PJ02qE50/C-472(Gp4I3k4AE_02q4A2E3:026/,aMU)4I3\]_Ek02Q,9(0.8B(@7,i-35P(,eBJ0G ,

!! "#$$

(

!

'

$

4AE0[dM h-3o,9@7,9BPJ0235E/i[h-347E

2M3p4I35E*,/@IU_02O4A2E3:026/,1MUg02O,/@A,/BP023

°

=n,835PhEs2,/,/;ZE*M .8,

.8,/6:PJ02(4AE*.¬35PJ0<30@A@AM=?Eh(E35M_K5,9U,9K35M_35P(,o6/M235,923MUK5,/E*Mh(K56/,9E

=?4I35PM h-3kPJ0

S

472(GV35ML,c(B(@A47694A35@IC`3%C-Bd,g35P(,gK5,/E*M h-K56/,/E?35P,/.8E*,9@

S

,/E/\

M35,q35P038=n,YE*P(M h(@;ª2M3Q69M 2(UhE*,Y®k|a¯.$E 7 : # -

!

0<3*R

3*K54A[h(35,L=?4I35P%0[dM h-352,/E*E*F0Ep;-47E*69hE*E*,;ZP(,9K5, \qX4A35P(4A2O®_|a¯oi

7 : # -

!

4AEV0q.8,/6:PJ02(4AE*. 35PJ0<3aK5,/@7035,/EV0QK5,/E*Mh(K56/,L35MN®k|a¯

E3:035,/.8,9235E)69M 269,9K524A2Ga4I3iK:0<35P,9K35P028;-,/E*69K54A[4A2Ge35P(,x6/M 235,/23

MU)E*M.8,eK5,/E*M h-K56/, \

mt2qM h-Kk6/h(K*K5,/23?B-K5M35M3tC-Bd, i=n,s0K5,s,j,969354

S

,/@IC`E*4;-,9RE35,/BB(4A2G

35P,n4AE*E*h(, \]_@A@35PJ0<3)35P,x022(M3:0354AM2L0E*E*,cK*35Eu4AE35PJ0<3)35P,nE*,9@7,96935,;

K5,/E*M h-K56/,YPJ0E`02022(M3:0354AM2=?P4A6:P6/M 2(E*4AE35E`MUa35P,NE*,9@7,96935,;

6/M 2(6/,/B-3\nP,9K5,a4AEk2Mp4A2(E3:0269,9RMU0E*E*,cK*3547M2YP,9K5,\

wg2(,QBdME*E*47[(@A,NE*M @Ah(354AM235M>35P4AELB(K5M[@A,/. 4AEp35MF4A23*K5M;(h69,N0

2,9=K5,/@70354AM 2iE50/C

#

!

02J;1hE*,k35P4AEo35MVK5,9@0<35,;

35P,eK5,/E*Mh(K56/,9Eg35ML35P,a6/@70E*E*,/Eg35PJ0<3_K5,9B(K5,/E*,/23k35P,/4IK_E*h[{,/6c35Ee0E

4A2N¯4AG h-K5,1±± \

/-0&0"@ +1".& -""//+-&6"#2

-"/+.1/-&@/".-/"")).-"&1/+&&,//+&2

/-&00&"2

! K-TNBR#"%" $ QDKE E/K-J#R KE C LNBDJ R)H Q M J/E

nP(47EpE*M @

S

,/EL35P(47EpB(K5M [(@A,/.Ni[h(3VK5,/@A4A,/E1M 2ª0WE*P0K5,;Dh2;(,9K*R

E3:02;(4A2GaMU35P(,?E*,/.102354A6/EMUM h-Ko,935,/2(E*4AM 2L35Me35P,?[0E*4A6_®k|a¯

.8M;(,/@k, \G(\q35P,'

#

!)(

B(K5M Bd,cK*3%Ce4AU?E*h(6cPZ02

02(2M3:0<354AM 2N4AEx35ML4A235,9K5B(K5,935,/;Q6/M2E*4AE35,/235@IC\

®k,935h(K52(4A2GW35MM B(4A6}N0BE/ix35P(,Y0B(B(K5M06cPª35P,9K5,Y4AE835MO;-4AR

S

4;-,e35P,e=oMK5@7;YhBN4A2q35,9K5.8E?MUoM B4A6/E/id]_E*E*M6/470354AM2Ea02J;Ywg69R

6/h(K*K5,926/,/E/\

K5M0;(@ICTE*Bd,04A2G-iVM B(4769E>0K5,ZK5,/@7035,/;

S

470]_ER

E*M6/470354AM 2(EZ02J;wg696/h(K*K5,/2(6/,/EYK5,/B-K5,/E*,/23F6/M 2(69K5,935,O.102(4IU,/E3:0<R

354AM 2E`MUa35P(,>M B(4A6/E/\MB4A6/E`602472(6/@AhJ;-,F[dM35P6/@70E*E*,/EY02;

4A2E3:02(6/,/E14A2F35P(,L|a~ªE*,/2E*,<ci=?P4A@A,`wg6/6/h-K*K5,/269,/Es0K5,N¥ e4A2(R

E3:02(6/,/EMUd35P,?M B4A6/E/\nPh(E69M 269,/B(35E@A47 ,

" &

' 02;

9

!!-&

=?47@A@j[dM35P1M6/69h(K?0Eo35M B(4769E/i-=?4I35PQ0eK5,/@70354AM 2(E*P4ABq[d,9R

3%=o,/,/2

9

!!-&

02J;

" &

' K5,/B(K5,/E*,92354A2(GW35P,QU06c3

35PJ0<3pP(,%$EL0YE*4A2G ,cK\Z] =o,/[DBJ0G,Q69M 23:04A24A2(G(iuE50CZ0

47.LR

0G,FMU

? 0 S

0<K5M3*354ikMKq0

MUsP(47.E*4A2G4A2Gsc¤:¤'¥! :8¡

602N35P(,/2N[d,a6/M2E*47;(,cK5,;N35M8[d,aM6/6/h(K*K5,926/,/E_MU ? 0 S

0<K5M3*354\kwg69R

6/h(K5,926/,fK5M @A,/Ef0K5,Lh(E*,;Y35Mq47;(,/2354IUC>35P(,p4A2J;>MUoK5M@A,p35PJ0<3a35P,

°

? 0 S

0K5M3*354liu[h-3L35P,`,9CU06c35MK1P,cK5,q4AEL35PJ0<384I384AEL2M3102b¦¥

¤5 ¡¥J§:fMU

? 0 S 0K5M3*354\

mt3.10Ce[d,u35PJ0<30?E*47.84A@70K0BB-K5M06:Ps=?47@A@P,9@7Bf4A2p;-,0@A4A2Gk=?4I35P

35P(,e4A2E3:026/,<£0[dMh(352,9E*E_B-K5M [@A,/.N\

4.4 Related Work

]_Eg;(4AE*6/hE*E*,/;W0[dM

S

, iwg235M[(K5M,9KL<02J;W+-yewezI±<=o,9K5,

B-K5M{%,/6935Es6/M26/,9K52(,;F=?4I35PWE*,/.102354A6802(2M3:0354AM 2WhE*4A2GNM235M @AMR

G4A,/E/\

wg235M]_2(2M3:035,qn4AEf0`35MM@uUMKf[h(47@7;-472(GqE*,/.10235476L022(MR

3:0<354AM 2E?UMKg=o,/[YBJ0G ,/E/\kygM=o,

S

,9Kid4I3_4AE_2(M3_6/@A,0K_=?P,935P(,9K_35P(,

35MM@(4AEE*hB(BdMK*354A2G_35P,n6/M2E3*K5h(69354AM 2LMU0kK5,/@70354AM2E*P4AB8[d,93t=n,/,92

35P(,V=o,/[K5,/E*Mh(K56/,802J;>35P,LM235M@AM GCiMKs4AEs4A235,92J;(,/;>35Mq0@A@AM<=

35P(,aBdM B(h@70354AM 2qMUu0p2M=?@A,;(G,s[J0E*,a=?4I35PY4A2(UMK5.10354AM2N3:0,/2

UK5M . 35P(,eBJ0G , \

4.5 Concluding Remarks

+-,/.10235476_.8,93:0 ;(03:0s4AEkE*,c3x35MpB@70/CQ0V.10{MK_B0K*3?4A2Q35P(,g4A.LR

B(@A,/.8,/23:0354AM 28MU35P(,e+,/.102354A6xXZ,/[`02J;102(2M3:0<354AM 21=?47@A@j[d,_0

,9C`.8,/6cP02(47E*. UMK_E*hB(B@IC-472(Gp35P,a.8,c3:0 ;0<3:0V=?P4A6:Pq=?4A@A@35P,/2

[d,hE*,/;f[Cs0G ,/235E)0E35P,9CgK5,93*K54A,

S

,o4A2-UMK5.10<354AM 2\XZ,PJ0

S

,oB-K5,9R

E*,9235,/;>E*M.8,p47;(,/0EeM202022M3:0354AM 2>35MM @)=?P(476:PF47Eg47235,/2;(,;

35MQE*hB(BdMK*3a35P,VhE*,8MUn|_]e}N~awgm%~ª4A2FK5,/E*M h-K56/,102(2M3:0<354AM 2\

nP(4AEn4AE/i-35P(,g0h(35P(MK5EoUK5,/,/@IC`0 ;-.84A3iE354A@A@dB(K5,9@74A.84A2J0<K*C8=nMK5802;

.Vh6:Pq4AE_35M8[d,f;-M 2,iJ4A2YBJ0<K*354769h@70Ke02>,

S

0@AhJ0<3547M2YMU35P,a35MM@l\

y_M=n,

S

,cKi=n,sP0

S

,s0@IK5,0 ;CN,/2(6/M h(235,9K5,;NE*M .8,a4AE*E*h(,/E_K5,/@70<35472(G

35Ma35P(,_h(E*,_MUK5,/B-K5,/E*,/23:0354AM2EnE*h(6cP`0Eo|g]g}N~awgm~Y02J;8®k|a¯

4A2D35P4AE86/M235,c-3\m%2ªBJ0<K*354769h@70Kin=o,Y.ph(E3LE*hB(BdMK*316/M.8B@A,9ji

02M2C-.8MhE?,9-B(K5,/E*E*4AM2E/\anP(,9K5,f47Eg082,/,;qUMKa,c(B(@A47694A3e;(,9H24IR

354AM2EsMUx69M 235,93a=?P4A6:PW=?4A@A@n0@A@AM= 0G ,/235Ea35Mq4A235,9K5B(K5,c3f022(MR

3:0<354AM 2Es4A2O0q69M 2E*4AE35,/23V.102(2,9K\`nP(,847E*E*h(,8MUx=?P03f,9(06935@IC

69M 2E354I35h-35,/Ef02ZM235M@AM GCi)02J;WPM=^=o,8.84AG P3aK5,9U,cKV35Mq35P(4AEV4AE

0@AE*Mp4A2Q2(,/,;1MU6/@70K54IHJ60<354AM 2\o¯4A2J0@7@IC135P,_;(4AE354A26c3547M2q[d,93t=n,/,92

4A2(E3:0269,s02J;Q0[dMh(352,9E*Ek.VhE3x[d,aE*h(BBdMK*35,;\

5. ACKNOWLEDGEMENTS

nP4AEo=oMK5p=n0ExE*hB(BdMK*35,;8[C8z

?

+-®kv _K:023 g®e£}Y ´<³\

nP(,QB-K5M35M3%C-Bd,`022(M3:0<35MKp=n0EL4A.8B(@7,9.8,/235,;[COn4A. }q47@A,/ER

M0K:;QMU)35P,

24

S

,cK5E*4A3tC1MUu+M h(35P0.8B-35M 2\

6.

I±9f+d\

REFERENCES

,96cP(PMU,9KiJm:\y_MK*K5M6:E/idv_\ gM [(@7,id02;Q®s\d+35,

S

,/2(E/\

wg4A@7zu;j¸u0p®_,/0E*M 2-Rt0[@A,fwg235M @AMGCqzu;-4A35MK?UMKk35P,

+,/.102354A6gXZ,9[\-m%2 % Q¡(*¡s¦¥#"%$'&()(*+-,¦¥

.k:8¡¥)/0"¤5 4c¦¡¥Z§'¥#05c¥J§: ¥#0": ¦o§9¦l¡1$:¥( t¦ c¥J§cci

47,922J0id+,/B(35,9.p[d,9Kk ± \

<f+d\

,96cP(PMU,9KiJ®s\+35,

S

,/2E/iV\ G(i]f\

06/M [Ci02J;qv_\]f\

gM[@A, \ gh(47;(4A2Gp35P(, E*,cK¸o]k2Ywg235M @AMGCQ|gK54

S

,/2

mt235,cK*U069, \Jmt2324$5 $'67+985:¤ * ¥;2¤9$:¥ t-0/¡§:c¤a

s¡ ¡<$:¥( tc¥¤5¦>=?6¤5 tcV¤:iJBJ0G,/Ea±<´

°

±/-±izu;-472[(h(K5G Pi

±\dmzzzvoM .8B(h(35,9K_+M6/4A,93%C\

sg\

,9K52,cK5ER%~,/, \@8Y*¡=¦¥ 1 -*(A8Y#,9\Jw_K54AM 2

hE*4A2,/E*E

MME/i±+\

³a|p\

K54A6:-@A,9Cq02; \®s\ ghPJ0\®k,/E*Mh(K56/,a;-,/E*69K54AB(354AM2

UK:0.8,9=oMK5`E*6cP(,/.10VE*Bd,/694AH60354AM2Z± \-\(XbvTvn02;(47;0<35,

®k,/6/M.8.8,/2J;(0354AM 2iJ -\

! ! "#$$

'

$ $

%7 : =J J \

´<

\

K5M,/E3*K:0-id}W\ra@A,/4A2id+d\|e,96c,cKi(|V\J¯,92E*,/@i¯o\

S

02

yg0K5.8,/@A,/2iJ02J;Qm:\y_MK*K5M6:E/\Jz2J0[@A4A2GL2M=?@A,;-G ,

K5,/B-K5,/E*,/23:0354AM2YM 2Q35P(,eXZ,/[`[CQz35,/2;(4A2GV®_|a¯

+6cP(,/.10-\-m%2CB §::*¢¦¥ ¤ 0C88D8C*)(+) -*E*( -*8A¢

(8)

voM26/,9B(35hJ0@~4A24A2G(¸uwg235M@7MGCR[J0E*,;YwgBd,/2

ykC-Bd,9K5.8,;(470\m%238D8D8 *)( + %

c¥ -*8 A¢ 8Q¦¢ 8N#,

@¥/0*c¥d§:ciJy_M 2GpraM 2G-id}N0/CN-± \

<f~\dvn0<K*Ki|V\|e,g®_Mh(K5, i-X\(ye0@A@id02J; V\y_47@A@\dnP(,

|g47E3*K54A[(h(35,;Q~4A2Q+-,cK

S

4A6/,¸]MM @jUMK ? h[(@A47E*P(,9K5E/i

]kh(35P(MK5E?02;Q®k,0 ;-,9K5E/\@8 A¢ 8Q¦l¢ 8N#, ,):¥d¡i

± ±<c¸³

°

´i)±+´\

s|_]e}N~\-|a0K5B0L]_G,/23_}N0K5hBq~02(G h0G ,

?

K5M GK:0.N\

!! "#$ $

7/J%' \

V+d\-|e,/6:,9KiJ}W\Jz)K:;(.1022i|V\J¯,92E*,/@i02J;Q®f\+35h;(,9K\

wg235M[(K5M ,9K¸wg235M @AM GC 0E*,;Y]k6/6/,/E*Ex35ML|e4AE3*K54A[h-35,;

02J;q+-,/.84IR%+3*K5h(6935h(K5,;8mt2(UMK5.10354AM 2\mt2q®s\}q,/,9K5E*.102i

\(0K54iJ02J;N+j\+35,

S

,/2E/i-,;-4A35MK5E/i 6dc8¡¥( ¦l§9$:¤5¤'c¤a¦¥

& ¦1*¢¦l¡E6 ¤5 tcp¤ B §c5*¢¦¥ ¤ 0 96 iBJ0G,/E

´±

°

+-\dra@Ah=n,cKg]k60 ;-,/.84A6 ? h[@A4AE*P,cK5E/i±+\

I±V+d\-|e,/6:,9Ki¯o\

S

02Qye0K5.8,9@7,92i \ K5M,/E3*K:0-i

}W\z)K:;(.102(2i-|p\(¯,/2(E*,/@im:\y_MK*K5M6:E/id}W\ra@7,9472iJ02J;

+d\-}q,/@A24Ad\(nP,_E*,/.102354A6_=o,/[ M2`35P(,_K5,/E*Bd,969354

S

,_K5M@7,9E

MU)²a}N~02J;`®_|e¯o\4$ !$:¥ t:¥jc @ ¦¥ ij \

I± ±9s|V\¯(,/2E*,/@i(mc\(ygMK*K5M6cE/i¯o\ 02`ye0K5.8,9@7,92iJ+j\-|e,/6:,9Ki

}W\z)K:;(.102(2i(02;N}W\(ra@A,/4A2\Jwgm~W4A2Y0V2-h-35E*P,/@A@\(m%2

B § 0 "%0?8 &(()(id~ ]kmci -\

I±<<Vv_\]f\ gM [(@A, id+d\ ,/6cP(PMU,9KiJ~\Jvn0K*KiJ|V\(|g,a®_Mh(K5, i(02;

X\(yg0@A@\jvoM26/,/B-35hJ0@wgBd,/2Qy_C-Bd,9K5.8,;-470nP,

+,/.102354A6_X,/[@zqmt26dc8N#, &()()*

%

*96d*§¥d¢

$:¥( tc¥J¡ ¦+¥J¡% 85:¤ * ¥F -*(?6jcL¡¥ ¦§8Y#,9i(ygM2G

raM2G-id}N0/CN ± \

I±Vv_\]s\ gM[@A, iJ®s\+35,

S

,/2E/iV\ G(iJ+j\ ,/6:PP(MU,9Ki \X\

?

0<35M 2i

? \V\

0,9Kid}W\

?

,947.Ni02;q]s\

K:0E*E/\

K:02E*B0K5,/23k06/6/,/E*E?35ML.ph(@I3547B(@A,e[4AM 4A2-UMK5.10<354A6/E

4A2-UMK5.10<354AM 2NE*Mh(K56/,/E/\ $ & 6 ¤5 tcp¤?,:¥d¡%i

³ (c¸´

°

´ ´± i-±\

I±/³fg\(®s\ _K5h([d,9K\M=x0K:;-E_B-K54A26/4AB@A,/ExUMKk35P,a;-,/E*4AG 2NMU

M235M @AM G47,9E_h(E*,;QUMKk-2(M=?@7,/;(G ,aE*P0K54A2G-\Jmt2 B§ 0 $:¥

85:¤* ¥D:8¡%n¥ %' i±-\

I±<´< \ghJ0<K5472(M(\(¯MK5.10@dM 235M@7MGCQ02;`4A2-UMK5.10<354AM 2qEC-E35,/.8E/\

mt2 B§ 0 $'6 \mwa+ ? K5,/E*E/i±-\

I± \y_,&J4A2i \yg,/2;(@A,9Ki(02;Y+j\(~h, \+yawezx¸J]

ra2(M=?@7,/;(G ,a®k,/B-K5,/E*,/23:0354AM 2N~02(G h0G ,eUMK_m%235,9K52(,93

]kBB(@74A60<354AM 2E/\,/6:P2(4A60@®_,/BdMK*3_vx+Rtn®?Rt³

}qm]kvx+1n®kR <R%±<ci|e,/B0K*35.8,/23xMUvoM .8B(h(35,9K

+6/4A,/269, i 24

S

,9K5E*4I3tC1MUu}N0K*C-@702;i±+-\

I±<<sm:\-ygMK*K5M6:E/\

,926:P.10K5102J0@AC-E*4AE?=?4A35PQU06c3\Jm%2CB §

% 0 0 2 &(()(iJB0G,/Eg

°

-id -\

I±/sm:\-ygMK*K5M6:E/i \J+-03*35@A,9Ki02;Y+j\(M[4A,/E/\ ? K:06c35476/0@

K5,/0E*M 2(4A2GLUMKk,9-B(K5,/E*E*4

S

,s;-,/E*69K54AB(354AM 2q@7MG 4A6/E/\dmt2 B§ 0

B 0!#"$iB0G ,9Es±/-±

°

±/-i)±\

I±V}W\R®s\(raM4

S

h(2,/2i-|p\

K5476:@A,9Ci

\rs0PJ02i

zx\

?

K5h;8$ygM.8.8,0h-i02J;Q®f\-®s\d+=?476:d\JnP(,gXb v

voM@A@0[dMK:0<354

S

,fX,/[q]k22(M3:0354AM2 ? K5M<{,9693V\A\A\JMKkPM=b35M

P0

S

,gUh(2Q=?P(47@A,s[h(4A@;-4A2GL02N®k|a¯Z4A2(UK:0E3*K5h6935h-K5, \

!! "#$ $

'

$$$ !-&

<

$

<-

!

!-&

$<"

" $

!

!-&

& :&%

!

-

!

i

}N0/Cq \

s|V\~\d}q6gh4A22(,/E*E/\jwg235M @AMG 4A60@4AE*E*h,/E?UMK

2(M<=?@A,;-G ,9R,/2(PJ026/,;`E*,0K56:P\(m%2CB §@10'( $'6 ) i

±-\

±9V+d\

?

,/BBd,9K\nP,s]_wMUMB4A6f}N0B(E/\Jm%2CB §::*¢¦¥ ¤ 0

&#* (ci ? 0K54AE/id¯(K:026/,i h(2,f \

<s®s\+35,

S

,/2E/i-mc\y_MK*K5M6:-E/iJv_\]f\ gM [@A, iJ02;N+j\

,/6:PP(MU,9K\

wgm%~\(m%2 $F, 0@$+"()*85:¤ * ¥,o¥ %' ¦c¤a¡¥d¢

$:¥#0#:8¡ ¦+¥A6*(¡:¦¥ id+-,0<3*35@A, iJ]khGhE3_-±\

f+d\d+3:0 0[iJ]s\}N0,;-6cP(, id02J;N+d\yg02;(E*6:P-h(P\-]k2

]k22M3:0354AM 2N¯(K:0.8,9=oMK58UMK_35P(,s+-,9.102354A6gXZ,/[\-m%2

%

*(

u¦:¤5 $:¥ t:¥d¡ ¦+¥d¡ 8 :¤* ¥ & ) ¦&*¢¦¡

0k¥(¥N ¡ ¦4¥ijM CM(i

0BJ02i

02hJ0<K*CY -±\

<³a®s\d+35,

S

,/2(E/iv_\J]s\ gM[@A, id02J;q+j\ ,/6:PPMU,9K\

wg235M @AMGCR[J0E*,/;q2M=?@A,;(G,eK5,/B(K5,/E*,923:0<354AM 2qUMK

[(47M4A2(UMK5.10354A6/E/\ c¦¥ ¤e¦¥#?¦+¦¥#0#:8¡ ¦§9¤:iJ-±\

´<a®s\+35,

S

,92E/iv_\]f\gM [(@7,iJmc\-y_MK*K5M6:-E/i(02J;N+d\

,/6:PPMU,9K\

h(4A@;-4A2G10 4AM472-UMK5.10354A6/Egwg235M@AM GC E*4A2(G1wgm~\M

0BBd,0<K_4A2Nm%zuzzmt2(UMK5.10354AM2Y,/6:P2(M @AM GCq4A2

4AM.8,;(4A6/4A2,sE*Bd,/6940@4AE*E*h,aM2

4AM 4A2-UMK5.10<354A6/E/i-±\

f}W\

E*6:PM @7;Q02J;N}W\ _K-h(24A2G,9K\jwg235M@7MG 4A,/E/¸

?

K54A2(6/4AB@A,/E/i

.8,935P(M;(E?02J;N0BB@A4A60<3547M2E/\ "./ x¥ 0!?F=¦i

±± c¸

°

±/ i±-\

< V\

S

02qyg,94{%E3iJ]s\d+6cP-K5,/4A[d,9Ki(02; \-X4A,/@A472(G0\ E*4A2G

,9-B(@74A6/4I3kM 235M@7MG 4A,/E_472qr +Q;-,

S

,/@AM B(.8,/23\7$:¥ ,1 0

G 8¡¥ 2@5 t 6( 4(¢¦c¤5iJ³ ( £c¸A±/

°

+iu± \