Detection of inconsistencies in knowledge bases for emission of foreign judgments

(1)

0121324 56574 635684 821634 184 6965 11818 7 514 884 56577 514 6 1628

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

3456789:;<:=>68?@A5B?C5?

D?C?=E?@B84FCBG?@HBI4IJ68E:C:=4I?K6?L74

MNOPQQRSTUVWPXSYZRU[WPWT\]^Z\_O`TN_YXSOaR\bNNc^dR[YTaQ_ZRY

efghijkhlmnBH>4>?@=:I?7H8n?>@:5?HH:;?=BHHB:C:;o6Ip=?C8H5:Cq HBI?@BCp8n?>?@H:C47o6Ip=?C88n484C4p?C8n4H4L:68B8H?7;4CI8n?

B=>458B8546H?H4C:8n?@4p?C8=4r?4o6Ip=?C8:CB8s8n?=:I?7BHL4H?I :C8n?8n?:@9:;546H477?4@CBCp:;<48?C44CI8n?L?7B?;@?GBHB:C>@:5?HH L4H?I:C7?4@CBCp=?5n4CBH=H4CIBC8?p@48B:C:;BC;:@=48B:Ct

mn?rC:u7?Ip?L4H?:;8n?4p?C8BHH>?5Bv?IL9=?4CH:;w<x3s5:CHBIq

?@BCp:>?@48B:CH:;?y>4CHB:C4CI5:C8@458B:C:;8n?Jz{ =:I?7s47H:

45@B8?@B:C:;@48B:C47B89BH4>>7B?Iun?@?8n?4p?C8BH>@?H?C8?I8n?7BH8 :;L?7B?;H|5746H?H}8n4854CL?@?=:G?IBC:@I?@8:=4BC84BC45:CHBH8?C8 o6Ip=?C8I?H>B8?:;?y8?@C47H8B=676Ht

~igL?7B?;@?GBHB:Csw<x3sB=>7B548B:CIBp@4>ns5:CHBH8?C59sH48q BHv4LB7B89t

625324 56

%**,,,.,.%'!%%,*#!*!,##*##,%#,!*!%

%.##,%%,*%*'%#*#1,%,##,*!,.%'!

%#,*!%%!*.!.1*.%'#.,*#1*#,.%'!%,,'' +%'!%%#*#1%!'%#!%#,1%#*!!,#,%,,#,!%

.##.,!*#*#.%#*!*#!'.%%,%,,!#.

,%!#.,.%'!*!.#!*!,#,,!#.,%!#.

,.,

#,.%'!%%#*#1###*!#!,%,,%#,%,%.%'!

'.!%#.,&'*!%.!!*#1,%,*,.,*#.%*%,*#

,#,,#,!,%.%'!%%,,*',*#%,*#,'1#,

*

",#%,*%.#,.%'!%**!*##!,%##

*#*.,1*%,,%.*#1,!.*..%'!%,!!*!'%,

%!%!',!%,*#!%',%.%#*%,.%'!%#.,"!*,*#.'!

%.%#*! ,%,%.,!%.,*%'1#,*!%!,!'.,%#,%,

!!,'%,,# *#.,%*# ,%!,'1#,2#.

'*#1.#,*#1#,,%*#*#1#!'.,!%%1%*#%!%',,%,*#!*!

,#,#,!%,##.#,*#1#,!''1#,'%,*#1*

!#!*,*,,!'.,**'!*#.*.*!.*%'.

(2)

79804696701248298203229012040222672427010012622 2429821649829012829022672427

60122446990976046967963252434228659422 6249963252222900469926949526976012460982 6701406482012780010490245290022522629 2929010670290122946929067949024529002 496000480 8195262042

2427244690422694953401819549549760469 40469 242724469028194!2122292"22495848654828290 01206796325224469149822498240892420622 267963252242724469402 01086904986672427 31481892819520688660292396325201024986940290 340192462427#495012923 2427486280967012 24669216226292826010012923 2427892 498660249068694029086 1468267495242786269 06969$696069486548%&'

12#() *#816+69(,29769)4969-62220126$

2 67242724469495012066670120486548. 122362 869422012769046976049501262 679632522"81952#8$

8649506012#() 7236963252/ 42229026640469 654801264299234976046942229020122654876

09230622290981280128694029867963252246$

224950121# 62314811229163906262496$ 964042&.

23 4567 89:;8<=>6

?495012&@A'B76 0484490245298294976046902819665012 86982067C270269495C34906829292692402 144967654804901049012298267986904976046940 4420686982DE0476 6726949501002490688690012 4400469670125290901286699267014954200862060123 49314812226949536E9224042060144967269495 0103289804901236

F20129604696742627026949520602963 9639969$6960694865486866929232848840469 6548*)8G01-66548*)8?26009?62-9062402486548

*)6629/696452-&1

H69$6960694865484010766726949592314818698469 228020802627202949822494976046901064240 242I62"201202674972298267224724931481262 7602029004286984692249501245100634013 012 494510 6792349760469 1465480420124286942495012272029$

02670484972298267198669292269495G6942495014

JKL

(3)

01234563784997546779818037080145490326438838070763 263839090379270494594338060638336381799 03390739079674984989363907180407942303 9546704904484

94678338303670497016036490430369303374645 79389335860364993039 793452633 8093358 0326714593954670497949880391!854633563849783 4903"#$ 43890383603674567049701063378423670498763 83%3 2798494906704979633 &'

( 27984980342367049070438032643884579939433 04034628!87930404578033 2638849450337699264388 798814)3103*4236704684083+9378,*-./0,1-2363 , 8039433783-8039333579/ 803590490703 939433783

3490670498034236704907078387933350463437233564 03462845943337830373909438049808042797 360792480494908335!83438427033903637634036 335807049330437794937834903779493904503907 33584903394910378403193388761335846379!88 814)31034236704657983+9378,5-./0,5-2363,803 46280393335-79/803590490703939433783

638494988084545190383045335839793335894624 67039040326348830840704749880391849836350383045 3358876371498803900039395467049039036334938 03 2798490593943389498803900791263483358 0342367049456338030369303638098304533583328 49103276045034697440797498803906380840346 978304533588034+31397097879133587893388761 04398630700363809830938039333584988039079 83+9378,7-363, 80383045335846943378379-803 93335

!476388032643845335638490883504498360343 892642480497404365103498803914503943378394636 047971)363808564 7993335876349836378408 93388761043+93034932084526424804974943785448%7 546788704394989039467546 039:250842483457 49890494588903783879306357087838763;

"78387889049450367884070370367807985467915467 42483457893264248049814<0248030367246089370495<

093703036724674980790=4>

?47915467,7930679870390479270496720(:28 76303672483498060498493107937450378380<_@A<_B2 4503546736336038450367276303<_@795<_@C363036387 3603 5463776737979403654608937049:463778304338 76339367031722190354495467%05<_@A<_B27905<_BA<_@2!3

DEF

(4)

56050306731027957337 0!8567!5053 58954786508608478"8460!8715371#566508186656560 64786508616789$8745#7%978&'(7)2731#

0415867135478067435478060876730653 773!6)#6012304560789052003658966783478*

846947127886769052545343569$6050965662731 0 73!530589783087!505358906856078378676516783 47884694712788605671 656227660715301 + ( 0856053058978305!5053,-0646566-0665"4670 ,5.,589.,67,08/0

12 3456478 79:45;<:9:598 64=6<:> 8 4?

$8 523010857%5272797867)&'(6773!2731 0830!0078274#8760167973709717930858586@

6727853"9186#54435286546508"9186589 6860674352866%8739567!53569$845 6%873950084780686#7856053#0608456752*

2354786546078725607806556078530640607804#086045#0 4786586063

ABCDECFGHIJFKCFLMN

$826

O 671 435,PQ,R65615%2627853"918657!

O6586-6853"9186S7!686

T65086-68997135/0P08U5607837 /0VW.,_XY,_Z[.,_ZY,_X[.,_PY,_R

[.,_RY,_P\\\.,_]Y,_^[.,_^Y,_]_ )&566308%9306`6767601230456078527/0P

