From Domain Ontologies to Object-Oriented Frameworks

- Frameworks

'(*),+.-/)10,234'56(7/7/)108(

1,2

^9: (-;),0;8<3=8?>A@B2CD>,(86)EF),2G3

1

^9H 36IJK'=3+.L;),2MA>/IONP>,0;>,(0;)AEQ(2R.3

1

ST/U!VWXYZ\[?]_^Y`]_YabYV/c_ZdXUY`X

1

e Yf/YZdc_ghb`^i;YZ_j^XkPT;lOmPjVnZd^XT![<c_`;XT

e

YZd`/c`fT

e

YZdZc_Zd^oPi/Y`/WY6p

S.mQqBr;st/ut

-

^st;t

-

^{v ^Xw/Zd^c}

-

^mQ[

-

^{x Zc_y^g}

YzUKc_^g|{}1ldc_g~TOp|y_Y/T/`/]?€/B^`/l_‚W/ldY6j|‚~/Z

S.Y`/XZdYldT/Z\ƒQYgY_Uc_X^]?jc_`/fK„`/l…T/ZdUKcX^T/`!ƒQY]_†/`TgTk

2

^p

hF`^i/YZj^XkbT;lQƒQ‡PY`/XY

q.‚ˆ=‚

x

T/‰Pr‹Š,ŒQp,Œ/ttPobmbp|mQ`Qj]†YfY6p

ƒQ†/YŽPYX†/Y_Zgc_`/fQj

guizzard@cs.utwente.nl

Abstract

<sup>{*ˆb`/XTgT//^Y?jc_ZY~Y]_T/UK^`bc_`!^UKVT/ZX</sup>c`XUY]†c`/^,jUXTP~W^gfK^`;l1T;ZdUKc_X^T/`

jkOjXYU%j|‚ŽPYi/YZX†YgY?j,j,p_X†YZdYP^,jjX^gg<`TjkOjXYUcX^]Pc_V;VZdT;c]_†BXTjWV/VT;ZdX<X†YbfY6j^`

T;lKjW/]_†‘jkOjXYUj\WQj^`BXT/Tg,j\X†/c_X\cZdYP]_T/UUKT/`=XT^`/l…T/ZdU!c_X^T;`’jkOjXY_U%j\fYi/Y_gT/VYZj|‚

„`X†/^,jKV/c_VYZp"‡PYV;ZdT/V/TQjYc`c_V;VZdT;c]_†ldT/ZBfYZd^i/^`T/~,“|Y]XKldZc_UY‡bT/Zd”OjKl…ZTU

fT;Uc_^`DT/`/XT/gT/^Y?j!c_`;f•X†/Y_`–‡PY—j†T;‡˜X†Yc_V;Vg^]c_X^T/`•T™l=X†/^,jPc_V/VZT/c]_†D^`DX†Y

jT;ldX‡bc_ZYVZdT;]_Y?j|jf/T/Uc_^`Q‚

Keywords

<sup>{*ˆb`XT/gT/;^Y?j,p|l…Z</sup>c_UY‡bT/Z…”Oj|p|UYX†/T/fTgT/^Y?jldT/Z<W‹j^`PT/`XT;gT//^Y?j,‚

1. Introduction

@+š1+A›|3*0|CD)1œ(3+Id"Iœ*>|Cž-/)1+<+.3_œ‹G.>=Ÿ0,(œœ*>|+•Ÿ(œR.35?œ!)B-3CC(œC•>,+?œ‹œ3)FC•3?8?>,2!3?›<œR.>

0;>,2>|M"),+6œŸB3*0|2*8

—

^-3CC (œCD>|+6œIAœ3%>|+6œ(œ(>I 9¡

03

¡

>,01œ(*>/I

9

)|+.8K0>,2*),œ(3+AI.(+œRA),œ!Ÿ=30,28?¢/£‘),œ)

Iœ015.-1œ5?0;>/I),+.8

¡

0/36-/>/8_560/>;I(C ¡ 2(*-,(œ2d$30¤>|¥

¡ 2(*-,(œ2d¦C•)|§">¨-3CC (œCD>|+6œIœ3©)¨8<3C•),(+

3+?œ3*23?ª_‘«|¬?­,¢

®Q>|MA>10/),2

¡

0/3¯*>/-|œ*IK(+°@Bš=RA)|M.>›|36-,5I>;83+—5AI(+.ª—3+<œ323?ª(*>/Iœ3

¡

0/3C•3œ>4§?+.3?Ÿ2>8?ª?>

IR.)10,(+ª

9

),+.8¦œ3I5?G.Iœ(œ5?œ*>¤œRA>¤5AI5.),2±8?),œ*)|G.);I>˜30²3G?¯>/-1œ

-

301(>,+?œ>/8$I-,RA>|CD)Ÿ(œRž)|+

3+?œ3*23?ª_

9

ŸFR6(-,R¨36›1›,>10/I=)I>,C•),+6œ(*-/),22’01(-|RA>,0KC368<>12=3?›"œRA>8<3C•)1(+¨«,³6­|¢?´.R6(IFœ0;>,+.84R.)/I

),2*I_3)/-/µ5?(0;>/8’›,3*223ŸB>10I.(+‘œR.>®‹36›œ*ŸB),0;>P¶+ª(+A>/>,01(+.ª‘-3CC%56+<(œd‹¢6·3ŸB>,M.>,0

9

3+A>%36›‹œR.>

CD)|¯3*080/);ŸFGA)/-|§AIœ3)Ÿ(86>,0P5.I>36›P3+?œ323?ª(>I.(+‘œR?(I)10/>/)P(*IœR.>P2)/-,§36›b)

¡?¡

0/3?)/-,RA>I.œ_3

(+AI>,01œb3+<œ323<ª(>/IO(+–)AC•30;>-/3+?MA>|+6œ(3+.),2I_36›œŸ),0;>8?>,M.>,23

¡

C•>,+?œ

¡

036-/>/II¢

®/(+A-/>²œR.>¸-|560,0;>,+6œ±2*>/)/8(+.ª

¡

),0;)/8(ªC¹(+º®‹3?›œŸ),0;>»¶+.ª(+.>;>,0,(+ª˜(I¨œRA>3G<¯|>/-|œ

œ>;-,R<+.323<ª

9

ŸB>-,2*),(C˜œR.)1œ!Ÿ>+.>/>;8%)Id"Iœ>,CD)|œ(-)

¡?¡

036)/-,Rœ38?>,01(MA>B3G?¯*>/-,œ"C•368?>,2IP›03C

3+?œ3*23?ª(*>/IA(+°30/8?>,0œ3

¡

5?œK3+6œ3236ª(*>IA(+ ¡

0;)/-,œ(-/>/¢š…+%œR6(I

¡ )¡

>,0=Ÿ>

¡

0/3

¡

3?I>=)4IAIœ>,C•)1œ(-

)

¡6¡

0/3?)/-1R–œ38?>,01(MA>0;>,5.I)|G62>‘3G<¯|>/-,œ=)10,œ(›1)/-,œI=›0/3C¼8<3C•),(+¨3_+6œ323?ª(>I¢<š1+¨I>/-1œ(3+±³

9

ŸB>

G?01(>;›28(I-,5III3C•>4)/I

¡

>/-,œI36›P3+6œ323?ª_%G?5<(28(+ª

9 (+.-125.8(+ª)PCD>,œR.3?8‘)1+8)ª*0/)

¡

R<(*-/),2

2)1+ª5A)ª6>

9

),+8¦)

¡

);IœD>,¥

¡

>,01(>|+A-/>’5I(+ª•œRA>|CD¢bš1+$I>/-1œ(3+¸½

9

Ÿ>

¡

0;>/I>,+?œ•)I>,œ

-

^GA)/I>8

¡ 9 ¡?¡

3G?¯>/-1œ‹C•368<>12IP),+8 ›0/),CD>;Ÿ=3*0|§.IP›0;3C 8?3CD)|(+•3+?œ323<ª(>/I

9 IR.3<Ÿ(+.ª!R.3?Ÿ(œPŸ)Ib)

¡<¡

2(*>8P(+

œRA>°I36›œ*ŸB)10/>

¡

0/36-;>II–8?3CD),(+¢.š1+˜I>/-,œ(3+

9

0;>,2*),œ>/8¨ŸB30|§AI–),0;>°8(I-|5AII>/8?¢EQ(+A),22 9 (+

I>/-,œ(3+

9

Ÿ>.0;>

¡

301œF3560-/3+A-|25AI(3+I¢

2.Ontologies

š1œ"(*IA(C ¡

3?II(G<2>Fœ3K0;>

¡

0;>/I>|+?œ"œR.>F0;>/),2!ŸB30128

9

3*0=>|MA>|+)

¡

),01œK36›\(œ 9

Ÿ(œR),22"(œIK86>|œ)1(2I¢

´3!0;>

¡

0;>/I>|+6œP)

¡

R.>,+3C>1+3+°30

¡

),01œK3›\œRA>BŸ=3*0,28

9

ŸR?(-,R•ŸB>=-/),22P8<3C•)1(+ 9 (œ"(*IA+A>/-/>/II),0|

œ3’›,36-,5I=3+¨)K2(C(œ>/84+<56CG.>,036›!-3+A-/>

¡

œIœRA),œB),0;>I5A›,›(-,(*>|+6œB)|+.8=0/>12>|M")|+?œœ3-,0;>/)1œ>%),+

abst

^0;)/-,œ(3+36›<œRA>

¡

R.>,+.3C•>1+3+

at

R.)|+.8?¢;´R?5.I

9

)B-/>,+?œ0;),2P)/I

¡

>/-,œP3›)|+< C368?>|2(+.ª)/-,œ(M?(œd

-3*+I(Iœ*I%36›=8?>,M.>,23

¡ (+.ª)-/3+-;>

¡ œ5.)12(7/)1œ(3+!)I>,œ%36›(+A›|3*0,C•)12!0,5?2*>/I!œRA),œ-3+Iœ0/)1(+œR.>

Iœ015.-1œ5?0;>D36›4)

¡

(*>/-/>D3?›b0;>/),2(œ 9

ŸR?(*-|R»),+»)ª>|+6œ5.I>/Iœ3(I32),œ*>D)|+A83*0ª6)|+6(7/>40/>,2*>|MA),+?œ

3G?¯>/-1œIF),+.8F0/>12),œ(3+IF«,½?­,¢

@’-;-/30;8(+ª–œ3¨'5.)10,(+3¤«

3

^{­9 ),+} 3+?œ3*23?ª_¤(I–)236ª(*-/)|2=œRA>3*0*)/-/-/35?+?œ(+.ª¨›,30%œR.>

(+6œ>|+A8?>/8 CD>/)|+6(+.ª¸36›¤)˜›130,CD),2°MA3?-/),G?562),0|

9

(¢>;¢ (œ*I 3+6œ323?ª(-/),2©-3C C(œC•>1+?œœ3¸)

¡

)10,œ(-,5?2),0¨-3+A-/>

¡ œ5A),2(*7/)|œ(3+ 36› œR.>±ŸB30128/¢ )/I>/8²3+ I5.-,R 86>/›(+?(œ(3+

9

),+3+6œ323?ª™

-3*+I(Iœ*I—36›–-3+-;>

¡

œI°)|+.8°0;>,2)1œ(3+.I

9

)|+.8°œRA>,(0¨8?>/›(+6(œ(3+I

9!¡

0/3

¡

>,01œ(*>I°),+.8»-/3+.Iœ0;),(+.I

>,¥

¡

0;>II>8)/IK),¥?(3C•I¢@+—3+6œ3236ª_IR.35?28+.3œAG.> 3+<2•)!R6(>,0/),0;-,R<36›Oœ>,0,CDI

9

G?5?œK)4›5?22d

),¥6(3CD),œ(7;>/8FœR.>/30|’)|G35?œ\œRA>8?3CD),(+«

4].

