From 3411c10cd9a022f5c8ea21be839aa3b2de70c0e0 Mon Sep 17 00:00:00 2001 From: Massimiliano Zattera Date: Mon, 3 May 2021 15:18:51 +0200 Subject: [PATCH] RDFS tested with test data and test queries --- Graql/.gitignore | 2 + Graql/RdfImporter.jar | Bin 32238695 -> 32238695 bytes Graql/rdf.gql | 13 +++++- Graql/test_data.ttl | 44 ++++++++++++++++++ Graql/test_queries.txt | 43 +++++++++++++++++ Notepad++/graql.xml | 38 +++++++-------- .../semanticweb/kraal/RdfImporter.java | 4 +- 7 files changed, 121 insertions(+), 23 deletions(-) create mode 100644 Graql/.gitignore create mode 100644 Graql/test_data.ttl create mode 100644 Graql/test_queries.txt diff --git a/Graql/.gitignore b/Graql/.gitignore new file mode 100644 index 0000000..1f75a70 --- /dev/null +++ b/Graql/.gitignore @@ -0,0 +1,2 @@ +/animals.ttl +/queries.txt diff --git a/Graql/RdfImporter.jar b/Graql/RdfImporter.jar index 1f5d0db27cb5f555db01bc8b6b13492605e14c5c..1dc8a8b0279f48a6c739207b62ccdfc50b66fbc6 100644 GIT binary patch delta 8788 zcmYkB2RN1Q|M}MinxM(!r*iVL#q%VmyR5hZzsUrr<7P8XexsFjpeH zUD;sGg14u(2GQefFE=*>-Y#ulVxUVlkIE5}FE}8=OOKuuXz$v|MC^ZAeOsb`+Sw=O zgQxzNXH2456O(`Wv9|v|?nW$dl#Q&h_eIo-t0&5x@$6+I z0#zyV`zW<+B4e@((p721{L;YBI(2nC=dL^N4`nbDyxf_fykT!F55sDReNN9`&VadN zY^(&;u1bc5cIVT^rgNIYXKTCV7Lr2QiIBXsuZXl7CHB#q2(wMbPP0 z{3tU;A4sfJ4`31T&`;~$xYyQ|D{_dmn9ldN-20}-=Q8QeE%o*47l}4j#ZiMHpJeT9 zc4x`DrhU^U21|Jle0dTrYiFUPY2&na$B;u$x|)BA^7+ZrT{*I@&l@ksw%JyBQ|s8t9VTd^&EJ zYSdm|^rg<>PU;57z2g$6h&^-3{aVI@tzgz^MQP5* zm+*RnW`(qhRZ4dUdPF?5V0g47+K&B?cVWf5&oAHkXee2yDGc^;aNFHrXj~Aup>+S{ zH|L*T;=9-GR6NMH?|2+_>(?IdzP_YpX=B_T@g&c|-Q!%|Uq%!jaNc+E2JwnR-cy=4;g;c^hoEi`$?%#4Ttla?}~gqZd_s+;8o#~ zCauM@p~#A-AmB>n9_zu#C6K zh+_Ova6~fbiP^?O7L3wwwkvlyMcvDclS|7AYg=q_a4b$s+hl0sv4^9Vcf>t-PNK7e z1MU5GbxYkvho~{j%MDz2_1tpFp2SQULbQIF)Q@jJLI=;yXZMJ78o2AoJnB8(C0X%- z#q8?-qo~Ec+A^dfVS|Q-w94h0M}B{J+9mRuCwzX%KHo#gq8NJ!2yVAqSUPPMeKpVV zexlld3gz2$VV6{Us?;Ux_z3!*;!pJIKl=n6LlYm(Fh;IZl5cJuV!4_<5^G~m3{E^= z9eE~Z?ekH~N>mUV>uB@pvvFZvd0OEn!$URhg?!&HW|^#S<9VUEes$v9MKg=QoLHM* ziZbu&H2UbQog?>c>fO{x`KrO`JNVXDJY`ag-f+&EK~s-h;1QO1QlKbK(9Tw8zmx7q zSKe_c^Yo9c53X8U5DIeSYI2-xL>-A45_TC^YCB#y#_hSc^x|{N^+PQ(?^-mNxp-a zi}@eee4Ua1Zb$7_mPaldBm&AL*d9^R#RsG3Ul+0(8+uuo#GLproATIKbMupfTqeXe zo)ONGlQ(!Pm~BX3u1Xb|ES-BuKG>Yz{QJS$@AkmiRoX7i;Go~~ zN->suan&J zNxNS6!WNlF4kg8k?L;G6>+c>H#uPuEcucQlBXd*D#4+pHoy!d^)@;WbEYdH2n)=0g zpY6+%nAsab^N{HVeNh>iAl|aCsyjIBeJd@uT@Ee(QeG#Va!8}?fjv`;VEOKn;zK(q zhlr||I!#PFS@>*pWqoo)g5vVurFrpm4cMq~In$4yQ8fH0Hh(F|gXjDO**hg7S)uU? zHUm-*1mZnnzJDZC#`)&OMfz+^9===2=K64^!m{-J!QbbV ze5nMF^=hl4p#y;{%jW%aTkeEC-=+GSKTpipOIOojSW`?$t$>Ru!|jsbWaC!@{>ZqF z%OS+wC$eSUcW{etALYmvQ`B+OWBdAUAkcjv+5Nb#gJiH^s+*pkV4_gMb#5>{@Jd^M)8iV}E*QWwZcvrG0-N$A!dGYPe}^C7mIyS(mPqF-=KlX7-n zU@cajpQYUG;9pCT>r{-m>X@q76*yXT^yY*WG49d4iT5Av3x$Vj9k*K*=3Q6j8NOATiQw)gd$8wGBv*r}`>4Rd z-A==~OY3hJ42+(b_1ztp6!P-I6`>CkTAu~i zbW4YlE1o<{NhjR&f2X#@wlteMvtO()Wrkq>IflqEW1CKX$nZI}X4>eR?x3*5S*<5-+o7r63-r>d117iW6Ha4gKR;s_h9~ba9>i+cmIhWzTF2&TCdp7EI zCu&aw#|2JnwX&Sid6^qI%lboidO=G6^}P+I(zPI#EzQ$m@G$ zvmNX21(D`HQj%J^MO|w8o6%pXk1Z;D=UQgp92@&HeI-JJ z7UKH#uUU)a@}`hpU;MsDUZ!hW^Z6Ycfu@Y8r%Z;#AMAv7L-~eysoU0b>(;gy=o&~c zZr;_gUgx`}?9djmWPJxg>!UTpedfn3>BMt(Y^Le#g}3JtU~6 zGe6VhE<~JJT5d7-(r9Tsvn`#;B0$hIra`Un>7PuO22{vi^oK{lyjzQIPU*Me)kxRc z_CWgI>pfh1)*UL(qhrdj)|ok__uQE-!^Z51SAgUNP6fGRsjq`iA*J8U#vSc+Qe$Zj z-|GY(&(a@?R+c8D4@SBiF`oS@89D1baDZoZyZR9-v0s$Gn);gbR$-6&jsahOZD;=F z8|>w^l)Xd+>HYsdP2sy~35BqpLZ81Rv7XTa>nRe00y>>Km@G<`LV|%8@^rIL0?E zG_j!Q>ys*fZ^>ffb%v{m&w}|6LpOVl_z0OAlV4_e2fp_4_|o+qD|@NB>F%W8fYgF- zs|oMNX)cSLYK1a6QSYeRha?`dXRXREy{U0M&e|HNZc3Cb-}X>RxUHg1^y*o9swLU{fR2+7mWt&cfXXXN@EnCkcJ~NT$I+$XCuGax`h||9Mx<# z+y+L|O_ZitQ#H=Y&lO#B)|BNZTZz;d@+tMos)vH(x~GNAD(mg0B!gGVdVY|8T93#G zUOzgJyyn=Gkr?+uZ+d$WS`K}4X4?y`Tl=y}o~2hd5If8@>Ir+#YS=9454Geb_)?GF zSlE8IDa>7Zl}lrJi{GMW!$i!Gh!=0ivbXW-{WFQ`U!4|wo}LNxeb4rBS-hTZYJURd z^|K%A^H!gBuH%ns^!7Qh8sd^PkDgD?s4YnfrLix>h!W{zxsk!7RG=*5LSyrAmU2;^ z>DZClp%7v{?~06YSbVHsT#~M168)JIJzsw+FV6ebhYT64(f_^gT3QjdvRC7L(M4^y zD$516T86_9|HgD2Dltr!?@pcWSlKzJ^o!Yw`If;o;gpjJeW~;OIybh?k871L+HW`< zXYBRZC-q(+r;S1>aiULt>-fh=@%C#0gQxu>SgYzQ*ok-Zj}5VJI@WWV-(R40^TwsB z3YY2brbpHcQ}q>F3fQMRjTeZ`54mR4&)XW4h`HLUzRl`aNAKpdM!SwMN+!e}Xd#GE z784rv^-ZfSPu+gA&$c+cCWNUoFmOm}(JImO`lA@3qLa}^(n9!RyD+x-3pW2cg z$x-j^Ntqnui}W}B$22B(9Z0?VuC%wZW{ZWy(V;}WKMgDX!e-Io0yeD=)69o&*_Ya( zfqBgua=@iq>!$y>sttyHd9#t|nNA;8V=v~F7Fn0xaE+)E9l)O=6T~RHcrZ3_#^Bk} z79XXSsf`_e#=TlYo&jMF+hZCeB$6{<$L0KDDSjr-app^s@(sDNV8yw0^{GrZ1qJ-p zR6mI<9g+z*-QK00AYG%0A|&oJ0D z=3K-nd^v%vOw=UES?j2qx^Zyz3(vjj-XP?9Z9qAGN|P{@l6g~a%g1#4-TJL!>Pt12 zc1d68>%Z}+vfi~ze;-j0dvcvOhlNk%X8}#V2bs?!Kf5@IsgG+tkJ0fa?@78DWVB;- z=-PDty>AOa!s@dA-0XRy{>N14-d1i8bJrQVdU!_lOJueO(Jt!jvp3e6z1!o=BO?V> z0-MGHXCzf9DaHqkp1WPyJMQC)VpfuGr!n!XBcy5cIVD)%XOt#F2-8EY0LaRXdyTyc6MHjJxM0=PumC8 zEtA3#o^*RWG#cNo+r~|(j%m2?nzGG@w`KNM^A}5FR$^SyRJ6^kh5NqJ0lt#hEB#JG za%&8`ybtvB7He+#E;q`f^2cO3u6}jIZ#FzK@abD~RUae2v%ULF8=uCd3i?Mq_M0(z zxc9}wk=@;Y>5cW7nD5CZ3KiT^VP%4URtXFvgoF_gKt~B9(BCS6F$(KEeYG`?HgkqX z5{}G%hJk}PqIemD?IA+=0vIWL0qfse;?Zy4*5CMr!;H!_&yB;Njj5Cw2U`ylaVJCw ziJlqQ0I&e8z(!ybzy`1bn*k1B3&06%1-1cP05`w`@B)0mc7Puc00aRcKo}4Kb^tqp zUBGT&53m;y1@-}AfH<%pH~>gcNc55(o9Rea6sE0`oUAzbg(P>bhX~Q!EeS{g(tr#g z3mgOv0djympa3WWN`Nw;0;mFNfI6T7XaZUQ0XPgC0gh5McWdV%e8$;5+E&c?jE0ih zfDWKbF_hGsGQqRz{(4(4<5`PwJwP8YpjeC>K0APCfAbmb#n&GqC~gEC1B?L^z!We8 z%mE9Ep!o5fLwF&9(-Oej6TnH}6mS}_2F?Iyfpfrl-~w(W=oQ@fh z_%g^k59cmg+on}8SK4fp`Qz%76X_yPVv01yZS0l~m+AOyGr zgaUVgFd!U=0PX=KAQHF_JOHAAhd?y&2#5h515bch;3*IX!~@R&GDY!Of_)pl=;Z5( zl;rD433~X&kK;1lo}sGtPyth~32F48I{oWEL-T;4v4xI(mbDk<7JRgXhp zoYGrg_1pj=1Qq}_z!#tvr~~RL;rtDy!gzs^Y6I{UXrvgaHkn+*gNZp!Kr_$+v;u8F zJMazY06Ky1Ko{@>=mvU#Uf?It2lNBKfB|3-7y^cY5nvP;1IB>~U=o-Drhyq?7MKHm z1Al;dU;$VJmVjko1y}{vfWKjhIfw)xYGMu@nv#OIL5=FBLoD`CB(gR=0x@7QVy#D1 zvNjVkdxdA`mYEQU8Byn!H=vj5c;9qo7WDZ%E|+)~)WCt)Y38yZ5G&S3tW8*KSnPO~^;>F^_+K$DKC4eP}C4?o6 zC4#jBYbVw&tle09u=Zk!V(r5c!xG2Zk97b`0!tE03QHPG21^#}Al4x)IV^cB1uR7@ zB`jqu6)aUOH7s>34J=J8Ei3}oVXPxqN3pcAbg*=>^sw}?3=lQnz!3e}4tI!5^cp}s zD#(>}4!xtSeY9@S#0>6-_YWB_!Lc2y_k070V6F9qT%l z2bL$+4Xm43URd5(K3Kk3x3GvdElsNW}JP+K;< zrWVFOMxk!FG&r81B}rT=nom#)?I-(Z(i3E8gU6(qVo{9~6lu*h7J;53>Y8gDlBPX9 zq&wpfNxCy0>lva-cal-VWxSYPCjo&Hv68Tou~M*7vC7QTyrMgMWr7Re zJSlutv>VJrKKbJnVkPGdj3N$d(ver_*<-v)3r6{xp-5-)3la59ei8D}#xGkJix7x{ z^&0C9Rx#FFtan)Nu}ZM0SfyAWu*$GLVwGck!upI=fmMlBg;kAJgY^Zg7OM`c9;*TC zD^?>`6IL@;3sx&u8&*5kH>?h~@%- z;zz;$O}MDL22kM^sQ(?1Ts}OCHdB-22ha&FJilr-Hm5(2~qXV4k9(Y&%cXI3mZh`Pw{KoBZy2H9Yx%vr+bGG_37SWw3`4^q%y~0 zL@je1LFRZRm1q4Za{B;Z_{k9!qX_>GFS!Xq3I}85C{n7vczxatL!Ad{v|9 z5{>`}cN_~4b~w&gk0K`=br4q|sA@H%XeS+WvU##8{!0zjp%zYw{}-8@TQ`cdaLhu` zP9wfsBs zISAU~BnbSql05O>)WOzKWPnEkAZWYSLg>?WZ~Hf53qe~`06{zQDg^B~y6|<*5I(@< z#}Gz1h9Hb_D1G}kau-4qkJLh(#v$H;cZcwVIE>>x1OW$KC%(@RMBA%cbqE_NAO4?1pdAD?8hj=k0Y`M1nnxqA!tjQ zAn=2mEYkh&csBn?yhd7FVjwd1TQ-`cH^lu~pLK~0N zK&athg(nGZ&2b1VJQ52*+x;hm4j$P*@^7!}5VWcH5Qp&;Jv=06p$kEqx(`7+;CBcO Kyhd;gM*a_sAsrR~ delta 8788 zcmYkB2RxNu{Kq@UF4-e9N}{AxHjzCGX_zgmD614ME@{Z6tgM@n8Io}$T%(Y(Nunfs z6iJ~}|L?i~e*f3MSMT@pdCq#yb3D(vH%-1R=9mQ7EsW_Ic-Ap9Gq2;YDq#<2km9h) zJhJZp{b7LY>E$es8?vrj$Gi?2-YaL=P6vl!2047#uznvt99n+}4yCu&XVc;19_AK= zk83P;toV46CyX8+NBH>}@bTy7pA2+;miLOp4wUYc5Tr-RrTS8mOoVqPLoz-RB+t=j z?6oIP{ZP|#@+JK3-{iKaZX$h$iz4YVs?IpvysYDnq)nVfP77a*?G1~mVI-tdNA?^c zmWZyTjL5|N@;j{;GRN^X=+5#6!<*HIi5xB3%13P|HJ01O6jlybKC^XqCkdL)1Z+Aw zZ?LV#yz+t{vlF?VWVoLYw_a3H&&#iAU4i>)L#f0?$3e#ThDu$}#iuk6d9VLV-jqe~ zIwmkPt+%bN*<&>HZUzV4s@tE6`r(nrT|c(Yja_9(msE4~Cd!5@Kr6?D4vuru3%6ZV7Uh_MP)O(g|lQVv)F~)JCJ=MF6Km795 ziw&rftnhG-n`(DVxc~N4`TDl3ryXaQ!}zw#KKFA_T%maVJ$~+Faub!vvSIgpP{_wm zCVzb!f-27Xnd!)xTBy2S9w5-=h;8K$eR4S`{BecE+^EfpybyIpFE#U;*z)~UhtdA@ z$=S^frpzi)BlTN;zuEYBt)Sj>&tjq4wa3E+>J$5-#>eTqr}w;279%}XYLtv_ny>4* z8QJE+-G5T%tG-%%tZq+J%F?$%MH}ZcuGPBEW6n8N*W^F@sl6rAA;ZoJOvk=I9Ozp~0vA)f>SZ+%=$l$k82&lWQi{Z|{eJ=>XRV1Bvtom2S_X1n_W zCW^ay?$xJ$O>@ktY-2r9a>ZQVdDDI#^SMWzu}zAB4E0tgKc6%2^~>BxZC%fvZ##Zq z%08~S*H$rJYp-jQfp>g{N7K8pYt-~WzZ1d6rGlzIDI=sv065%4&-{0`n&nzHWzh*{C zCsl4CZRb^q*D0rR^LE^L`TlK}eX@`3c$vakyXy90Gs~WR`!2ZLdb0N>bB9HaY}Vz0 zH&M(=FR$ObC~BO1hI)!vVPTbY?RPcdWSn5WE!Xw0?LW-an4WpA=NLGbp>wx{oiY=o zyzyva=xGJkTs_NL6*WfFb#%8zoK99Slr`7+g*^0|lqDPP6FgND{$zIHtx{wEWKw<@ z(fT&~cZJEywy5II*XwtME6mQE7hc!DQ*?z>Y~I3{y*ySvn4z;Wy+Y3>*xkBcN{1lJ zUVh~IQq|Id{Z-l<6Z?9tBs2G2&-dN7zwm-f{_*UBzK^1(@9cTnWU*n-)Mcj4$@xM) zeNwU=F(bZ=Li|&1L=#tL&*<7aj7d|f!=Fz|1o8{HWXx}2KJqiA{3Ltd%;WJTC0U(Q z$Bl*JU%5o2tB6#@ht1{-CHa;g_p_7KIZV*;Ro3x!e{VLPnLx zf*!{E9^Fk7)wytwMd*yAPt`j#(V2U<%Z@SW0hJ-S_>rHK-~AB2ZDTK(OpaTMi3w&L zJ<;W1!*V_(SN5YtuSd4U;{fA}oIHM)9#^Z|DHm5a7up58br;;Kdd-?9{bG(Sv?Z(L z2BE6Sf^5;>@JdNf{Mwo8#F9JROqpw0=^77<5|)aaMN=qmp7Bj&c~@!kaV{JvmSmBo)Yb<}rh=B=16 zaA#eeX-!U9ju`v6GgOyX;n^{pyTp|TVG<4mOY?^K5edZ#k@cKj(MA$(OSwj&x*qGV z#BA5NYQ}Xhy2RvLUt9ej?;W$BD!5N~2(~u}Z`yM2<+qzhPJcgihFJ8)>q=;miiqrW zdGZY($2T_jTSYST5{!;%$HYjy-W2tP^QP9UPHn!UvDCS3evA@@s4D)DYVHs5U0?eO zIV%eZ(+Y!8ci$cD6gN&9@!lXY7CXMLuW@R>^k|98W|!qwSD~Yo2PDfHnYoh>E^Tl! zoqH~^HzHEk~5BW1080wrqK1CN$p0^K3(PQa3?PDOPT+L*mZ1SEQ>qEPfgYn~Kid zVlQj%TKV&XVMnw><^y|iYWKxfLm#y!^NUU941tcFYcIF^s@%_hFv+tNn;ENFOZVkr z9!JmgFOesE7pC(;2~p=h z1&{TfQzgi~bc>trtJNAfMsl%!c`(V+>&C=Bv8=sf4@-@VuE{KIPqjR<$ee2F7aYIT z)hc&2){UccI>N=*yFQ87dn`T!HvN_DFaGkR_Uk9}Y*^TP-|K7TMpZfD)Egbe&2=_= z!(B5Q9Xj7vlBw3c6ARMi1MRM1ma=WrqPFJyTfLhJpUSF9?@Bef3JP714%X#|7Y^1N zL^QhHeCDfJF!`hOsz;J_o~}!2rv8n?ojv0>)NY^ZHDyuOHe)JcRLT6Xpj29af49}+ zwo$i;Eh(dqG^!Hw9wihpj|*qGU+i|*sYF)A?iS23-esr|fg+NSc=&;Zcv|_5Q`|$G_*t zf;pX@n0ot?l)6YO+t~N6%bjHTIOoHH(s5!Lduj<%(ekRlv!r(KvWvRhI@CP9I`Jr! z|LU|&$eM?OTE2DGm!}x0?CA4%Yuw9={}`@yD>;&EzXfItwC*k=bnyq?61o zd6EPY32&R7*Qt2arivOlI7uYj&i$79`wgGhRt@@9nY6f1{?n@C(HTKAB$n?_C3;8o zvNcZTHglwl5_rB#6nX7ZZ?lt^fAL6rV@`2eN8l+6>GG_aAvrdXKlS()x~2;o`s=le z>L;ZfZq2g#w}}Tn7a84O88aQlVWcZHo2ZvMq~=0c3=(MYs0#TKrZAVmw2)0jUfy8IYMNMn&Q^%{~gS7g)ynWPv)2S0O zJ36V%hZzH-0+;;L3@8_aJ;p7kjRP11?-xwT28h0Yaq{r6?&WV6maJntxE ztV$qf{~|>94;N>5)91(k$X8O&uLWr^M zO`^iN2Oi&}XUdhh&a0&LS^Mtr5u*#-T3eG_d$|KRlj}Jyr;lV0X)KAk4$pCfUNbQGR zJr8=O#+Nh+A08@55g5LB&b_$A?J$42eE9*-l_I*LH=^119!{Np{*}_hK#7VD9*^2V4!v+ww0VkKfWQ^?+0`O|Nim{+ zzBH;;Ac~UfW!=PCad046@zJI90LRbdt`58S(i4wG*J21s5=9SsQKd$$UP$KLZ(Eyp z&19Z0x6}{)QruM7OKi}tJ-nM^)0jrSL8C3#$c|MpJoOzKj+#J20QK43JmRQSM$27Vjj=1g&gL;%bo@v#Q$r zqQ=~-Tz`6zi_l`|nSA*M$3C&KX7YCLb(Ep{!JtQ}UnEjq`N|V|&{NM1>ryT^+1TB( z@DqRL=yi)+o0^uecwcM3#+U5*s`njPE5B;ihJGG2%U*IZ|MW9aJ4k~_kQw7=Tn^%y zKa%h@ckdpt?>6-M8^+m>-WnEXe{25wd%gwlqOogWHNBrPp);HAs;J5;-Ig8)?c$*I zpMULZXdJdkvCq0aO z&Zy?a_oe;8pNEGSKR%89FzP<78Ngk`VGx+G+(lU39au*_w7R*on%VJcgkXwHT|%~* z^ZSzUxKr|OdYXiQ_KykZ_*^f;7?0@@ZjpsnIuhUTODa=<#v$iLu@zD*y@vgmCSolW zQB5+gZCG~QCZ4fI?JfFxL8xYR*PZ?evGjf!{W|T1)3@j)`shUDYbLcCGM{?#Z)w*z z7XK91-8d%eE1V+Ui2itsQPW+-uG`i}ajQ+zowqdz(g-40#0F{;T&~bfeqx?`eBH6r zTqEfA-?WOkEx`nh_{6{)!`B=BW@eW~|7DRSUR}GUJ~N;BC*-6}tX*!brTi7tcRo+_ zNM##Soc)QrM{3{gd2K3_xpDm0_G{J$w?C767{xIjE0*1$^}|Vszh&C;UX1K}Q~!rG zZntKvbK;%OT1XPoUI$(;qqEvJQLW@4OKjaSx;u63sH51oa`jlT?izplwU)MVranO~ z&8uCasdKv5Z11>qh_$etVe*o8m9ZXMzfs>lKG#b@o5T7^!~_S!{rod?;-%S&4~>>} z=r!1OQ#nrj;ZgiXe}j_nP1)g0``MLesv^g1^(?#ghWluQM-fKzc*exzB;*ob=5z_i zIxi~bPxRznckW~iW98STa@(2=J`MA`Bxv_y+-Ijv=Xcwi3#a(r*OzkcdY#U6WtV!( zx2bhY^D-N|iv1;OZY^H04|}iKG+v$P{8c&X$Q)hOXuNfJeym(@PQiVnC$HUp-cBl< z&^qhp=vkV&&WZl_5P?PL$+Y&*n55f}#hKDOew(dC-`+bs9mXM~Ep69kc~?L~SN8am zqpMvGwJO|aMX$6sO&zyTQ~i7)rLULn?d{x8M8z-6-O;wD;fg^gEmvLnjcN|P`=!X) zCh5a9txvk0;QP8snql=mOZAmtJC1-)oNskM9Lv(tj*z@N?{xiqIYBjfZSnQz6B~v< zW`%|=eH2VNCl*T>soWawcF8E!Th*1xs!yXVzvhjXYk19@%I^GcC%$*PEuCIeteaiCZBVzHuS{GXjyo%RB~~KG1}k1 z(B~uRphNj8Ek59mIQlo-{kY%0`C|#`-DJQQ8>STJFyW!0hchGIbZe~UF?TWq@Ssd8HbG@ znFx{)B1rVi01LnhumSAA24Ew=0c-*|0WN?W-~o66K7bz(00aRcU^5^LhybF17$6Qv z09yb_KnmCjYy+f$?SKrh1CRyefStfD3W;9cZxfy^6OTMM8xF!^@{){r+6TAF1G@nQ zU=OetPz3e?`+)<15}*vI0IGl*pblsNnt&E?5YPs6fJ1;Tphr2lRsS*my%*)%HvMCG z#Uf1Q^#KFGkYXxtv~U>LYK9o`oX54+pN#-xz=UG`*)(k@uKg}#CXMGGAu4MIm;)BT zVc-a03E(S$tm1Whua1?1{?=Y04D)kzz(nn8~{ha2{;9u2F?IyfpdT}-~zZ( zbhzDeqwzF8XS&@L!lQ@Ox&iLMdEf%z0eAuzflGiFC8XBdyao5_zV0K+2_XR{&re}V z^f{IfXXGf)Gf0pUpzZtYBpy;Z%@^++A|SCaCeIscRg?!mCX0C)rxQW*9Z zdH=$N{tCswW1s|h0+a$}6n};C!OOV8(Y$h?0-yj-DM#}vCC}oDYa6S8XFxSj1JnXk z%C(JkjJ&u3QL+xG2O5Az;5qODXabrkM9G#YDQK7wDcmYbe*ShA@kQtxv{3X7UM5CB zIc22dWu6Hh2^s*efY(49&<=D^B85Ba#Bl>N^-iD*=%$#d_Z+^23)72wfL@>vcmwnU zZ-D{e9WV$C0q=niz%cL;7y&*3qrez24om=(z!WeI%mA~%9Pk>%GOz-y0zZLYz#8xy_yhdConC}U0HUTB(V>Oia2wQn!*qz%1rmv@Pme$hSnIJE z5tXdZge=Q&?b0tM1Y$UXTtJvmy{17CY7ktc_S4 zh_~KIh;?b85Kui3u+P@nP{}31A6g31Mx<62=n262%h3 z633Fj+JYsCC55#WYa5m{)^;oztQ}agSaMi9v36m}W9`OLz}kbg7fTUqAJ%@X16WE} z%2+B`s#t1R>R1|Bnpj#`2eGuVbg&L#>0;?&>0=pS8Dbe>8Dp6s>Jt-F^kXxu5Segw z0tt|bL$ipN+V5hD4!7fV+i}1Qfy}WiunuD#!Lr1%!m`FXie-bSI}RK}K@+%dzQ}O| zI)QZ(%N9}dMeLAuFs?;ub_isT<$&dgs3^?|3Hd=SRfOjhvO55Y9K#RuqQ)AZLdF+x zzmcb>5Ow6~X;e^w8{&;JsST$c>Sxh#DsI9ycotFF2G5}xLwvd{<%~csh`KE0ilUuy zGVNSQoH7usq?Rb-0MWtjA4AXD=eqB`hy2Z!8}y zUo1bY%UD;i{IRZLUBe2%3d9P+B47n$g^2!W%PL zZJ-p^H~L5n`ijp<#MBrBx{Ij9)O#orZ)hak8x)HbhZT>goHGfi1TV_}J~`B(`2^Ho z2g<3 z5C!WgRwY&y)-$YXtQxFZEGkwVRy|e&RwLGPtQS~KSj|{1STC_!v0h=l#%jZA$Lhf9 z#OlK8#_GZ9#p=U)gVm4q7Ha_O9o8V$5Y~G{eY5%j4V(eq?{PTPXWl-XItPfC`aLeymGX|z=bsz?oP z(}>#OHiN8iOR50lEb^|$&%>SOS%m+Gm)rvZe=w5Qx6C3X95f-|4<&LS1YI1SL$Ja@ z=;bUrheId?9~@R7;2n$X)H;js%R+94fWIJ7HD1jkNjl~}%giJAA2n3hHn=4IHcc*W zpGDd@e1kx{ltRZW(!wR)5NK7D|H3Z_I=D)!a~2)Mfe1klhgT5HaS-mBMW#5oL!gaQ z2!YmX5rP}8vhV(P$5{|)RnrhuaMjkHe52(){r8~nGzQME)vj}fTWGx7^ zn}~!!YtjROcB2x*|HeD>U&w(#Yy1rYZ8}OH|6M!;0&S*^5NOW`)5yPDw}C)g%Pa`A zb^7*SmCmPs-6J8;ssc9>plj7c3*p7ho#Mj0D(4O2L#&HMJNB=*J%ja`1Q?!pohae1ib5zRi^%x zghJ5AC9fc8;J^ku39Zdh2(<1=5NO>$K`_8= . +@prefix rdfs: . +@prefix owl: . +@prefix dc: . +@prefix maxi: . + +maxi:Animal a rdfs:Class ; + rdfs:label "Animal" . + +maxi:Dog a rdfs:Class ; + rdfs:label "Dog" ; + rdfs:subClassOf maxi:Animal . + +maxi:Husky a rdfs:Class ; + rdfs:label "Husky" ; + rdfs:subClassOf maxi:Dog . + +maxi:RedHusky a rdfs:Class ; + rdfs:label "Red Husky" ; + rdfs:subClassOf maxi:Husky . + +maxi:Cat a rdfs:Class ; + rdfs:label "Cat" ; + rdfs:subClassOf maxi:Animal . + +maxi:Milo a maxi:RedHusky . + +maxi:hates a rdf:Property . + +maxi:reallyHates rdfs:subPropertyOf maxi:hates . + +maxi:reallyReallyHates rdfs:subPropertyOf maxi:reallyHates . + +maxi:Grebo a maxi:Cat . + +maxi:Grebo maxi:reallyReallyHates maxi:Milo . + +maxi:hasColor rdfs:range maxi:Color . + +maxi:pen maxi:hasColor maxi:red . + +maxi:isPoisonous rdfs:domain maxi:Mushroom . + +maxi:Amanita maxi:isPoisonous false . \ No newline at end of file diff --git a/Graql/test_queries.txt b/Graql/test_queries.txt new file mode 100644 index 0000000..92091d2 --- /dev/null +++ b/Graql/test_queries.txt @@ -0,0 +1,43 @@ +## rule rdf-instancesOf-subclassof: +## Milo as RedHusky > Husky > Dog > Animal +match $t (rdf-subject:$s, rdf-predicate:$p, rdf-object:$o) isa rdf-triple; $s "http://mz.name/#Milo"; get $s, $p, $o; + +## rule rdf-reflexive-subclassof: +## Animal is a subclas of itself +match $t (rdf-subject:$s, rdf-predicate:$p, rdf-object:$o) isa rdf-triple; $s "http://mz.name/#Animal"; get $s, $p, $o; + +## rule rdf-transitive-subclassof: +## RedHusky > Husky > Dog > Animal +match $t (rdf-subject:$s, rdf-predicate:$p, rdf-object:$o) isa rdf-triple; $s "http://mz.name/#RedHusky"; get $s, $p, $o; + +## rule rdf-sub-property: +## reallyReallyHates > reallyHates > hates > Property +match $t (rdf-subject:$s, rdf-predicate:$p, rdf-object:$o) isa rdf-triple; $s "http://mz.name/#Grebo"; get $s, $p, $o; + +##rule rdf-transitive-subpropertyof: +## reallyReallyHates > reallyHates > hates > Property +match $t (rdf-subject:$s, rdf-predicate:$p, rdf-object:$o) isa rdf-triple; $s "http://mz.name/#reallyReallyHates"; get $s, $p, $o; + +## rule rdf-properties-have-range: +## hasColor is a Property +match $t (rdf-subject:$s, rdf-predicate:$p, rdf-object:$o) isa rdf-triple; $s "http://mz.name/#hasColor"; get $s, $p, $o; + +## rule rdf-classes-are-range: +## Color is a class +match $t (rdf-subject:$s, rdf-predicate:$p, rdf-object:$o) isa rdf-triple; $s "http://mz.name/#Color"; get $s, $p, $o; + +## rule rdf-instances-in-range: +## red is a Color +match $t (rdf-subject:$s, rdf-predicate:$p, rdf-object:$o) isa rdf-triple; $s "http://mz.name/#red"; get $s, $p, $o; + +## rule rdf-properties-have-domain: +## isPoisonous is a Property +match $t (rdf-subject:$s, rdf-predicate:$p, rdf-object:$o) isa rdf-triple; $s "http://mz.name/#isPoisonous"; get $s, $p, $o; + +## rule rdf-classes-are-domain: +## Mushroom is a class +match $t (rdf-subject:$s, rdf-predicate:$p, rdf-object:$o) isa rdf-triple; $s "http://mz.name/#Mushroom"; get $s, $p, $o; + +## rule rdf-instances-in-domain: +## Amanita is a Mushroom +match $t (rdf-subject:$s, rdf-predicate:$p, rdf-object:$o) isa rdf-triple; $s "http://mz.name/#Amanita"; get $s, $p, $o; diff --git a/Notepad++/graql.xml b/Notepad++/graql.xml index 3d2ed1a..ede63a2 100644 --- a/Notepad++/graql.xml +++ b/Notepad++/graql.xml @@ -25,9 +25,9 @@ thing entity attribute relation role rule - define undefine match get insert delete compute offset limit group sort asc desc centrality using abstract as id type isa isa! sub sub! key has plays relates value regex when then or not like + define undefine match get insert delete compute offset limit group sort asc desc centrality using abstract as id type isa isa! sub sub! key owns plays relates value regex when then or not like long double string boolean datetime true false - + TODO @@ -35,30 +35,30 @@ 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 - - - + + + - - - - + + + + - + - - + + - - - - - + + + + + - - + + diff --git a/eclipse/kraal/src/main/java/io/github/mzattera/semanticweb/kraal/RdfImporter.java b/eclipse/kraal/src/main/java/io/github/mzattera/semanticweb/kraal/RdfImporter.java index 2dc100d..978e7f3 100644 --- a/eclipse/kraal/src/main/java/io/github/mzattera/semanticweb/kraal/RdfImporter.java +++ b/eclipse/kraal/src/main/java/io/github/mzattera/semanticweb/kraal/RdfImporter.java @@ -86,7 +86,7 @@ public RdfImporter(String db) { public RdfImporter(String host, String db) { client = Grakn.coreClient(host); session = client.session(db, GraknSession.Type.DATA); - logger.info("Connected to fatabase " + db + " on " + host); + logger.info("Connected to database " + db + " on " + host); } /** @@ -99,7 +99,7 @@ public RdfImporter(String host, String db) { public RdfImporter(String host, String db, GraknOptions options) { client = Grakn.coreClient(host); session = client.session(db, GraknSession.Type.DATA, options); - logger.info("Connected to fatabase " + db + " on " + host); + logger.info("Connected to database " + db + " on " + host); } /**