Reasoning with multiple ontologies in OWL language

0123456 5786 9 96 14594 476 136 5 257271

!"#$#%!&'( &")

*$)+ ,,$-'*

./012345367/75383/9:/;9<9=930>?72<;@0A

B3/9C043D/;3E/7/F7GH3@/<@7:/4=;9C<72IBDG:JAKLM6 BN<@750IL79<0/72 M=90/080=;K/<O3C;<9P0>6H3Q<@0J

RSTUSVWTXRYTVZ[\]^_

``WTYabZcXaZdR\]^_

a]eYVcXaZ[Z\eYT]\]^

fghijklimnO3C9N3o7;9;3O3/P37C;A0/90205<3;N7O3oC0O3490p30/3 0>9N3p3;9205<@72C3oC3;3/979<0/;0>q/0123453p7;3;A;</@39N3P@7/

p3C3oC3;3/934</8=29<o23;23O32;7/490o<@;rs013O3CAC37;0/</5@7/

@N7223/539N3;o3340/90205<3;oC0O<431<9N0=9o=9rGN<;o7o3CoC3;3/9;

7@0/O3/<3/9;97C9</5o0</990C37;0/</5</ntu27/5=7531<9N8=29<o23 0/90205<3;</0C43C905397p3993CC3;=29p7;340/C37;0/</59<83r vwxyzj{h|C37;0/</5A>=220/90205<3;A205<@Aq/0123453C3oC3;3/979<0/A 012

} ~594€96 45

‚&&)ƒ„… †‡ˆ‰&ƒ ))…& ƒ Š ‹

%&%…$ Š %Œ&…$… )Ž)…& ƒ Š % $Š$)%$…$ Š&& ƒ ) )Ž) &)…)%)& "Œ&…‰ )& $&$‰%ƒƒŠ

‘$†’ˆ)“ ƒŠ ”…& …&“&‰&&…$'‹



Ž  ))ƒ$ƒ &%%Š$ ))“) &

•„ƒ †–ˆ$ "&$)ƒ„•—•„ƒŠƒ$ƒ˜„•

&$Š )“)…‰+™š!—+ $&™ &…š%Œ›

!&%˜&$Š

%…%œ % $ '‰&ƒŠ

 Š$%‰&&… ) & — %% %‡"

‰&&… ˜"Œ&&&$ …% Œ ƒ%

))" &&…‰&Œ%$

&)Ž$ " &$ ž … Œ&ƒŠ

$…Œ&)‰% %

$Œ%‡"&&… ƒŠŸ

0123453567284998286239768497698986228686367249743397 4749767894683286868636761678686768325264532754 4673939862786846622438686367249722436768261134 76335283989395283472342823276483986 222864736682982346 !"#$%&$'(#%'!"%)*

##6564269295976789468343926686863672497 22255633416966+86334973369,68286239768

62478916479632599722982093341639497436 36997994634763984736274547689682144-76236283 979946326166736989462.+6369597563936627473 2786249734286321627261667864936684761659767 894683

/0123245678979:;6<8=>=<6<:67=;:<?8@A=;:=<B=<:C6@6<:D<:7:;@6@8=;E

432688636732597674673284794793522168623974747F&"

27264366829799463476246247597841497943268 4363692328979992556334G6867979946363584168626 9247368624768962684398274623993%65497H1846 43533636125897479824979686239747993-7%65497I6 624675497244639862397474469799463286863676%65 497J1846622636689827569696472%65497K4353363 8689L6532759756343268

0 123456789

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

*,-)#. &/($01-213"4!$

--+,!!- 1#$3!5-$

!!3!!.6--+,!

1#.6!!"37487-4-8#9:68 :36"!83#;:<8353-"5-

!!3!3!!30.

0".6:<88"

0!!0-=.

:$)*)$)+,!-*,-

)&>($--5+,+,"!-! 8?@6)&A(.)*)"!!1-$B3$ 1105.6--)7$7489:68 :<8.6$:*&C(3!5 )*)5!.

-115!)*)

!--+,$+,!.-5

!!.

DEFEGFHIJKJLGMNOJKPKQEQLERESTKJUIPKVKKQMKPKREWKMXYUKZGVRTHILTEQEQLER[ ESNTJMK\QKMIJ]ERRE^J_

`abcdebfghijjklmhdgindoe`pqlmhdgindoer stubignocqlmhdjudevimoowxqiqbys zi{do|fabc

`iea`}lqbyghijjf~cklmhdgindoebjbiygur

`tb|qhinbf€igbnfihlb‚iyadeihdnƒ

ybjbiygu„inbklmhdgindoe…r

`tb|qhinbf€igbnfihlb‚iyadeihdnƒ