š1+«

4

^{­9 Ÿ> ¡ 0/3 ¡} 3?I>8=)K'0;)

¡

R<(-;),2),+ª5)/ª6>›,3*0A¶¥

¡

0/>;II(+ª+?œ323?ª(*>/I.š’' A),+.8

)Id‹Iœ>|CD),œ(-)

¡?¡

036)/-|R¼›,30 >,+.ª(+.>/>10,(+ª 3+?œ3*23?ª(>;I¢š…+œR.>¦§?+.36Ÿ2>/8?ª?>

acquisition process

^{9 œ}R.>’5.I>36›)¤ª*0/)

¡

R6(-/),240;>

¡

0/>/I>1+?œ)1œ(3+±(I–>/II>,+<œ()|24(+$3*0;8?>,0‘œ3¨›,)/-1(2(œ),œ*>’œR.>

-3CC5?+?(*-/),œ(3+%GA>,œŸ>/>,+%0;>/µ5<(0/>1CD>,+?œP>|+.ª(+.>/>10/IP)|+.8>,¥

¡

>10,œ*I¢š…+3+6œ3236ª™ G?5?(28(+ª

9 I5A-,R

0;>

¡

0;>/I>,+6œ)|œ(3+¸(IG.)/I(*-/),22d )¨2),+.ª5A)ª6>¨0/>

¡

0;>/I>|+6œ(+ª)±C•>,œ)

-

3*+?œ323?ª"¢·‘>|+A-/>

9 œR?(I

2)1+ª5A)ª6>KR.)IGA)I(-

¡

0,(C(œ(M.>/IFœ3B0/>

¡

0;>/I>|+6œB)%8<3C•),(+¤-/3+A-/>

¡ œ5.)12(7;),œ(3+A¢<š,+(œIBI(C ¡ 2>/Iœ

›130,C

9 (œI+3œ)1œ(3+I0;>

¡

0;>/I>|+6œB3+?2d

concepts

),+8

relations

¢‘>|M">,0,œR.>,2>/II

9

I3CD>!œ ¡

>/IB36›

0;>,2),œ(3+.IQRA)|MA>)Iœ0/3+.ª I>,C•),+?œ(-/IF),+.8

9 (+.86>/>8

9

R6(8?>K)ª6>|+A>,01(-3+?œ323?ª_

9

>/¢ª6¢_œR.>

subtype- of

0/>,2*),œ(3+¨)|+.84œRA>‘I>|M.>10/),2Fœd

¡

>/I 3›

mereological

0;>,2*),œ(3+.I¢Oš1+¨I5.-|R¨-/)/I>/I 9 I¡

>/-,(*)|2(*7/>/8

+3œ),œ(3+IR.),M.>KGA>/>,+

¡

03

¡

36I>8?¢?š…+›1)/-,œ

9 œR6(I(IœR.>%Iœ0,(§?(+ª’›,>/)1œ5?0;>%36›.š’' ˜)|+.8’ŸR.),œ

CD)|§.>;I(œ8(*›,›1>,0;>,+6œ›0/3C 3œR.>10ª0;)

¡

R?(*-/),2.0;>

¡

0;>/I>,+?œ)1œ(3+I.),+\‘+.3œ*),œ(3+’GA>*A3+8BœR.>!GA)I(-

+3œ),œ(3+IF›|3*0-3+A-/>

¡

œIF)|+8b0;>,2)1œ(3+.IF)|(C•IQœ3P(+A-30

¡

30;),œ>)œR>/30|"¢™´R?(*IPŸ)*

9

)|¥6(3CIF-/)|+

G.>B),5?œ3CD),œ(-;)|22Dª?>|+A>,0;),œ>/8?¢;´R.>;I>=)|¥6(3C•I!-3+.-/>10|+•I(C ¡ 2œR.>BIœ0,5.-1œ560/>=36›<œR.>B-3+.-/>

¡

œI

),+A84)10/>KI),(8=>

¡

(Iœ>,C•3236ª(*-/)|2),¥6(3CI¢

P3+.-/>10,+6(+.ª4œRA>)

¡?¡

0/36)/-,R±›130G?5?(28(+.ªD3+?œ323?ª(*>/I

9 œRA>

¡

0/3

¡

36I>84CD>|œR368 G.)/I(-/),22d

wra

^{¡ I=œ}R.>°›,3*2236Ÿ(+ª)/-,œ(M6(œ(>I

¡

560

¡

36I>%(86>|+6œ(›(-;),œ(3+)|+.8D0;>/µ5?(0/>,C•>1+?œI

¡

>/-,(›(-/)1œ(3+

9

3+?œ3*23?ª_ -/)

¡ œ5?0;>²),+.8 ›,301CD)|2(7/),œ(3+

9 (+?œ*>ª0;),œ(+.ª >|¥6(Iœ(+ª3+6œ3236ª(>/I

9

)|+.83+6œ323?ª™

>|M"),25A),œ(3+)|+A8 8?3?-15<CD>|+6œ),œ(3+•«

4].

 3*œR2*)|+.ª5.)/ª?>©)|+A8¨CD>|œR368¨R.),M.>GA>/>|+˜5AI>8¤(+˜œRA> 8?>,M.>,23

¡

CD>|+?œ36›°-/3C

¡

2>|¥

(+A›|3*0,C•)1œ(3+ Id‹Iœ>|CDI–(+ ),0;>/)I¨I5.-,Rž)/I¨®‹36›œŸ),0;>—N‹03-/>/II

9

NP3*0,œ±)|+A)ª?>1C•>,+?œ

9

®œ*>/>,2

¦>1œ),225?0/ª

9

¦>8(-,(+.>)|+.8±>8()3+ £’>1CD)|+8±)|+.)/ª6>|CD>|+6œ¢™@B2œR.35.ªR œRA>*=R.),M.>

¡

0/3MA>|+

œ3GA>D5.I>/›5?2

9

ŸB>–(86>|+6œ(›)±ª0;>/),œ-3+A-/>,01+¸›03C œR.>¨8?>,M.>|23

¡

>,0;IKR3?Ÿ œ3

¡

5?œ%œR36I>

3+?œ3*23?ª(*>/IO(+ ¡ 0/)/-1œ(-;>

9

M6(7;¢

9

R.3<Ÿ¦3*+<œ323?ª(*>/IF-/),+–I5

¡<¡

30,œ)/-,œ5),2I36›œŸ),0;>86>|MA>,23

¡

CD>|+6œ

š…+ «

5

^­9 Ÿ>8?>,MA>|23

¡

>8$)I36›œŸ),0;>

¡

0/36-/>/II 3+?œ3236ª™ ),+.8 5AI>/8©(œœ3

¡

0/3C3œ>

¡ 9

3+?œ3*23?ª_‹¢;´R6(IO0;>

¡

0/>;I>|+?œ*>8=)8?>/I(ª+

¡

0/3G62>|C»œR.)1œFŸ)IO(+.›,30,C•),22’I32MA>86¢ ¦30;>.0;>/-/>,+?œ2 9

3œR.>,0 86>|M.>,23

¡

>,0;IDR.)|M">»>|¥

¡

>,01(>1+.-/>/8±œRA>²I),CD>

¡

0/3G?2*>|CD¢ )/I>/83+˜œRA>/I>»›1)/-,œI

9 œR.>

CD>,œR.3?8?323?ª_

¡

0;>I>,+6œ>8F(+=œR?(I

¡ )¡

>,0AR.)/IOG.>/>,+

¡

0/3

¡

3?I>/8

"!$#% $!$&!$%''

š1+

session