a&534356647806846bc 75430653

bc,_PV,_PQ`,_Pd``,_P754`,_P656978763786766 ,P0509670847806860085337bc,P60765!5053,P589 06856078.,P

ef06478068476"918650$086453435607876 6bc#71,_P#bc,_P0084780686589b.,_P0537084780686#68 650_P0856053T60#650056053

5$6500856053#!535668%873950gS

$6360856053#685223647865460782740.S 786%87395

hij

(5)

012345362657668593292754763657959962174552954 8865775624516759357754775771967827 26868599621146853621636532185356853867452685 735511465768575765475762516562773575767 6 7576856261532!" 12177651576862455153654 6827575753551654

#$%&'&())*+,-.+/0/12345670.879+:+/0;+.<8-.+/0-*+.=,8+.78+/0

#$%&>&?+4+-@:)78:/0-*2345670.-5-+0:.7A.780-*/)+0+/0/1<78B

CDE

(6)

9

!

"9

#$!%&'

("))*"

+"), "

-").*."

/")0"

1"),2"

/3.45"9(

+"

6789:;<=>?@ABCDE@BCBFGDB?DHFI>@HED>?BCDE>FJBKLMFEDMJBN O>@BFPI QGFBC RHGSIC TP?PG UGVK

LWXYWZN L[W\YW]NLWXYWZN LWXYWZN LWXYWZN LWXYW^N LWXYWZNLW^Y[W]NLWXY[W]NL[W\YWXN LWZY[W^NL[W\YWXNLWXYW^N LW^YW]N LWXYW^N LWXY[W]N LWXYW^NLW\Y[WZNL[W^Y[W]NLW\Y[WZN

LWZYW^N L[WZYW]NLWZYW^N LW\YWXN L[WZYW]N LWXY[WZN LWZYW^N LW\YWXN LW\Y[W^N LW\YW]N L[W^Y[W]NLW\YW]N LWXYW]N LWXYW]N LWXY[WZN

LW\YWXN LW\YWXN LW\YW^N LWZY[W]N LW\YWXN LWXY[W^NL[W\YWZNL[WZYW^N LW\YW^N LWXYW]N LW\Y[W^N LWXYW]N LW\YWZN L[W^YW]NL[WZYW^N LW\Y[W]N LW\YW^N LW\YWZN

LWZY[W]N LWZYW]N LW\YWZN LW\YWZN L[WZY[W^N

92

"9-2_

")`020

2

0

a4b_cdb_e5 )00)

,2"

a4bfdgbe5 ).*.0)

2,$

"

a4gb_cdb_e5 ),00)

,2"

hij

(7)

012345678998898

7 8

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

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

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

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

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

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

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

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

!'# !$ !'#!% !'#!%

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

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

!"#!' !"#!'

01234(6789)*899898+

,89-789,./889

08 !'#!% !'# !%#!'#!%# !'# !%

7 !'#!$ !"# !$

9 !'# !$ !%#!$#!'# !$# !%#!$

123456742849:;<=;>:;?@<A4B42:;425;><CD=;ED;>4D89A:F=<GE2A@H429E2I

=4=;<294<=:D<5<2<D:;<8GJ>4A<<A4B42:;425;><=<9E289A:F=<5<2<D:;<=K6L>4=G :AE25J4;>;><B<:2425EM;><9A:F=<G:48=;><F=<D42=<A<9;425;><BE=;9E2I N<24<2;9A:F=<;E<A4B42:;<6123456O4==>EJ<8;><P484:Q=R<D=E2:ASF85B<2;

:5:42=;><DR<<DQ=<T;<D2:ASF85B<2;EM><D6

UV WXYZ[ \]^ XY]

L>4=R:R<DBE8<A=;><RDE9<==EMSF85B<2;<B4==4E29E2=48<D425;><R<D=E2:A SF85B<2;;>:;:2:5<2;>:=EM4;=<AM:28;><4BR:9;9:F=<8J><2:2E;><D:5<2;

B:_<=:SF85B<2;EM4;6

L><SF85B<2;?:=<4==R<94C<8?@B<:2=EMO`a3G9E2=48<D425ER<D:;4E2=

EM<TR:2=4E2:289E2;D:9;4E2EM;><bcd BE8<A63FD;><DBED<G:D:;4E2:A4;@

9D4;<D4E24=:RRA4<8J><D<;><:5<2;4=RD<=<2;<8;><A4=;EM?<A4<M=e9A:F=<=f;>:;

9:2?<D<BEN<842ED8<D;EB:42;:42:9E2=4=;<2;SF85B<2;8<=R4;<<T;<D2:A

=;4BFA46

g<>:N<:=4BRA<B<;>E8?:=<8E2;><<A4B42:;4E2EM;><9A:F=<;>:;5<2I

<D:;<=;><M<J<=;429E2=4=;<294<=?@:884252<JSF85B<2;`G;>4=;>:2_=;E;><

9:A9FA:;4E2EM=<;Lh:28;><4BRA49:;4E25<2<D:;<8?@;><4BRA49:;4E25D:R>6

ijk

(8)

19122924312423576234931256 584244930194 56496832476234221951227623427727 3126529372323495494323427885943583958939 3295352232549432376234243123231944332587 28927353127954945829438242458937425824 3126523194554858724279531228744148927232395

!" !#!$%!&

'()*+,-*./(.0*123-*23./(4)*-2523./(67,,8,9+3:+7,:;,<=,-943:>=2?@,-+

*-2+7,+4A,3:+;5*1B3-93C*;5*+53-1,*;-5-?(D3=;-*13:EFA,;5@,-+*1GB497313?4H I=@*-G,;9,A+53-*-2G,;:3;@*-9,.JK.KL'MKNOP'NNLQ(

J()*+,-*./(.0*123-*23./(.0,?5*B.D(R(4S;,B,.T(PJUUJQ(D=2?,@,-+:;,<=,-94.

V,15,:;,C5B53-.*-2B,;5*1A;39,BB5-?3:9*=B*15-:3;@*+53-(W=*;+,;14D3=;-*13:

EFA,;5@,-+*1GB497313?4.OOT.JXYMJL'PJUUJQ(

Z([,\+*.](.T,113.G(.)3-+;,;*B.0(H^,_G314-3@5*1)1*BB,B:3;`Ja/6EB+*V15B7,2 b5*];*A7M63A313?59*1a+;=9+=;,(D3=;(E-?5-,,;5-?R,++,;B.'OPJQ.JOUMJOLPJUUYQ(

K([,1?;*-2,.D(G(.a97*=V.6(H6_3/AA;3*97,B+30,;?5-?c-3_1,2?,T*B,B(\-N+7 E=;3A,*-)3-:,;,-9,3-R3?59B5-/;+5d95*1\-+,115?,-9,.a,A+,@V,;.R5BV3-G3;+=M

?*1PJUUKQ(

O(E5+,;.6(.]3++13V.]He-+7,)3@A1,F5+43:G;3A3B5+53-*1c-3_1,2?,T*B,f,C5B53-.

gA2*+,B.*-2)3=-+,;:*9+=*1B(/;+5d95*1\-+,115?,-9,(OY.JJYMJYUP'NNJQ(

X(S,;@,.E(Hf,C5B5h3-2,);,,-95*B.f,C5B+*\V,;3*@,;59*-*2,\-+,15?,-95*/;+5dM 95*1(''.'YMZNPJUUYQ

Y(]5-BV,;?.0(R(.)3-=-+,;:*9+=*1B(/;+5d95*1\-+,115?,-9,.ZU.ZOMYNP'NLXQ(

L(]=511-.)(.Rh3A,i./(.[,\+*.]H[5B,j-32,/1?3;5+@3B)3@V5-*+3;53BA*;*` a/6 4B=/A159*95-*1f*i3-*@5,-+3G;3A3B5953-*1(6,97-59*1;,A3;+PJUUOQ

N(]*11,?3](.[3@5-?3D(./13-B3.)(.I3-,4.G(.Ea6\Rea[E/GfE^[\k/DE.Rea(

G;39,25@5,-+3B2,25*?-B+5934@,>3;*.g-5A,;B3-*1P'NNOQ(

'U(c*+B=-3.I(.0,-2,1i3-./(e(He-+7,[58,;,-9,V,+_,,-gA2*+5-?*c-3_1,2?, T*B,*-2f,C5B5-?5+(\-G;39,,25-?cTMN'.ZLYMZNOP'NN'Q(

''()3-+;,;*B.0(.f32;hl?=,i.0(.T,113.G(.]3-ih*1,iT(H/-\-+;32=9+53-+3T,15,:

f,C5B53-*-2c-3_1,2?,f,A;,B,-+*+53-_5+7J)^S(\-G;39,,25-?B3:+7,a,C,-+7 R*+5-/@,;59*-m3;nB73A3-^3-M03-3+3-59f,*B3-5-?JU''MLUK('ZMJJPJU''Q(

'J(^,V,1(T(H/ c-3_1,2?,R,C,1/-*14B5B3:T,15,:f,C5B53-(\-G;39,,25-?cfMLN.

ZU'MZ''P'NLNQ(

'Z(^,V,1.T(HT,15,:f,C5B53-*-2[,:*=1+f,*B3-5-?Ha4-+*FMT*B,2/AA;3*97,B(\- G;399,25-?cfMN'.K'YMKJLP'NN'Q(

'K(G*-5*?=*.EH)3-+;5V=95-*1*f,A;,B,-+*95-4],-,;*95-2,G1*-,B93-\-9,;+52=@M V;,([39+3;*167,B=B(97*A+,;O(AA''ZMJ'Ug-5C,;B52*2G315+h,9-59*2,)*+*1=j-*

P'NNLQ(

'O(G*A*25@5+;53=.)(H)3@A=+*953-*1)3@A1,F5+4/225B3-Mm,B1,4G=V15B75-?)3@M A*-4a*-S;*-95B93P'NNKQ(

'X(f3+7[(.e-+7,7*;2-,BB3:*AA;3F5@*+,;,*B3-5-?(/;+5d95*1\-+,115?,-9,(LJ.JYZM ZUJP'NNXQ(

'Y(m*71B+;[email protected](H/ 65?7+,;T3=-2:3;)3=-+5-?0*FMm,5?7+a31=+53-B+3Ja/6

\-B+*-9,B(R^)a.C31OU'L.JUJMJ'ZaA;5-?,;Mb,;1*?PJUULQ(

pqr