qlmhdgindoe„inbklmhdgindoe…r

`tb|qhinbf€igbnfihlb†i{d|l|f‚iyadeihdnƒ

jdevhbkivbklmhdgindoe…rr zabc`iea`ybjbiygu„inbpqlmhdgindoe„inbr

`qlmhdgindoe„inbpqlmhdgindoe„inbr

`jdevhbkivbpqlmhdgindoe‡l|mbyr

`ybjbiyguˆjjdjnien‡i|bpqlmhdgindoe}nydevrrr

‰ Š‹2Œ79 95Ž ‘8’  “’ ‹797’ 75 ‹Œ

!!"0-"53!

-”!$$0.•.

01234567896988878769 797 7697878976989698897978 3 !43"689777896988778789#79$9#% 89&#$9#879'%()89*%()87969' 7679#869769769799 9789697897

+967#76879696#6#9#6769+,-

#898676'8797#&7# 877697%

89#9#.7#89#678696 97'879897#&# 877697 789#669967#89#6788#

86997'789#7 86#676

9#889869997'7

689886767789#8/8&89 9797#897867897#877768 7 899897

'#789#69879697767&68 0569977896 6986979879#67697897 1!"23!4 '87$7$586879696#%

6#9#678/8889888877#6#9#67 6769698698979696#69

6 789:;89;<=>?@989;@:AB C=@D;CB E;?B =C8F

'9)7869896G8697H77986&#

877/7869896G8697'79868799787 86/#698798988

012345+896G8697##88877769789#7)69 77789&9766978#67687898&#89 77686#888676789&86987766#6

3 !43"I)8#77776#769788#69897

$9 888/

JKLMNOPQROSTUVTWXYXWZWQXP[\ZZOZRQTR]^[QZ_LMNOPQROST`KQKWX aUXbQTOcQROSTd^[QZ_LMNOPQROST`KQKWX]e[QZ_LMNOPQROST`MSSf g[QZ_LMNOPQROSTdhSXbQTOcQROSTiKWXZST

jkONOQTQlmWnQNW]XWZWQXP[\ZZOZRQTR

o[QZ_LMNOPQROSThkONOQTQipWQZSTOTbVOR[UTRSNSbOWZ

05*9878697876779##699%

#67/q79r78q#6869r78s+896G869r%

7889t8877969u6g*## 88#&#88 669786'7&99#6776988

012343567896797978677

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

/% -+0) ! 10% %23 % - 0.*$+ %1 ,0

$ *&1 % !1-+$ %$&23%$ %%$* %0(% % - 01*%0+).- 0%+1$ 1+ !,& +$%02

4 56789 :;< 67;=7>? :@:ABC6ADE

31,-! 1&1 & +1$$,1&1 (++$ %(%%1%0& % 1 %%0%FGH-%0,0*,-&- % - 02

3, 1( + %,$1&1%1,$,1 1--! % - 0 %+ *% !11$% 10% %2F,1%-. %' 1 %%0*( $ % !(1-.& ! % - 0% * 0% , +1(&1*123*%-. % %.&

!,**1. % - 0.$%)+%I+'0%1--.2J%++ %'%&&1 $ 0%1%%$%+$ %$& !* *& 1%1 %%0.*

)%+(- &+2H/', 11% )- &1 (+&1 ))-$ % - 0.) 0%1,**1. % - 0.2K(1-'1--

*,$* 1% )%!,--.L&- 1+',$ +(- &$ %$1 10 ,%!.1 %%0%+1$%0%&1---%(1 %*%2

M,11* 1'!11,%%%0&,1& 1$$,1%1 N, %1% &1 (++% % ,1231! 1', 1&1 & &1 ---1$$,1$%*&1 (1 %%0&+-&1 +,$%0* 1

012343567899776

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

#&,%&"#!" !1+,%%%+#)

6789:;<=>?@=9ABC*+# '0/ ,,!'-0+DEFGDH*)

IJK JLJMNJO

PQR7Q9STUUV

T56W97X 5XRR6Y7Q8R7Z

5767R[8\]T^VPRRP^TT

_Y`abS8`cd7_Se787f7gh777Y77i XQf\j\77TUUk

kX7lS7m7S67Sn7o6P_6c9R7gh777m67

\7

pg97^7S7S677q7TUUTQ7^ 7qS7^

rstSuj7R\j7gd77gcv^f8gcvfu6R Y77S79wq6xg5SXgcyP`TUU_

Vnt7dSmz7e7sgh777X97S7` Xgc87 j7R

yW97RR7j7WSm9\77Qe7^7d7vRS7Sc^

97j7R\Q7P]`TUU]