^{³ 9} Ÿ>KC•>,+?œ(3+

ed

^{35?0 ¡} 0;>|M6(35.I>,¥

¡

>,01(>|+A-/>%8?>,MA>,23

¡ (+.ª’)%I36›œŸ),0;>

¡

0/36-/>/II

3+?œ3*23?ª_‹¢Qš,+–œR6(I4>|¥

¡

>,01(>,+.-/>

9

ŸB>5.I>/8D›(0/Iœ

-

3*086>,023?ª(-’);IPœR.>2*)|+.ª5A)ª?>œ3•I

¡

>/-,(›–œR.>

ax

(3C•IP36›<œR.>›|3*0,C•)12‹œR.>30|"¢;EQ(0;Iœ

-

30/8?>,023?ª(-(IPŸ(86>|2 §6+3?Ÿ+•›,3*0(œI

expressive

^{¡ 3?Ÿ>,0}

),+A8(œ*I¤3+<œ323<ª(*-/),2’+A>,5?œ0;),2(œ 9 œR.>10/>;›|3*0/>¦)/8<8(+ªC(+?(CD),2¤3+6œ323?ª(*-/),2—-3CC(œC•>1+?œI¢

·’36Ÿ>|M.>10

9

8_5A>œ3!œRA>=ª<3?)12I!3?›OœR?(I!Ÿ=3*0,§

9 (œ"(I"M.>,0|D-3+<MA>,+?(>|+6œ‹œ3)8?3

¡

œK)B›,30,CD),2(IC œR.),œ

2(*>/I±(+ ),+ (+?œ>,01CD>8(*),œ> )|GAIœ0;)/-,œ(3+ 2*>|MA>,2

9

G.>1œŸ>/>,+ ›(0/Iœ

-

30/8?>10»236ª(- )|+.8 3G?¯*>/-,œ

-

30,(>1+?œ),œ(3+A¢Eb30%œR?(*I

¡

560

¡

3?I>

9

Ÿ>5.I>/8¤)‘R<G?0,(8¤)

¡<¡

0/36)/-|R¨GA)/I>8¨3+

¡

5?0;>°›(0;Iœ

-

3*086>,0 236ª(*-

9

0;>,2*),œ(3+A),2OœR.>/30|

9

),+.8

9¡

0;>/8<3C (+A),+<œ2d

9

I>,œ\œRA>30*‹¢

´R.>-,R3(-;>œ3 -10/>/)1œ>)2*),+ª5.)/ª?>C•)1(+62d4G.)/I>/83+DI>,œQœRA>30|DŸ)/I‹R6(ªR?2 C•3œ(MA),œ*>8PG\

),+²(C ¡

30,œ*)|+?œ‘(*II5.> I>1œ‘œRA>3_0,»(*I)¦-3C

¡

2*>|CD>|+6œ),0|

extensional

^{¡ >,0;I¡ >/-1œ(}M.>•œ3—œR.>

intentional

+.),œ5?0;>36›‘›(0;Iœ

-

30/86>,0‘236ª(*-)1+8

9

),œ4œR.>—I)|CD>’œ(CD>

9

)’+A),œ5?0;),2D3

¡ œ(3+ )/ID)

-3*+.-/>

¡ œ5A),2C•3?86>,2D›,30’0;>/)/I3+<(+ª±)|G.356œ•3G?¯>/-,œ*I¢b´3¦-12),01(›¦œR6(I

¡

3*(+6œ

9 œRA>¤›,32236Ÿ(+ª

>,¥A)|C

¡

2*>(I‹5I>/8/2>,œQœR.>(+?œ>,+6œ(3+•36›<œR.>-3+.-/>

¡

œQC•301œ),2‹GA>)(*,+)-/.01/23451'68760309;:=<>-'4/7

23?/7A@B7C1'4/7D4"36E1=F->360%-?"03+)7(1¢<´.R.>23?ª(-

¡

0/>;8(-;),œ>

mortal(x)

Iœ),œ*>/IbœRA),œ

x

^(*I4)

mortal

),+A8

9œR.>10/>;›|3*0/>

9 œR.>K-,R.),0;)/-1œ>,01(Iœ(-/IF86>/›(+A>/8bG\BœRA>.(+?œ*>|+?œ(3+•3›?œR6(IF-3+-;>

¡

œ)

¡?¡

2(>IOœ3

x

^¢_š1œ

),2*I_3 (C ¡ 2(*-,(œ2d •Iœ),œ*>/IœRA),œAG

∈

^{HJI>KLDM/NO (¢}>/¢!œ3°œR.>±I>,œ—3›D),22œR.>±>12>,CD>|+6œI—36›4œR.>

-3*+I(86>,0;>/8’ŸB30128œ3’ŸR?(*-|R’œR>!(+6œ>|+6œ(3+¨3›AœR.>%-3+.-/>

¡

œ)

¡<¡

2(>;I¢š…+)|+¤3G<¯*>/-,œ

-

3*0,(*>|+?œ*>8

¡

>10/I

¡

>/-,œ(M.>

9

(›

x

^(I),+‘(+.Iœ),+A->36›

mortal,

⁽œCD>/)|+AIœR.),œ

x

G>,23+.ª?I.œ3œR.>

mortal

^-|2)/II9

(¢>/¢™œ3FœR.>I>,œb36›)122O(+.Iœ),+A-/>IP3?›?œRA>-/3+.I(8?>10/>;8 ŸB30128PœR.),œbIR.),0;>œRA>I),C•>

¡

03

¡

>,01œ(*>Ib),+.8

œRA>I)|CD>K8?>/›(+?(œ(3+.¢

 >/-/)15I>36›"œRA>/I>%-,RA),0/);-,œ>,01(Iœ(-;I43›KI>,œœR.>/30|

9

œ3=G?5?(28’)C•3?86>|25.I(+ª=œR.>

¡

0/3

¡

3?I>8

set-

GA)/I>8‘2)|+.ª5A)ª?>(I‘)M.>,0|°(C ¡

301œ)|+6œ’Iœ*>

¡ (+»)Id"Iœ*>|CD)|œ(-œ0/)1+I2)1œ(3+G.>,œŸB>;>,+œR.>

236ª(*-=),+.8KœRA>43G?¯*>/-,œ!ŸB301286I¢©30;>3M.>10

9 œRA>2)|+.ª5A)ª?>

¡

0/>/I>,0,M">I"œR.>

expressive

^¡ 36ŸB>,0B36›

œRA>›(0;Iœ

-

3*086>,0‘236ª(*-Ÿ(œR35?œD)/868_(+ª±I(ª+<(*›(*-/),+?œD3+6œ323?ª(-/),2D-/3CC (œCD>|+?œI

9 œR.>,0;>/›,30;>

9

G.>1(+.ª4I56(œ),G?2*>œ3

¡

2)|4œR.>I)|C•>0;32*>(+ œR.>)|¥6(3C•)1œ(7;),œ(3+

¡

0;36-/>/II¢™@2œR35ªR–›|30,C•)12

9 œR.>

2)1+ª5A)ª6>(IP§.>

¡

œ4)/I I(C ¡ 2*>‘)/I

¡

3II(G?2*>

9

86>/›(+?(+ª–3+62d¨ŸR.)1œP(I4),GAI325?œ*>,2d+.>/-/>;II),0|œ3

)/-/-/3C

¡ 2(IR=(œ*Ibª?36)|2I¢

E‹(+.),22d

9 (œ‹(*Ib>/II>|+6œ(*),2Oœ34>|¥

¡

2),(+D35608?>;-,(I(3+D›,308?>;›(+?(+ª4)+.>/Ÿ¦I>,œ

-

GA)/I>84›,30,CD),2(IC (+AIœ>/)/8¤36›P5I(+.ª—),+²>,¥?(Iœ*>,+?œ’3+.>

9

›,30(+.Iœ)|+A-/>QP «

17

­ ´.R.>0;>/);I_3+IC•3œ(MA)|œ(+.ª’œR?(I

-,R.3(-;>),0;>=G.3œR ¡ R6(23?I3

¡

R?(*-/)|2),+.8

¡

0;)/-,œ(-/),2¢QEO0/3Cº)

¡

0/);-,œ(-/),2

¡

3(+?œ36›FM?(*>/Ÿ

9

P R.);I%)

-3C

¡ 2(*-/),œ*>/8•CD),œRA>,CD)|œ(*-/),24+.3_œ)1œ(3+±œRA),œ–-3+6œ)|(+I–I3CD>‘2)|+.ª5A)ª?>—-3+.Iœ0|5A-,œI4œR.),œ–),0/>

5?+?+.>;-/>/II),0|–›|3*0=3+6œ3236ª™DI

¡

>/-|(›(-;),œ(3+

9

>;¢ª6¢;œRA>

¡

01(C (œ(MA>/I!›,30CD>1œR368I

¡

>/-1(›(-/)1œ(3+¢;@‘I

)-3+.I>µ5A>|+A-/>=3›\œR6(I

9™¡

0;)/-,œ(œ(3+A>,0/I‹+.30,CD),22›(+8PœRA>/I>+3œ)|œ(3+.I"RA),0;8!œ3P5.I>

9

CD),(+?24(›

œRA>,(0A0;),œR.>,0K-3C

¡

2*>,¥4œ>,¥6œ5A),2FId?+6œ)|¥=(IOœR.>3+?2dBMA>|R?(*-,2>.œ3

¡

0/3685A-/>I

¡

>/-,(*›

i

-/),œ(3+.I¢™EO0/3C )

¡

R?(23?I3

¡

R6(-/),2

¡

3(+6œ3?›M(>Ÿ

9 œR.>%2)|+.ª5A)ª6>

¡

01(C(œ(M.>/I8<3–+3œ36›1›,>10),22BœRA>‘+A>/-/>/II),0|

CD>/)|+AIQœ34>|¥

¡

0;>IIQ(C ¡

3*0,œ),+6œ!3+?œ323?ª(-/),2b8(Iœ(+.-,œ(3+I¢_@=+–>|¥A)|C

¡

2>36›<œRA>2*),œœ*>,0.(IQœRA>›1)/-,œ

œRA),œbœR.>2*)|+ª5.)/ª?>‘-3+I(8?>,0;I4-3+.-/>

¡

œb0;>,2*),œ(3+AI)1+8

¡

0/3

¡

>,01œ(>;I );I >/µ_56(MA),2>,+6œ -3+.Iœ0|5A-,œI¢

´R?(*I±-3+.I(86>,0;),œ(3+R328?IDœ0|5.>²›0;3C )¤CD),œRA>|CD),œ(-/),2 >10I >/-,œ(M.>G?56œ•+3œ±›0/3C )|+

9 ¡

+3*0=+.>/-/>;II),0|±›,303+?œ3*23?ª(-;),2%›130,CD),2!0;>

¡

0;>/I>,+<œ*),œ(3+A¢‹Eb30’)–86>/>

¡

8(I-15II(3+ )1G35<œPœR.>

3+?œ3*23?ª(*-/),2B8(Iœ(+.-,œ(3+.IG.>,œ*ŸB>/>,+-3+.-;>

¡

œ0;>,2*),œ(3+.I

9

0/3*2>I),+.8

¡

0/3

¡

>,01œ(*>I

¡

2>;)/I>!0/>/›1>,0Pœ3

[16].

š1+ œR.>D+.>1¥<œI5?G

-

^{I>II(3+ 9 œRA>Dœ}RA>30;>,œ(-/)|2›,35?+.8?),œ(3+$›|30±35?0¨›,301CD),2(IC (*I‘G60,(*>/›2d

¡

0;>/I>|+6œ>;8?¢\š…œF(I=),2I3–8(I-,5II>/8 R3Ÿ¦œR.>

¡

0,(C(œ(M.>/I43›.œR?(I=›,301CD),2(IC¼),0/>0;>,2*),œ>;84œ34œR.>

.š’' •G?5?(28(+.ªFG<236-|§AI¢

-

^!

-

"#%$&'(&%

®‹>1œI),0/>-/322*>/-,œ(3+IB36›P7/>,0/3’3_0PC•30;>>,2>|CD>,+?œIŸR36I>KC•>,CG.>,0;I),0/>!5?+?(µ5A>)|+8œR.>,(0

30/86>,0(IP(C CD)|œ>,01(*),2¢®Q>,œI -;),+•GA>‘›(+<(œ>’3*0(+.›(+6(œ>;¢OEQ(+?(œ>‘I>,œI4Ÿ(œR±)IC•)122b+?5<CGA>,0’3›

>,2*>,CD>|+?œ*IP),0;>5AI5.)122d40;>

¡

0/>;I>,+?œ>/8PG\4œRA>B>,+?5?CD>,0/)1œ(3+•3?›

their

CD>,CG.>10/I¢ œR.>10/Ÿ(I>

9 œRA>*

),0;>D0/>

¡

0;>/I>,+6œ>/8G<$›,30,CD),œ(3_+»015?2*>/I—30DG< œRA>¦8?>/›(+6(œ(3+36› œR.>±-|RA),0;)/-,œ*>,01(Iœ(*-I—)1+.8

¡

0/3

¡

>,01œ(*>/IPœRA),œ ),22

their

CD>|CG.>10/IPC5AIœPR.),M.>(+±-3C%C•3+ (+6œ>|+6œ(3+ ,¢\š1+¦3560‘)

¡?¡

0/3?);-,R

9

-3*+.-/>

¡

œI°),0;>±8?>/›(+.>8»);II>,œI)1+8

9

)/I’CD>,+?œ(3+A>8GA>/›,30;>

9 œRA>±Iœ),œ>,CD>,+?œG

∈

^{HJI KLDM/N}

commits

⁾

œ3FœR.>K-3+.-/>

¡ œ

Mortal

⁹

G3œR=(+6œ>|+6œ(3+A)|22’),+8=>,¥?œ*>|+AI(3+.),22d+*

@B+.3œR.>,0›5?+86),CD>|+6œ),2bG?5?(28(+.ª G623?-,§–(+–œRA>.š‘'©CD>,œ*)

-

3+?œ323<ª–(IPœR.>

¡

0,(C (œ(MA>

relation

^{¢O´.R?(I ¡ 01(C (œ(}M">0/>

¡

0;>/I>,+6œI4)‘I>|CD),+6œ(-2(+?§DœR.),œ4>,¥?(IœI4)|C•3+.ªD)‘I>,œ436› |3+.>’3*0

C•30;> F-/3+.-;>

¡

œI¢/š,+°35?0=)

¡?¡

036)-,R

9

0;>,2*),œ(3+.IK),0;>FCD)

¡?¡

>8Kœ3KœR>=Id+3+OC35I

¡

01(C(œ(M.>F(+

I>,œœRA>3*0*‹¢?š,+—I>,œœRA>30|

9

)K+

-

),0|%0/>,2*),œ(3+-;)|+’GA>86>/›(+A>8BG?‘œRA>!+

-

^{œ5 ¡ 2>,.-0/S}

1 ,C ₂ ...C _n

^p

p(x ₁ ,x ₂ ...x _n ))

⁹

ŸR.>,0;>>;)/-,R

i

0;>

¡

0/>;I>,+?œ*Ib)8(›1›1>,0/>1+?œI>,œO(+?M32M.>/8b(+=œR.>A0;>,2),œ(3+–),+8

¡ ¥

i,

6(*I

)°›5?+.-,œ(3+.),2

¡

0;>8(-/)1œ>—3

¡

>|+¤(+

n

M.),01()1G<2>;I4œRA),œ4CD)

¡

I’>/)/-|R>,2*>|CD>|+6œ›0/3C œR.>-,0/3?II

-

¡

0/3685.-,œ

C ₁ ×

^S

2 ×

^‚‚‚™S

n

(+—)

true

^3*0

false

^M"),25A>/¢š,+œR?(I-;)/I>

9 œRA>I>1œ

:

*

^1I325?œ(3+°I>1œQ(I

œRA>I56GI>,œF36›

C ₁ ×

^S

2 ×

^‚‚‚|S

n

ŸR36I>CD>|C GA>,0/I

e i

),22FI),œ(I›œR.>

¡

0;>/8(-/)1œ>

p(e i )

^¢

E‹(ª560/>

1

^IR3?ŸIB)|+¤>,¥.),C

¡

2>3<›!)KG?(+.),0|‘0;>,2*),œ(3+œR.),œ2(+?§.IœRA>%-3+.-/>

¡

œINP>,0;I3+¤)1+8

0ª),+?(*7/)|œ(3+A¢´R.>°>µ_56(M")|2>1+?œ–8?>;I-,0,(

¡ œ(3+¦(+ I>,œ=œRA>30|¤(I

co

^1'LDKM2&L035464

Organization, Person, contract(x,y))

¢?E

rom

+.3?Ÿ3+

9 œR.>

¡

03

¡

36I(œ(3+A),2B›5?+.-,œ(3+

p(x,y)

Ÿ(22FGA>K5.I>8);I

Id+.3+\6C 3?›QœR.>

n-

^{œ5 ¡ 2>Pœ}RA),œ8?>/›(+.>;IœR.>P0;>,2),œ(3+

9

)/II5?C (+.ªœRA),œ.œRA>›56+.-|œ(3+‘(I8?>/›(+.>/8

(+I3C•>K-,0/36II

-

^{¡ 0/3?85.-1œ}

C ₁ ×

^S

2 ×

^‚‚‚|S

n

¢

789:<;

-

^{=>?@!ABCEDF?HG 8I ?JKLJCB?M8D I}

EO(ª560/>/¬•),2I38?>

¡

(*-,œI!œŸB3%(C ¡

3*01œ)|+6œKC•3?86>,2(+ª

¡

01(C (œ(MA>I

properties

^)|+A8

roles

^¢Qš1+

œRA>3+?œ323?ª(-/)|2=2>,MA>,2«

16

­œRA>,0;>‘(*I–)—-12>/),0°8(Iœ(+.-,œ(3+¨G.>,œŸ>/>,+

¡

0/3

¡

>,01œ(*>I

9

0/3*2>/I–),+.8

-3*+.-/>

¡

œI¢K´RA>/I>¦8(Iœ(+.-,œ(3+I—),0;>¦-/3+.I(8?>10/>/8—(+35?0¨)

¡<¡

0;3?)/-,R»(+ )¦I>,œ3›CD)

¡?¡

(+ª

8(0/>;-,œ(M.>/IK8(I-,5II>/8(+°I>/-,œ(3+ .¢/·’3?Ÿ>|M.>10

9

),œAœR.>4Iœ0,5.-1œ5?0;),2A2*>|MA>12

9 œRA>

¡

0/3

¡

>10,œ

age

^,36›

Person

^{9 ›(ª6¢}

1

^b0;>¡ 0/>;I>,+?œI%),+»3*0/8(+A),0|•0;>,2*)|œ(3+

age(p,x)

G.>,œŸ>/>,+(+.Iœ)|+A-/>/I3›

Person

),+A8–(+.Iœ*),+.-/>/I–36›‘),œ5?0;),2B+<5?CG.>,0;I¢@‘-,œ5.),22d œR?(IB0/>12),œ(3+±RA) >,+.I=G.>,œŸ>/>,+¤œRA>°I>,œI

Person X

⁹

X IN

^{9 ¡}

36›4>|¥6(Iœ>,+.-/>D36›4),+.3œR.>,0–>,2*>,C•>,+?œK(+?M32M">8(+—œR.>–)ª6>40/>12),œ(3+

(( ⊂

∧

⁴

∀

^G

∃

age(x,y)))

*Aš1+¦3560’›,301CD)|2(*IC 9 œRA>=MA)10,(*)|G?2*>BœRA),œP0;>

¡

0/>/I>,+?œI)1+•(+AIœ),+A-/>3›B)

¡

0/3

¡

>,0,œ–(I

5?+.8?>10,2(+A>/8

9

>/¢ª?¢

∀

^I>M

∃ !a:X

^{M 4}

a,p)

^{*EO(+A),22d 9 (+ )868(œ(3+ œ3¸0;>¡} 0/>;I>,+?œ

characterist

(-/IK36›-/3+A-/>

¡

œI

9;¡

0/3

¡

>,01œ(>/I!-/)1+-,R.),0;)/-1œ>,01(7/>0;>,2)1œ(3+.IP)/I!Ÿ>|22¢;´R?(I!›1>/),œ560;>F(I

8(*I-|5.II>;8b(+–«

19

^­,¢

š…+–I>,œOœRA>30|

9

I3C•>>II>|+6œ(),2b3

¡

>,0/)1œ(3+.Ib),0;>86>/›(+.>;8!œ34>,¥

¡

0;>/II‹œRA>0;>,2*),œ(3+AI‹G.>1œŸ>/>|+

I>,œI

⊆ ⊆ ⊆

⊆ - proper-

^I5?G.I>,œF30

⊂ ⊂

⊂ ⊂ -

^I5<GAI>,œ

∪ ∪

∪ ∪ -

^+?(3+

∩ ∩ ∩ ∩ -

š1+?œ*>,0;I>-,œ

ion; \ -

I>,œF8(*›,›1>,0;>,+A-/>

℘ -

¡

36ŸB>10I>,œ

9¡

0/3

¡

>,0,œ(>/I–36›I>,œI

-

^{-/),0;8(+A),2(}œd.0;>/Iœ01(-,œ(3+˜3+¨0;>,2),œ(3+I

~ -

⁽+<M">,0/I>

0;>,2),œ(3+

9

; -

0;>,2*),œ(*3+±-/3C

¡

3?I(œ(3+),+.840/>12),œ(3+.IPG.>,œ*ŸB>;>|+±I>|œ*I4),+8

their

CD>|C G.>,0/I

∈ ∈

∈ ∈ -

¦>,C%GA>,0;IR<(

¡

¦«,¬

8

­|¢%š…+º);8<8(œ(3+œ3²œR?(I

9

ŸB>©5I>¦œRA> G.)/I(-¦23?ª(*-¸3

¡

>,0;),œ30;I

∧∧∧∧ - conjunction; ∨∨∨∨ -

^{8(*I¯5?+?œ(3+}

⊕ ⊕ ⊕ ⊕ -

^{>,¥A-,25AI(M.>%8(I¯5?+A-,œ(3+}

¬ ¬ ¬ ¬ -

^+A>ª),œ(3+

→ → → → -

^{-/3*+8(œ(3+A)|2}

↔ ↔

↔ ↔ -

^{G6(-/3+8(œ(3+.),2})|+.8Dµ5.),+?œ(*›(*>,0;I

(∀ ∀ ∀ ∀ -

^56+?(MA>,0;I),2

∃∃∃∃ -

>,¥<(*Iœ>,+6œ(*),2

∃∃∃∃

-

^>|¥6(IœI 3+.>‘),+.8 3+?2d’3+.> 6œ34›,30,C»œR.>K-30;>36›6œRA>›,30,CD),2(IC >|C

¡

23">8b(+=œR?(IFŸ=3*0,§A¢

š1+¦30/8?>,0œ3–>,¥?œ>,+.8 œR6(I4-3*0/>›|3*0|CD),2(IC I3C•>‘)/8<8(œ(3+A)|24›5<+A-,œ(3+.I4),0;>’8?>/›(+.>86¢O´.R>

C•3?IœF(C ¡

3*0,œ*)|+?œB)|C•3+.ª4œRA>|C (IFœRA>›5?+A-|œ(3+¨-;),22*>8

&

Im

´R?(*I=›56+.-|œ(3+

¡

2*)*‹I )

›5?+.8?)|CD>,+6œ)|2•0/32>¨(+$œRA>˜I

¡

>;-,(›(-;),œ(3+ 36›¨8?>,01(M.),œ(3+¼)|¥6(3C•I©)|+8$I325?œ(3+¼I>,œIœ3

co

^{C ¡} >,œ*>|+.-|µ5.>/Iœ(3+.IF«

6

­|¢°´.RA>86>/›(+6(œ(3+–3?›

Im

^(IFª(MA>|+)/Ib›132236ŸBI

!" #$%$'&(

℘

℘

℘

℘

^#)&

××××

^#)

↔ ↔ ↔ ↔

^{* &}

→ → ℘ → → ℘ ℘ ℘ (Y)

!" #+,%-&/.102(),%34(

*65

#2

∈ ∈ ∈

∈

^+7&

∧∧∧∧

^#8#27%39&

∈ ∈ ∈ ∈

^-:&

••••

^3<;

´R.>K›|3*223?Ÿ(+.ª=),¥?(3C),2*I3bR.328?IF›,3*0.œR?(*IF›5?+A-,œ(3+

∀

∀

∀

∀

^{= %>%-?>}

∈ ∈ ∈ ∈

^{!" #0= ;%-&}

↔ ↔ ↔ ↔

⁼

∈ ∈ ∈ ∈

^{!" #0@>;%-&}

I(+.ª œR.>0;>,2*),œ(3+¦36››(ª*5?0;>‘³•);I )1+±>,¥A),C

¡

2*>

9 ) ¡

3?II(G62>BM")|2(*8 (C•)/ª6>‘I>,œ=-35628 GA>

A 48BC K7DE

2 I1LKM'2BL 3FBGIIH1

M'J/N

HJM K E )|+.8

9

-3+.I>µ5.>|+?œ2 9 A 4BGI'H(1E

2I(1'LDKM'2&LLK 3

{Org1} .

^{š1œž(I (C ¡} 301œ)1+<œžœ3 +.3œ(-/> œR.),œ

Im

^{(I ) 8(*Iœ01(G?5?œ(M.> ›5<+A-,œ(3+ 9 (*¢>/¢}

A 48BG I9H(1

HJM K E 2 I1'LDKM2&L 3 A 4BG$IIH1ME

2 I%1LKM2&L

∪

^{A 48BH M>K E 2$I(1'LDKM2&L8N}

š1+›(ª5?0;>¦³

9

-;),0/8(+.),2(œ -3+.Iœ0;),(+?œI—),0;>5.I>/8œ3I

¡

>/-,(*›»œR.>•+?5<CGA>,0©3›•-3+.-;>

¡ œ

(+AIœ)|+A-/>IAœRA),œK-/)|+‘GA>P(+?M32MA>/8(+—)b0;>,2)1œ(3+.¢6´.RA> -/),0;8(+.),2(œ @O

9

+b8<3>I+.3œA(C ¡ 36I> ),+\

0;>/Iœ01(-,œ(3+ž),+.8

9

›,30°œRA),œ–0;>/);I3+

9 (œID+.3œ¨ª0;)

¡

R6(-/)1220/>

¡

0;>/I>,+6œ>86¢ œR.>10»-/)10/8(+A)|2(œ…

¡

36II(G6(2(œ(*>/I²(+.-12586> @O

9

¬

9

1¬

9

¬˜),+8 ,¬

9

+1¢QPR.>|+A>|MA>,0 5AI>8

9 œR.>/I>ž-/)108(+A)|2(œ(>/I

(+A-30

¡

30;)|œ>K+A>/Ÿ )1¥<(3C•Iœ3BœR>KC•3?86>,2*¢?š,+¤›(ª5?0;>%³

9 œR.>%-;),0/8_(+A),2(œd ,¬

9

¬"(C ¡ 2(>;IFœR.),œ

∀

M

I MSR A 48BME

2 I%1LDKM2BL 3TD

)|+A8¦-/),0/8(+.),2(œVU@W

OXY

(C ¡ 2(>/IœR.)1œ

∀

^{I CQKM(19Z[ MLLZI(1}

R A 4BIE

2 I(1LDKM'2BL

≥

^{D *@2œR.35.ªR—œ}RA>D>|¥A)|C

¡

2*>/I

¡

0/>/I>,+?œ*>/8—),G3M.> 0;>

¡

0/>/I>,+?œ3+?2dG<(+.),0*

0;>,2),œ(3+.I

9 œR.>›,30,CD),2(IC5AI>8 (+–œR6(I=ŸB30,§(I=>,¥

¡

0;>/II(M.>>,+.35.ªR–œ3 C•368?>,2F0;>,2*),œ(3+.I436›

),+<),01(œ"¢.(§.>/Ÿ(I>

9

0/>/›2>;-,œ(M.>°0;>,2)1œ(3+.I 0;>,2),œ(3+IG.>1œŸ>>,+˜(+Iœ*),+.-/>/I¨36›œR.> I)1C•>

-3*+.-/>

¡

œ¤),+.8¸-/3+.8(œ(3+)120;>,2)1œ(3+.I @ B£ )|+A8]\ : œ(ªR?œ•0;>,2),œ(3+I¤-/),+ ),2I3 G.>

represented [4].

–

#!$!

!$

´R.>

¡

0/3G62>,C 36›»-3+.I(Iœ>1+?œ2 ª?>,+.>,0;),œ(+.ª -/3C

¡

5?œ)1œ(3+)12¦(+.›0;)/Iœ015.-1œ560/>;I›03C

-3*+.-/>

¡ œ5A),2’C•368?>,2*IRA)/I’G.>/>1+§?+.3?Ÿ+›,30±)•23+.ªœ(CD>•G\²œR.>¦I3›œ*ŸB),0;>¦>|+.ª(+.>/>10,(+ª

-3CC5?+?(œd)/IAœRA>

9

I3

-

^{-/),22>8 9+ F71'6@B7 34+)1>0@B< .'- >27D+"!$#}

[15

^{­,¢š…+œ}RA> I-/3

¡

>36›

œR6(I ŸB30,§

9 œRA> -3+.-/>

¡ œ5.),2C•3?86>,2I )10/>˜8<3C•)1(+¼3+?œ323<ª(>/I©),+.8 œRA> -3C

¡

56œ)|œ(3+.),2

(+A›0;)/Iœ0,5A-|œ560;>/IP),0;>B3G?¯*>/-|œ

-

301(>|+6œ>8 ›0;),CD>/ŸB30,§.I¢;´R.>5I>B36›8?3CD)1(+•3+6œ323?ª(>;I‹œ3P0;>/),2(7/>

œRA>˜8?3C•),(+ ),+A),2d‹I(I©)/-1œ(M6(œ¸(+ )I36›œŸ),0;>˜>,+.ª(+A>/>,01(+.ª

¡

0/36-/>;II©-3+6œ01(G65<œ*>/I©Ÿ(œR

(+?+?5?CD>,0/35.I!)/8M.)|+6œ)/ª6>IP«

19

­,¢;·3ŸB>,M.>,0 9 œR.>(C ¡

>86),+.-;>bC (IC•)1œ-|R

¡

03G<2*>|C˜(*I!)|C

¡ 2(›(*>8

(+AIœ>/)/8©3?›

¡

>,0;›|3*0,C(+ª¯5.Iœ•3+A>¤Iœ*>

¡

œ3•œ0/)1+.I2)1œ>G.>1œŸB>;>|+©œŸB3•2>,MA>,2I36›’),GIœ0/);-,œ(3+

1-/3+A-/>

¡ œ5A),2QC368<>12I‹œ34-3C

¡

5?œ),œ(3+A),2Q(+.›0;)/Iœ0,5.-1œ560/>;I 9

œŸB34Iœ>

¡

IP),0;>+A>/-/>;II)10*‹¢;´RA>›(0/Iœ

Iœ>

¡

(I.œ3œ0;),+AI2),œ*> ›0/3Cž),+—3+<œ3*236ª(-/),2A2>,MA>|2AC•368<>,218<3C•),(+°),¥?(3CD),œ(7/>/8œR.>/30|‹œ3),+

>¡

(Iœ>,C3236ª(-/),2P-3+.-/>

¡ œ5.),2"C•3?86>|21-3+A-/>

¡ œ5A),2"M?(*>/Ÿ²36›-,2)II!8(*)ª0;)|C•IŸ(œR35?œ‹23?3?I(+ª

œRA>>,¥

¡ 2(-1(œO0/>

¡

0;>/I>,+?œ),œ(3+D36›<§?+.3?Ÿ2>/8<ª6>/¢;´.RA>BI>;-3+.84Iœ>

¡

(IOœR.>œ0;),+AI2),œ(3+ G.>,œ*ŸB>/>,+ œR.>

8<3CD),(+¸C•3?86>,2œ3©(œI©-3C

¡

56œ),œ(3+),2¦-3+.-,0;>,œ(7/),œ(3+

-

^{),+ )/-,œ(M6(œdœRA),œ 9 (+ 8<3C)1(+}

>,+.ª(+A>/>,01(+ªœ>,0,CDI

9

(IF-/),22>8-+A1>36%7D4/3&>6

.

560Id"Iœ*>|CD),œ(*-)

¡?¡

0/36)/-,R’œ3‘)/8?80/>IIœR6(IœŸB3

-

2>,M.>,2š

¡

03G<2*>,C$(I-3C

¡

3?I>/8’3?›!)

I>,œ 3›B8(0;>/-,œ(MA>/I

9

8?>/I(ª+

¡

)1œœ>,0,+AI ),+.8 œ0;),+I›,30,CD),œ(3+D0,5?2>;I¢O´R.>‘8(0;>/-,œ(M">I4),0;>B5.I>84œ3

ª5?(86>±œR.>±CD)

¡?¡

(+ª$›03C œR.> >¡

(Iœ>,C•3236ª(*-/)|2©Iœ015.-,œ5?0;>/I»3›DœR.>˜8<3C•),(+¼3+?œ3236ª™

1-/3+A-/>

¡

œI

9

0;>,2*),œ(3+.I

9‹¡

0/3

¡

>,01œ(*>I%),+A80/32*>/Ibœ3%œR.>,(0-35?+?œ*>,0

¡

),01œIK(+°œR.>D3G<¯*>/-,œ

-

3*0,(*>|+?œ*>8

¡

)10/)/8(ªC•¢ P3+A-/>

¡

œIF),+.8F0/>,2*),œ(3+.IF),0;>.+A),œ5?0;),22=CD)

¡<¡

>8Fœ3B-,2);II>;IF)|+.84);II36-,()1œ(3+AIO(+)|+

3G?¯>/-1œ"C368<>12

9

0;>/I

¡

>/-,œ(M">|2"¢/N‹0/3

¡

>,01œ(*>IK36›F)=-3+.-/>

¡

œ!IR.)122AG.>bCD)

¡6¡

>8Kœ3)|œœ0,(G<56œ>IK36›OœR.>

-,2*)/II.œR.),œA(*ICD)

¡?¡

(+ªKœRA>=-3+A->

¡

œ¢/@2œR.35.ªRœR?(IK)

¡6¡

0/3?);-|R°ŸB30,§.I!ŸB>122"(+C•36IœK-/)/I>I

9 (œ

(IFŸB3*0,œR.ŸR?(2>.œ3

¡

3(+6œF>,¥A-/>

¡ œ(3+.IOœRA)|œŸB>AR.)|MA>›,356+8

•

I3CD>°-/3+A-/>

¡

œI-/)1+±GA>‘GA>,œœ*>,0CD)

¡6¡

>8œ3¨)1œœ01(G?5?œ*>/I–36›%)°-|2*)/II=(+˜),+ 3G<¯|>/-,œ

C368?>12.G.>/-;)|5I>bœRA>*8?3+3œ.R.),M.>4)PC•>;)|+?(+ª›5?2Iœ)1œ>P(+œR.> I>,+AI>%3›b)|+3G<¯|>/-,œ

model;

•

I3CD>-3+.-/>

¡

œIIR35?28=+.3œGA>KC•)

¡?¡

>8Bœ3‘)|+¤3G<¯*>;-|œC•3?86>,2G.>/-/),5AI>!œRA>*—Ÿ>,0/>

8?>/›(+A>83+<2‘œ3’-12),01(›—I3C•>);I

¡

>/-1œ=36›"œR.>%3+<œ323?ª_

9

G?5?œœR.>*—8?3B+.3œ>|+A)/-,œ)

0/>,2*>|M"),+?œ\0/32>A(+),+–3G<¯*>;-|œ\C368\>12

•

0/>,2*),œ(3+AI(+?M32M6(+.ª—)D-/3+A-/>

¡

œœRA),œK(ICD)

¡6¡

>8œ3)|+ ),œœ0,(G<5?œ>13*0 œR.),œK(I+.3œ

-3+.I(86>,0;>/8b(+=œR.>.CD)

¡6¡

(+.ªAIR.35?28b+.3œ\G.>.C•)

¡<¡

>8Fœ3œRA>3G<¯*>/-,œ\C•3?8?>12¢

E‹560,œR.>10,C•30/>

9 œRA>—8(0;>/-,œ(MA>I-3+I(8?>10+.3+

-

^{œ01(M6(),2=CD)¡?¡ (+.ª?I 9 >/¢ª¢+}

-

)10*—0;>,2),œ(3+I

9

0;>,2),œ(3+

¡

03

¡

>,01œ(>/I)|+.8-/3+.8(œ(3+.),2P0/>12),œ(3+I¢Q@œK2*)/Iœ9 œR.>|©)/8M?(*I>=œRA>-|R.3(*-/>=G.>,œŸ>/>,+

¡

01(C(œ(M.>/I–œ3¤C•3?8?>,2¤)»8?3C•)|(+ >|+6œ(œ 1'5.),01(+.3˜8(I-,5.II(3_+)|G.35?œ¤I30,œ),2*I

9

œ>|C

¡

30;)|2

+.>15<œ0;),2(œ’),+843+6œ3236ª(-;),2O01(ª(8(œ=(*IF).MA>,0|’ª<3?3?8=>|¥A)|C

¡

2*>3›?œR?(*IF«

16

^­1¢

 >/I(86>/I"œR.>=>

¡

(Iœ*>|C•323?ª(-/)|2P-/3+Iœ0,5A-|œ*I

9

3+<œ323<ª(>/I!>,¥

¡ 2(-,(œ20;>

¡

0;>I>,+6œA§?+.3?Ÿ2>8?ª?>

(+°) I(ª+<(*›(-/),œ(3+‘2>|M">|2AœR60/35.ªRœR.>P5.I>3›b›,301C•),2K)|¥?(3C•I¢´RA>/I> ),¥?(3C•I-/),+‘GA>%3›QœŸ=3

œd

¡

>/I @B-'6 4/-/231>03-'6 1('3-'+ 4¤),+.8)7B.3*&1/03-6 1'$3-+;4«

4

­|¢A´.R.>•›|3*0,CD>10)1(CDIBœ3(C ¡ 3?I>

-3*+Iœ0;),(+?œ*I"œRA),œ‹C5Iœ‹G.>I),œ(I›(>/8 ›,30)0;>,2),œ(3+œ3PG.>-3+I(Iœ*>|+6œ2d–>/Iœ*),G62(IRA>/8?¢;´RA>2*)|œœ*>,0

(+6œ>|+A8<IFœ340/>

¡

0;>/I>|+6œ48?>;-,2)10/),œ(MA>§?+.3?Ÿ2>8?ª?>œR.)1œb(I4),G62>œ3D8?>10,(MA>B§6+36Ÿ2*>8<ª>‘›03CœR.>

›1)/-,œ5A),2=§?+.3?Ÿ2>;8<ª?>%0;>

¡

0;>/I>,+?œ>/8–(+¨œR.>—3+?œ3236ª™‹¢F´3¨ª5),0;),+6œ>/>%œRA>—›5?2*›(22CD>|+?œ–3›œR.>

-3*+Iœ0;),(+?œ*I’I

¡

>/-,(›(>/8’G<»-3+I32(8?),œ(3+),¥6(3C•I

9

Ÿ>86>|M.>123

¡

>/8)ª>|+.>10/)12;F.7B@&-'6 303-6

pattern

¢6@‘›œ>,0;ŸB)10/86I

9 œR6(I

¡

)|œœ>|01+’(I5AI>/8Bœ3‘-/3C

¡

3?I>),+.3œR.>|0

¡

),œœ>,01+-/)122>/8

whole-

F1 .0

[19,20 -

^¡

Ÿ>,22!C•)

¡?¡

>8œ3)/ª<ª0;>ª6),œ(3+.I(+©),+ 3G?¯*>/-,œKC•3?86>,2

9

(*¢>/¢

+3œ),œ(3+ ›,30)ª6ª0;>ª6),œ(3+

8<3>IF+3œ4ª5.),0;)|+6œ>/>œR.>-3+Iœ0)1(+?œ*IF(C ¡

36I>84G<œRA>œRA>30* CD>,0;>3*23?ª_ 56+86>,0,2(+ª=œR.>

¡

0/3

¡

36I>/8b+.3œ*),œ(3+«

4

^­,¢

EP30œRA>—I)|§A>—36›+A>/-/>II),0|¤G<0;>,M6(œ 9 œR.>‘CD)

¡6¡

(+ª±8(0/>;-,œ(M.>I),+8–œR.>°-3+.I32(86),œ(3+

),¥6(3C•IBŸ(22+3=23+.ª?>,0!G.>8(I-,5AII>/8=(+œR6(I

¡ )¡

>,0;¢?š1+¤)%›56œ560/>%)10,œ(-,2*>

9

ŸB>%Ÿ(22=8?>;I-,0,(G.>

R36ŸœRA>

Set

›0;),CD>ŸB30,§

¡

0;>I>,+6œ>/8(+œRA>4I5<GAI>/-,œ(3+ A¢¬-/),+‘R.>,2

¡

œ3I32MA>PC36Iœ36›QœR.>

(II5A>/I40;>,2)1œ>8Dœ3DœR.>‘š

¡

0/3_G?2*>|CD¢´.R.>‘G3œœ3C

-

^{5 ¡ -3+Iœ0,5A-,œ}(3+36›35?0C•>10/>/3236ª(-/),2

¡

)1œœ>10,+¤Ÿ(22G.>

¡

0;>/I>|+?œ*>8B(+–.>1œ),+3œRA>,0)10,œ(-,2*>/¢<´.R.>%>,C

¡

R.)/I(IB3?›"œR?(I

¡ )¡

>,0!(*I43+R.3?Ÿ

œR6(I–›0;),CD>/ŸB30,§)|+8¤)-322>/-1œ(3+˜36›Kœ0;)|+AI›,30,C•)1œ(3+¤0,5?2>;I-),+¤G.>°)

¡?¡

2(>8œ3?ª?>1œRA>,0%œ3

ª?>1+.>,0;),œ*>-3+I3+.)|+6œ

H@ @±(C ¡

2*>|CD>,+?œ),œ(3+IF›,30AœR.>8?>,01(M")|œ(3+)|¥6(3C•I¢

-

^#

Set

´R.>4›(ª560;>³IR36ŸBIK)I5

¡<¡

30,œ›0/)1C•>;Ÿ=3*0|§œR.)1œ

¡

2*)*"I)4›5?+.8?),CD>|+6œ),2A0/32*>P(+—35?0

ontology-to-

3G?¯*>/-1œIAC•)

¡?¡

(+.ª?¢´R?(*IK›0;)|CD>/ŸB30,§(C ¡

2*>|CD>|+6œIAœR.>bCD),œR.>|CD)1œ(-/)12

¡

0/3

¡

>,01œ(>/I

8?>;I-,0,(G.>;8KG<=œRA>œR.>3*0/>1œ(-;)|2b›|35?+.8?)1œ(3+

¡

0;>/I>|+6œ>8P(+•I>;-,œ(3+•½6¢;´RA>CD>|œR368<IP36›<œR.>

Set

-,2*)/IIF),0;>I56CC•)10,(*7/>8F(+=œ),G?2>¬?¢

The class

(*I)%ª6>,+.>,01(*-%-/3+6œ),(+.>,0bœRA),œ(I)|G?2*>!œ3BR.328’>,¥6œ>|+AI(3+I>,œI›,30 ),22K§6(+86I36›B-3+-/>

¡

œK(+.Iœ*)|+.-;>I¢Q´3%G.>)/-;-/>II(G62>

9

>/)/-|RCD>|CG.>10–3›=)I>,œKC5AIœ!R.),M.>)

5?+?(µ5.>˜(8?>,+6œ(›(*>,0

.

´RA>

SetElement

(+6œ>,0;›1)/-/> 86>/),2I¸Ÿ(œR œR.>;I>˜0;>µ5?(0/>|CD>,+?œI

9

providin

ª=)|+=(8?>,+?œ(›(-/),œ(3+ C•>/-,R.)1+<(IC œR?0/35ªR œR.>

getKey

CD>,œR368?¢_EP30K)|+=(+AIœ),+A-/>36›

),+<-,2)/II–œ3¨GA>—R.>,2*8¨(+)

Set

^{9 (œ’C5.Iœ(C ¡} 2>|CD>,+?œœR>

SetElement

⁽+6œ>,0;›1)/-/>/¢

!3+.I>µ5.>1+<œ2 9 œR.>

Set

-,2*)/IIA(IK);-,œ5A),22•)4I>,œK36›

SetElement

(+.Iœ*)|+.-;>/I¢´R.>

¡

01(CD),0|

§.>|›|3*0–œRA>I>¤>,2>,CD>|+?œ*I(I%œd

¡

>;8 )/I G?¯>/-,œ

9

ŸR6(-|R©(I%œR.>–œ3

¡

-

C•3?Iœ•-,2*)II(+ H @ @

R?(*>,0;),0;-,R\‹¢´R?(IA(IK8<3+>F(+°30;8<>,0œ3%ª(M.>FœRA>4)

¡<¡

2(*-/),œ(3+-12)II>/I"œ3œ),2K›0;>/>/8?3C0;>ª),0/8(+ª

(C ¡

2>|CD>,+?œ),œ(3+–8?>/-,(*I(3+I¢

´R.>$›0;),CD>ŸB30,§ ),2I3 86>/›(+.>/I¤œŸB3 3œR.>,0$-12)II>I

PersistentSet

)1+8

MemberSet

⁹

G.3œR»I5?G

-

œd

¡

>/I‘36›

Set

¢"´RA>D›,30,CD>,04(I)DI>,œœRA),œK(I),G62> œ3’RA),+.82*> (œI

¡

>10,CD)|+A>|+6œIœ30;)ª6>!(+’œ3œ*),2œ0;)|+AI

¡

),0;>,+A-*°›03C¸œR.>

¡

>,0;I

¡

>/-,œ(MA>%36›"œR.>-,2*)/II5.I>,0;I¢9P¨RA>|+

œRA>

store()

CD>,œR368°(I%(+<MA3_§A>8(+$)

PersistentSet

⁹

œRA>¤-,2)/II

¡

>10/›,30,CDI%œR.>

I>,01(),2(7/)1œ(3+36›‘),224(œI CD>,CG>,0;I¢´R.>301(ª(+A),2–Iœ),œ*>36›œR.>3G<¯|>/-,œI ,);IDŸ>,22–)/I œR.>,(0

0;>,2),œ(3+.IA-/),+4GA>)/›œ>10/Ÿ),0;8?IO0;>Iœ30;>8FG\BœR.>A(+<M.3?-;),œ(3+–36›6œR.>

retrieve

^{6C•>1œR368?¢}

E‹(+.),22d

9¡

>,0/I(Iœ*>|+6œ¤I>,œI¤-/),+˜G.>°5AI>8˜)/I¤),+(+6œ>,0;>/Iœ(+ª)|2œ*>,01+.),œ(MA>°œ3¤(C ¡ 2>,CD>,+?œ

8?)1œ)|GA)/I>/I!«

19

^{­,¢ I(+.ª!œR6(I ¡ ),0/)/8(ªC 9} )B8?),œ*)|G.);I>B-/),+G.>BI>/>|+•)/Ib)

family ℑ

1I>,œP3?›I>,œ*I

9

ŸR?(-,R°-3+6œ),(+.IK),22AœR.>4I>,œ*I>|¥6(Iœ(+ª(+œRA>4)

¡?¡

2(*-/),œ(3+A¢‹®(+.-/>

9 (+œR6(IK-/)I>

9

>/);-,R°I>,œKŸ(22

G.>)CD>|CG.>10 36›),+3œRA>,0 I>,œ

9 œR.>| C%5.Iœ),2I3¸GA>5<+?(MA3?-/),22d (*8?>|+6œ(*›(*)|G?2*>/¢D´.R.>

MemberSet

(*I

9 œR?5.I 9¡

0/3M?(86>8Fœ3B>|+A)|G?2*>.œR<(II(œ5A),œ(3+A¢

- Framework

^{M%?M @!A(BC'@ C M MCE@!?M(C'@!?M ?B MKA%CC'M}

–

⁰ &!'"%

$

(%&'$

E‹(ª560/>

3

IR.3?ŸI

¡

),01œ36›OœR.> .š ’' C•3?86>,2!›,30=)

resource-to-

1>@B03*B309

allocation

œRA>30|–3+?œ3236ª™’«

5

­,¢_´R.>(+?œ*>|+?œ(3+4(IQœ3P5.I>(œF)Ib),+D>,¥.)|C

¡

2>3MA>,0ŸR6(-,R•Ÿ>-/)|+–>|¥

¡

2*),(+

3560CD>|œR368<323?ª_‹¢O´R.>10/>/›,3*0/>

9

+3œ43+62dœR.>‘I>1œ 36›-3+.-/>

¡

œI ),+A8 0;>,2)1œ(3+.Ib(Ib(+.-/3C

¡

2*>,œ>

),+A8KœR.>1(0(+6œ>,+?œ(3+.I!),0;>+3œ

¡

0/>/I>,+6œ>8

9

G?5?œ‹œR.>B›5622D3+6œ323<ªD)|¥6(3C•)1œ(7;),œ(3+•Ÿ(22‹+.3œ‹G.>

¡

0/3M?(86>/8=)IFŸ>,22¢

@ I36›œŸ),0;>¨>,+ª(+A>/>,01(+.ª

¡

0/36->;II%(I•)¤-3C

¡

3?I(œ(3+¸36›)¨I>1œ36›=(+?œ>10

-

0;>,2)1œ>/8

)/-,œ(M(œ(*>/I¢%@‘-,œ(M?(œ(*>I»-/),+ GA>$>,(œR.>1036›Dœd

¡ > -3+AIœ0,5.-,œ(3+

9

CD)|+.)/ª6>|CD>|+6œ²3*0µ5A),2(œd

)/II5?0;),+A-/>/¢P´3—CD)|§">–œRA>D0;>/),2(7/)1œ(3+ 36›=œR?(I

¡

0/3?-/>;II

¡

3?II(G62>

9

)¨I>,œ°3›40;>/I3560/-;>/I(*I

),2236-;),œ>8%œ3%G.>45.I>8%(+œRA>–)-,œ(M(œ(*>/IK(+AI(86>4œRA>

¡

03-/>II¢

:

>/I3560;-/>I%-35?28GA>D36›Fœ ¡ >

I36›œŸ),0;>

9

R.),0;86ŸB),0;>B30R?5<CD),+0;>/I3560;-/>/I¢_·=5?CD),+ 0/>;I35?0;-/>;IP-),+ GA>CD)|+A)ª>,0I

9

8?>,M.>,23

¡

>,0;I

30

¡

0/3¯*>;-,œQ2*>/)86>,0;I

9

>/);-,RD3+A>B3›<œRA>,CŸ(œR–I

¡

>/-,(›(-I§?(22*I¢_¶)/-,R œ ¡

>B3›.)/-,œ(M6(œdB0;>/µ_56(0;>/Ib)

I¡

>;-,(),2"G.3?8_•3?›O§6+36ŸF2*>/8?ª?>œ3KGA>

¡

>,0;›|3*0,CD>/8G<D)FR<56C•),+0/>;I_35?0;-/>;¢´R65I

9

›,30F(+Iœ)1+.-/>

9 )

CD)|+.)/ª6>|CD>,+?œ );-,œ(M?(œ±-/)1+©3+<2•G.>

¡

>,0;›,30,CD>/8%G<¨)±)|+.)/ª?>,0/¢.(§A>/Ÿ(I>

9

)’-3+.Iœ015A-,œ(3+

)/-,œ(M(œd-;),+—3+62d%GA>

¡

>,0;›,301CD>8G<)b£‘>|MA>,23

¡

>,0;¢ +œR.> 3*œR.>,0bR.)1+.8

9

)bN‹0;3¯*>;-,œ>/)86>,0b(*I

),+>,¥ >,01(>1+.-/>/8PR65<CD)|+=0;>/I3560;->.œR.),œ\(I)|G?2*>.œ3 >,0;›|3*0,C ),+\=§6(+A8 36›A)/-,œ(M?(œd‹¢

¡ ¡

.74>- .@B751>22-/@&1>07 0-A0</77 *&7C2-F/+A760-?A1 F.-/@B7D44

:=<>1>01/.750</7=1/@B03*B30374A</74/</7=@B1'6

perform?

Fig.3 -

^{8@!A(B8F8C D I M6DBD 9 KHFDJ ?LJC DJ C}

-

^{? M88MKL?BBD ?M8D I MC'DJK}

´R.>%+.>,¥?œ’I5<GAI>/-,œ(3+.I

¡

0/>;I>,+?œ=œRA> ¡

)10,œ(),2%)|¥?(3CD)|œ(7/)1œ(3+˜36›KœR6(I3+?œ323?ª_"¢´.R.>

›13223?Ÿ(+.ªb+3œ),œ(3+.),2-3+<MA>|+?œ(3+ (*IQ5.I>;8

(C) -

^{-3+.-/>¡ œF8?>;›(+<(œ}(3+)|¥?(3C•I

9

(R) -

^{: >,2*),œ(3+}

8?>;›(+?(œ(3+D)|¥?(3C•I

9

(S) -

^I¡ >;-,(),2(7/)1œ(3+D)|¥6(3C•I

9

U

Y

-

^{-/),0;8(+.)12(œ}–)|¥?(3C•I

9

U

Y

-

^),¥6(3C•I

0;>/›,>10,01(+.ªœ3

¡

0/3

¡

>,01œ(*>/IF)|+A8

9 ›(+)122d

9

(O)

3+?œ3236ª(*-/),2F8?>,01(M"),œ(3+),¥6(3C•I¢

a)

^{0%% $}

4 D 3 KI2

4 3

I'J K2 4 3 2BL@ZZL

4

3 J A M(1

I'J K2

4

H 3QH M1>M

A

1L 4

3I(1

LDKJ2BL@ZI1

4! " 3 " J M/NZL #

J>KM12

4$ % 3 % NI'

K

4& ' 3 KI)(

2&L ' M*

K 4D,+ - 3QHJM1 M

K

4 D M>NNI2 ML@ZI(1 3 4

Resource,

KI2

allocation(r,p

⁸

4 D

∀

^{M R A 4}

{a}

^{2I A >I}

ZL@ZI%1

~

^{3 D}

4 2 I A

>I

ZL@ZI(1!3 4 KI2

M

2CL@ZZL

2I

A

>I

ZL@ZI%1(4 M 8

4

∀

^{R A 4}

{p}

^>I

≥

^{D 4 J M 3 4 M I'J K2 2&LLZZL J MM 4KM}

N!¬

∀

^{R ·}

∃!n:

^®/œ01(+ªF+3C•>

n,h)

^,®Q¬

⊂

^{@ 1®Q³}

⊂

^{@ ,®Q½/.}

⊂

^@

401

⊂

^{402 3}

⊂

^{402 %}

⊂

^{404 -}

⊂

@’I•CD>|+6œ(3+>;8 GA>/›,30;>

9

-,2*)/II>/I¦86>/›(+.>²)›,301C•)1œ(3+0,562>˜›130(œI•(+.Iœ)|+A-/>),+.8

9

œRA>,0;>/›,30;>

9

-/),+ GA>žI>/>|+ ),+8 CD)|+6(

¡

5?2*),œ>8 )/I I>,œI (+ ) CD>,œ*)

-

2*>|MA>,2¸),0;-,R?(œ>/-,œ5?0;>/¢

!3+.I>µ5.>1+<œ2 9 œR.>-,2*)/II(›(-/)1œ(3+’0;>,2)1œ(3+I(+‘œR.>›,3*0|CD),2(IC 8<3B+.3œ0;>/µ5?(0/>),+<—I

¡

>;-,(›(-

(C ¡

2>|CD>,+?œ),œ(3+I

9

(¢>/¢0/>12),œ(3+.II5A-,R°)/I 1

∈

^* ),0;>Fœ3œ*),22%0/>;I32M.>/8G<%œRA>

¡

0/3?ª0/),CC(+ª

2)1+ª5A)ª6>.œ ¡ (+ªFCD>/-,R.)|+6(IC»œR<0;35.ªR=œRA>-10/>/)1œ(3+–3?›A),+–3G<¯*>;-|œ

a

^{3›6œd ¡ >}

A

^¢

.(§.>–œR.>¨-,2*)/II(›(-/)1œ(3+ 0;>,2),œ(3+

9 œRA>¨I5<G

-type-

36›40;>,2)1œ(3+ 8?36>I%+3œ%0/>;µ5?(0;>±)1+\

)/868_(œ(3+.),2K(C ¡

2>|CD>,+6œ),œ(3+

9

(¢>;¢!I5?G

-type-

3?›b0;>,2)1œ(3+.I),C3+ª-3+-/>

¡

œI-/),+°G.>•8(0;>/-,œ2d

CD)

¡?¡

>8Fœ3=ª6>|+.>10/),2(7/)1œ(3+15*I

¡

>/-,(),2(7/)1œ(3+=0/>,2*),œ(3+.IF)|C•3+ª=-,2);II>/I¢

EP30œRA>

relation

^{CD)¡<¡ (+.ª!œ}RA>,0;>=),0;>BI3CD>F(II5A>/IAœR.),œ!Iœ(22"C5.IœAGA>=8(I-,5.II>86¢/š1+

›(ª560;>B³

9

)0/>12),œ(3+

contract

G.>,œŸ>/>,+ œRA>B-/3+.-;>

¡

œ*I

Person

)|+8

Organization

(*IPIR36Ÿ+A¢™š,+

3560’) 03)/-|R )/›œ>,0œR?(I!0;>,2*),œ(3+(*I!œ0;),+.I2*),œ>/8œ3•)|+¦3G?¯>/-,œPC•3?86>,2 G.3œR¦-/3010/>/I 3+.8?>,+?œ

9 9

CD>,œR.3?8

contract()

(+•)|+°3G<¯*>/-,œ

o 1

3?›\œ ¡ >

Organization

⁹

(œ‹(I

¡

36II(G62>Fœ3KRA)|M.>

)/-/-;>/II.œ3%),22A(œIR6(0;>/8>,C

¡

23.>;>/I (+AIœ)|+A-/>I36›

Person

1¢´R?(*I.0;>/I562œ(+ªI>1œA(I›,3*0,CD)|22d

I¡

>;-,(›(>8DG<¨œRA>›,30,C 5<2*)

Im({o 1 },contract)

^1¢A(§A>/Ÿ(*I>

9 œRA>’CD>|œR368•(+<M.3?-;),œ(3+±(+ )

¡

>10/I3+•(+.Iœ)1+.-/>

p 1

0;>,œ5?0,+.IP(œI-3+6œ0;)/-,œ30

9

3*0

9

Im({p 1 },contract)

¢O´.R.>B0;>,œ5?01+.>/8œd

¡

>’3?›

œRA>%0;>,2)1œ(3+¨CD>,œR.3?8?I8?>

¡

>|+.8<I‘Iœ0;),(ªR<œ2d²3+¤œRA>-;),0/8(+A),2(œ²)|¥6(3CI‘)II3?-,(*),œ>/8œ3’œR.>

0;>,2),œ(3+.¢Eb30P(+.Iœ*)|+.-;>

9 I(+A-/>P(+œRA>4I-3

¡

> 36›‹œR.>

contract

0;>|2*),œ(3+°)

Organization

^CD)*

R.),MA>I>|M.>,0;),2>|C

¡

23">>/I

9

contract

^(IOC•)¡<¡ >/8bœ3=)

Set

M.),01(),G<2*>.(+4œR.>

Organization

-,2*)/IIP)|+.8

9

R.>1+.-/>

9 œR.)|œQ(I‹œRA>œ ¡

>0;>,œ5?01+.>/8KG<4œRA>(+<MA3?-/),œ(3+•36›\œR.>Id6+3+<6C•35I"C•>1œR.3?8

3+œR?(*I!-,2*)/II¢P¤RA>,+•)F0;>,2*),œ(3+%RA)/I!)B-/),0;8(+),2(œD),¥?(3C˜(C ¡

36I(+.ª),+(+.›1>,01(3*02(C (œP>µ5.),2I

œ3‘¬

9 œR6(I-3+.Iœ0;),(+6œ.(I.0;>/›2>/-,œ*>8(+‘œR.> -12)/II-3+.Iœ015.-,œ30;I>,+.I5601(+ªœR.>>;Iœ*)|G62(IR?CD>|+?œ3›

œRA>!0/>12),œ(3+A¢6@’ICD>|+6œ(3+.>/8BG.>/›,3*0/>

9?¡

0/3

¡

>,01œ(>;IB-/)1+G.>I>/>,+)/I)%I

¡

>/-,(*),2§?(+.8’36›"0;>,2*),œ(3+

G.>1œŸ>/>|+I>,œI),+8

9

>,0/ª63

9œRA>I)|CD>A0,562>IF)10/>K)

¡6¡

2(*>/8Fœ3FœRA>|CD¢

"

<(& %

$

4C1D

∀

^{N' M J MM 4NM}

↔

^M

∈

^{A 4A 4}

{l},allo

^{2 M'L@ZI1 2 I A >I}

ZL@ZI(1

4C

∀

^{- M J MM 4 M}

↔

^M

∈

^{4A 4A 4}

{g}

^{M/NNI2ML@ZI1 2 I A >I ZL@ZI1}

∩

^H

4C

∀

^{* % M J MM 4* M}

↔

^M

∈

^{4A 4A 4}

{d}

^{M/NNI2ML@ZI1 2 I A >I ZL@ZI1}

∩

´.RA>8?>,01(MA),œ(3+•),¥?(3CDI!),0;>›|3*0,CD),2(7/>/8Pœ3 )|+AIŸ>,0œ3PœRA>B-3C

¡

>,œ*>|+A-*–µ_5A>Iœ(3+.I!36›<œR.>

o

+?œ3*23?ª_‹¢;´RA>),¥?(3CDIb)|G.3MA>

9

›,3*0.(+.Iœ*)|+.-;>

9

),+.IŸ>,0Aœ3FœR.>›,32236Ÿ(+.ª4µ5.>Iœ(3+?>-/.1&3*B76

< +)1'6 .74>- .@B7

h 1

^O

:5<>1>01>.7=0<>751/@B03*&30374 <>74/<>75@B- 2>751/22-/@&1/07 0-´RA> I3256œ(3+

I>,œP›,30FœR<(I!µ_5A>/Iœ(3+%C5AIœAG.>0>1œ5?01+A>8KG\ œR.>F(+?M36-/),œ(3+°3›OœR.>FCD>,œR.3?8

usage()

(+•)|+

3G?¯>/-1œ

h1

36›œRA>

HumanResource

-,2)/II¢O·’36ŸB>|M">,0

9

›,30œR?(Ibœd

¡

>’3›FCD>,œR368<IPœ3 G.>

8?>10,(MA>8›0/3Cž8?>,01(M")|œ(3+°)1¥?(3_CDI

9

) I>1œ36›Qœ0/)1+.I›,301CD)|œ(3+015<2*>/I.C5AIœ.G.>48?>;›(+.>86¢´R.>4I>,œ

36›?015?2*>I

¡

0/>;I>|+?œ*>8=)/Ib›,3223Ÿ=IO(IF)I5<GAI>,œb3›3560K-3C

¡

2>,œ*>I>1œb3›?œ0;),+I›,3*0|CD),œ(3+ 01562>I¢_EP30

)-/3C

¡

2*>,œ>I>,œF36›6œ0/),+.I›,30,CD),œ(3+=0,5?2>;I

9™¡

2>/)/I>A0/>;›,>10Aœ3B«

19,20].

(

∀ x:X

^p

∀

^K

1 (x,y) ↔ ∈

Im({x}

^K

1

34

≡

^{J2HL@H M'L}

if

^{R A 4}

{x}

^K

1

^31D

then

³⁴

3

else

³

30 L

´.R6(I.0,5?2> Iœ*)|œ>/I?(*›P›,30 >;)/-|R‘(+.Iœ),+.-/>

x

^{3›‹œ ¡ >}

X

⁹

x

(I>|+ª)ª6>8‘Ÿ(œR—)122.(+Iœ)1+.-/>/I

y

›0/3C I>,œ

C

1),+.8¤3+?2—(+Iœ),+-/>;I’36›PœR?(I‘I>,œP(+»)0;>,2*),œ(3+

r 1

9 œR.>DI>,œ0/>,œ5?0,+.>;8G<°œR.>

›5?+A-,œ(3+ U) O

1

^Y

Ÿ(22"G.>=>|¥A)-,œ2d

C

¢/´RA>bœ ¡

>F0/>,œ5?01+.>/8KG\œR.>FCD>,œR.3?8KœR.),œ"(C ¡ 2>,CD>,+?œI

œRA>4›56+.-|œ(3+(+œR.>48?>,01(M.>/8-12)IIK8?>

¡

>,+.8<I3+œRA>4-/),0;8(+.),2(œ36›QœR.>b0;>,2),œ(3+.¢·‘>,+.-/>

9

(›

x

(I"0/>12),œ*>/8Kœ3%3+?23+>F(+.Iœ),+.-/>43›

Y

^{9 œ}RA>b0;>,œ5?01+.>/8MA),25.>=IR.),22AG.>436›\œd

¡ >

Y

^{9 3œ}R.>,0;Ÿ(I>

9 (œ

IR.)122OG.>36›6œd

¡ >

Set

¢

(

Im({x}

^K

1

G NK

1

⁴

@‘IQCD>|+6œ(3+A>8PG.>/›,3*0/>

9

)0/>12),œ(3+0/32>B3*0

¡

0/3

¡

>,01œd

r 1

GA>,œŸ>/>1+ œŸ=34-3+.-;>

¡

œ*I

X

^),+8

Y

(I=CD)

¡<¡

>/8–(+¨œRA>°-,2*)II>I=œR.),œ=0;>

¡

0/>/I>1+<œBœRA>/I>°-/3+.-;>

¡

œI=œ3–CD>,œR368?I4+A)|CD>8¤)/›œ>10%œR.>

0;>,2),œ(3+.¢Eb30‘(+.Iœ),+.-/>

9

ª*(MA>,+),+±(+AIœ*)|+A-/>

x

^{9 œR.>‘(}+?M.36-/)|œ(3+

x.r 1

UY

0/>1œ560,+.I œRA>—I>1œ•3›

3G?¯>/-1œIF›0/3C±)/II3-,(),œ>/8Fœ3F¥4(+=œRA>.0;>,2*),œ(3+

r 1 .

(

A 4 K

1

⁰

LNA 4 K

1 ")

T6 promotes

^¡

Image corresponding

Id+?œ),¥A>IOœR?0/35.ª_RŸR<(*-,R4œR.>|’)10/>A(C ¡

2*>|CD>,+6œ>8b(+=œR.>

Set

-12)II¢

(

x.r 1

⁴

≡

^9J/NZ22NM

B 'J/NZ2 K

1

⁴

{

K

LJ K1

E

E

Finall

^{ 9}

rule T7

^{8(0/>;-,œ2 œ0/)1+.I}2),œ>/I—œR.>˜)|¥?(3CŸ01(œœ>,+¸(+¸(œI°2*>/›œ»I(8?>±œ3»œR.>

(C ¡

2>|CD>,+?œ),œ(3+-/3010;>/I

¡

3+86>,+<œ‘Id+?œ),¥¤(+¤œR.>•-|R.3?I>|+

¡

0/3?ª0/),CC (+.ª2*),+ª5)/ª6>/¢A@=22BœR.>

0;>/›,>10/>1+.-/>;Iœ3%œR.>4(+.Iœ*)|+.-;>

x

^>1¥?(Iœ*>|+?œ!(+œRA>–I-3

¡

>D3›=I>1œ ?Uœ3•ŸR6(-|R¥—GA>,23+ª6I

)

^),0/>

0;>

¡

2*)/-/>/8!G<4œR.>

H@ @©0;>/I>,0,MA>/8ŸB3*08

this

^{9 I3PœRA),œ9} 0/>;›,>10/>,+.-/>/IQœ3PCD>,œR.3?8?I!3›<œRA>=I)1C•>

-,2*)/IIFŸ(22\G.>.CD)/8?>;¢

´R.>B-368?>B›0;)ª*CD>|+?œ"GA>,236Ÿ IR36ŸBI‹œRA>486>,01(MA)1œ(3+

¡

0/36-/>/II!›,30œR.>B),¥6(3C

O1

^{9 )1+8}

),2*I_3(œIO(C ¡

2>1C•>,+?œ*),œ(3+=(+=œRA>

-12)/II¢

4C1D

∀

^{N' M J MM 4NM}

↔

^M

∈

^{A 4A 4}

{l}

M>NNI2 MLLZI(1

2I A I ZL@ZI1

D N9A 4NJ M

0 L

≡

^{A 4A 4}

{l}

^{M>NNI2 MLLZI(1 2I A I ZL@ZI1 C1D 3 +}

N NNJ MM

40 L

≡

^{A 4}

{l}

^{NM>NNI2M'L@ZI14}

2I

A

/I

ZLLZI1

D 3

3.

^{NNJ M 40 L}

≡

^{0 LNA 4}

{l}.allocation(),"composition")

³

N IJ>NZ2L2NM K

ojectLeader

³

B

IJ>NZ20

LJ

M 4

B K

L@J K1 0 LNA 4LH9Z

NM/NNI2 M'L@ZI1(4

2I A /I ZL@ZI1

E

E

public class

^!"

extends

#$%!&')($)*

{

* !" ,+.-) /&*01& !2%3

{ super(name); }

public

-1$(!*0*4+53

{

return

^-7698:%;+

this.allocation(),"composition");

} }

5

8! '!=< *>

´R.>NP>,(0;-/>

¡

0;3¯>/-,œQ(*IP)|+ (+6œ>,0,+.),œ(3+A),2b-322),G.30;),œ(M.>>/›1›,301œQœ3PG?5?(2*8)-3+.-/>

¡ œ5.),2

ª0;)

¡ R ŸB30,§?GA>|+A-|R «

7][8

^{­,¢=´3 )/-/-/3C ¡ 2(*IR(}+<œ*>,03

¡

>10/)1œ(3+ ),C•3+ª±œRA>²8_(*›,›1>,0;>,+6œDœ3632*I

¡

0/3685.-;>8(+•œR.>‘-3+<œ*>,¥?œ 36›œR.>

¡

0/3¯*>/-,œ

9

)BCD)|œRA>|CD),œ(-/),2 3+?œ3236ª™¨Ÿ)I

¡

03

¡

36I>8D),+8D)

I36›œŸ),0;>»2(G60/)10* Ÿ)/I 86>,01(MA>/8?¢‘´R.> 3+6œ3236ª™ -3+?œ*),(+AI¨œ)1¥3+3C(- R?(>10/),0;-,R?(>/I›,30

CD),œRA>|CD),œ(-/),2=3G?¯>/-,œ*I4I5.-,R¨)/IbI>,œI

9

ª0/35

¡ I9

-/)1œ>ª?301(>;I

9

0;>,2*),œ(3+AI

9 ›5?+.-1œ(3+I 9\¡

0;>30/8?>10/I

9

¡

)10,œ(),2K30/86>,0/IK)|+A82)1œœ(*-/>I¢š1+«

7

^{­b)=I¡ >/-,(›(-/),œ}(3+°›|3*0=)4®Q>,œ!-|2)/IIA(I!›,30,CD),2(*7/>/8(+I>,M.>,0;),2 2)1+ª5A)ª6>/IP

9*?

š1E

9

!3+A-/>

¡ œ5A)|2P'0;)

¡

R.I),+.8%)BI>,œK36›A@)@-3_+6œ0;)/-,œ*IA(*IK8?>10,(MA>/8

9 IR36Ÿ(+ª

¡

0;>5

¡

36I-3+.8_(œ(3+.I ›,30œRA>3

¡

>|0;),œ(3+.I 3?›.œRA>Bœd

¡

>/¢\š,+¨«

7

^{­9 (}œb(*I )12I3

¡

0/>/I>,+?œ*>8D)’Ÿ)*œ3