-
Notifications
You must be signed in to change notification settings - Fork 0
/
amie-rules-non-recursive.tex
55 lines (55 loc) · 14.8 KB
/
amie-rules-non-recursive.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
\begin{tabular}{lrrrrrrl}
\toprule
$R$ & Head Coverage & $\textit{CWA}(R)$ & $\textit{PCA}(R)$ & $\left| \mathbf{R}^{l}\right|$ & $\left| \mathbf{R}\right|$ & $\left| \mathbf{R_s^l}\right|$ & PCA domain \\
\midrule
$\langle s, directed, o \rangle \Rightarrow \langle s, actedin , o \rangle$ & 0.017 & 0.102 & 0.104 & 558 & 5481 & 5365 & $o$ \\
$\langle s, actedin, o \rangle \wedge \langle s, directed, o \rangle \Rightarrow \langle s, created , o \rangle$ & 0.031 & 0.380 & 0.567 & 212 & 558 & 374 & $o$ \\
$\langle s, directed, o \rangle \Rightarrow \langle s, created , o \rangle$ & 0.173 & 0.219 & 0.326 & 1202 & 5481 & 3683 & $o$ \\
$\langle s, hasneighbor, o \rangle \Rightarrow \langle s, dealswith , o \rangle$ & 0.126 & 0.295 & 0.337 & 164 & 555 & 486 & $s$ \\
$\langle s, hasneighbor, h \rangle \wedge \langle o, hasneighbor, h \rangle \Rightarrow \langle s, dealswith , o \rangle$ & 0.177 & 0.129 & 0.148 & 231 & 1792 & 1562 & $s$ \\
$\langle o, hasneighbor, s \rangle \Rightarrow \langle s, dealswith , o \rangle$ & 0.127 & 0.297 & 0.340 & 165 & 555 & 485 & $s$ \\
$\langle g, hasneighbor, s \rangle \wedge \langle g, hasneighbor, o \rangle \Rightarrow \langle s, dealswith , o \rangle$ & 0.177 & 0.128 & 0.146 & 230 & 1795 & 1573 & $s$ \\
$\langle h, hasneighbor, s \rangle \wedge \langle o, hasneighbor, h \rangle \Rightarrow \langle s, dealswith , o \rangle$ & 0.177 & 0.128 & 0.147 & 230 & 1792 & 1566 & $s$ \\
$\langle h, hasneighbor, o \rangle \wedge \langle s, hasneighbor, h \rangle \Rightarrow \langle s, dealswith , o \rangle$ & 0.177 & 0.129 & 0.147 & 231 & 1792 & 1567 & $s$ \\
$\langle g, iscitizenof, s \rangle \wedge \langle g, iscitizenof, o \rangle \Rightarrow \langle s, dealswith , o \rangle$ & 0.068 & 0.132 & 0.218 & 89 & 676 & 409 & $s$ \\
$\langle s, haschild, h \rangle \wedge \langle h, wasbornin, o \rangle \Rightarrow \langle s, diedin , o \rangle$ & 0.041 & 0.132 & 0.262 & 379 & 2862 & 1446 & $s$ \\
$\langle s, actedin, o \rangle \wedge \langle s, created, o \rangle \Rightarrow \langle s, directed , o \rangle$ & 0.039 & 0.451 & 0.542 & 212 & 470 & 391 & $o$ \\
$\langle s, created, o \rangle \Rightarrow \langle s, directed , o \rangle$ & 0.219 & 0.173 & 0.237 & 1202 & 6933 & 5082 & $o$ \\
$\langle s, imports, o \rangle \Rightarrow \langle s, exports , o \rangle$ & 0.159 & 0.153 & 0.177 & 60 & 393 & 339 & $s$ \\
$\langle s, hasacademicadvisor, h \rangle \wedge \langle h, worksat, o \rangle \Rightarrow \langle s, graduatedfrom , o \rangle$ & 0.051 & 0.272 & 0.301 & 374 & 1376 & 1243 & $s$ \\
$\langle s, worksat, o \rangle \Rightarrow \langle s, graduatedfrom , o \rangle$ & 0.082 & 0.177 & 0.193 & 599 & 3384 & 3109 & $s$ \\
$\langle o, participatedin, s \rangle \Rightarrow \langle s, happenedin , o \rangle$ & 0.293 & 0.288 & 0.367 & 1482 & 5150 & 4042 & $o$ \\
$\langle g, diedin, o \rangle \wedge \langle g, iscitizenof, s \rangle \Rightarrow \langle s, hascapital , o \rangle$ & 0.035 & 0.116 & 0.120 & 89 & 766 & 741 & $s$ \\
$\langle g, diedin, o \rangle \wedge \langle g, ispoliticianof, s \rangle \Rightarrow \langle s, hascapital , o \rangle$ & 0.051 & 0.242 & 0.282 & 130 & 537 & 461 & $s$ \\
$\langle o, islocatedin, s \rangle \wedge \langle s, islocatedin, o \rangle \Rightarrow \langle s, hascapital , o \rangle$ & 0.351 & 0.157 & 0.788 & 900 & 5740 & 1142 & $s$ \\
$\langle g, ispoliticianof, s \rangle \wedge \langle g, livesin, o \rangle \Rightarrow \langle s, hascapital , o \rangle$ & 0.026 & 0.171 & 0.189 & 66 & 386 & 349 & $s$ \\
$\langle g, ispoliticianof, s \rangle \wedge \langle g, wasbornin, o \rangle \Rightarrow \langle s, hascapital , o \rangle$ & 0.051 & 0.129 & 0.142 & 131 & 1017 & 924 & $s$ \\
$\langle s, dealswith, o \rangle \Rightarrow \langle s, hasneighbor , o \rangle$ & 0.295 & 0.126 & 0.164 & 164 & 1302 & 997 & $o$ \\
$\langle o, dealswith, s \rangle \Rightarrow \langle s, hasneighbor , o \rangle$ & 0.297 & 0.127 & 0.175 & 165 & 1302 & 944 & $o$ \\
$\langle o, dealswith, s \rangle \wedge \langle s, dealswith, o \rangle \Rightarrow \langle s, hasneighbor , o \rangle$ & 0.097 & 0.338 & 0.458 & 54 & 160 & 118 & $o$ \\
$\langle s, dealswith, h \rangle \wedge \langle h, exports, o \rangle \Rightarrow \langle s, imports , o \rangle$ & 0.501 & 0.109 & 0.127 & 197 & 1814 & 1546 & $s$ \\
$\langle s, exports, o \rangle \Rightarrow \langle s, imports , o \rangle$ & 0.153 & 0.159 & 0.171 & 60 & 378 & 351 & $s$ \\
$\langle s, playsfor, o \rangle \Rightarrow \langle s, isaffiliatedto , o \rangle$ & 0.746 & 0.869 & 0.946 & 278848 & 321024 & 294723 & $s$ \\
$\langle s, hasacademicadvisor, h \rangle \wedge \langle h, livesin, o \rangle \Rightarrow \langle s, iscitizenof , o \rangle$ & 0.029 & 0.254 & 0.390 & 101 & 398 & 259 & $s$ \\
$\langle g, hasacademicadvisor, s \rangle \wedge \langle g, livesin, o \rangle \Rightarrow \langle s, iscitizenof , o \rangle$ & 0.025 & 0.251 & 0.368 & 86 & 343 & 234 & $s$ \\
$\langle s, livesin, o \rangle \Rightarrow \langle s, iscitizenof , o \rangle$ & 0.120 & 0.139 & 0.358 & 415 & 2980 & 1159 & $s$ \\
$\langle g, owns, s \rangle \wedge \langle g, owns, o \rangle \Rightarrow \langle s, isconnectedto , o \rangle$ & 0.010 & 0.116 & 0.276 & 325 & 2806 & 1177 & $o$ \\
$\langle s, livesin, o \rangle \wedge \langle s, wasbornin, o \rangle \Rightarrow \langle s, isleaderof , o \rangle$ & 0.015 & 0.103 & 0.311 & 14 & 136 & 45 & $o$ \\
$\langle s, hascapital, o \rangle \Rightarrow \langle s, islocatedin , o \rangle$ & 0.011 & 0.387 & 0.418 & 993 & 2563 & 2378 & $s$ \\
$\langle o, hascapital, s \rangle \Rightarrow \langle s, islocatedin , o \rangle$ & 0.020 & 0.680 & 0.682 & 1742 & 2563 & 2554 & $s$ \\
$\langle s, haschild, h \rangle \wedge \langle o, haschild, h \rangle \Rightarrow \langle s, ismarriedto , o \rangle$ & 0.236 & 0.107 & 0.239 & 886 & 8284 & 3705 & $s$ \\
$\langle s, haschild, h \rangle \wedge \langle h, iscitizenof, o \rangle \Rightarrow \langle s, ispoliticianof , o \rangle$ & 0.057 & 0.532 & 0.831 & 123 & 231 & 148 & $s$ \\
$\langle s, haschild, h \rangle \wedge \langle h, isleaderof, o \rangle \Rightarrow \langle s, ispoliticianof , o \rangle$ & 0.049 & 0.211 & 0.397 & 106 & 502 & 267 & $s$ \\
$\langle g, haschild, s \rangle \wedge \langle g, iscitizenof, o \rangle \Rightarrow \langle s, ispoliticianof , o \rangle$ & 0.065 & 0.560 & 0.778 & 140 & 250 & 180 & $s$ \\
$\langle g, haschild, s \rangle \wedge \langle g, isleaderof, o \rangle \Rightarrow \langle s, ispoliticianof , o \rangle$ & 0.021 & 0.128 & 0.260 & 46 & 358 & 177 & $s$ \\
$\langle s, isleaderof, o \rangle \Rightarrow \langle s, ispoliticianof , o \rangle$ & 0.065 & 0.146 & 0.458 & 140 & 957 & 306 & $s$ \\
$\langle s, hasacademicadvisor, h \rangle \wedge \langle h, iscitizenof, o \rangle \Rightarrow \langle s, livesin , o \rangle$ & 0.034 & 0.137 & 0.437 & 101 & 735 & 231 & $s$ \\
$\langle g, hasacademicadvisor, s \rangle \wedge \langle g, iscitizenof, o \rangle \Rightarrow \langle s, livesin , o \rangle$ & 0.025 & 0.124 & 0.381 & 74 & 598 & 194 & $s$ \\
$\langle s, iscitizenof, o \rangle \Rightarrow \langle s, livesin , o \rangle$ & 0.139 & 0.120 & 0.471 & 415 & 3453 & 881 & $s$ \\
$\langle o, happenedin, s \rangle \Rightarrow \langle s, participatedin , o \rangle$ & 0.288 & 0.293 & 0.310 & 1482 & 5052 & 4779 & $o$ \\
$\langle s, isaffiliatedto, o \rangle \Rightarrow \langle s, playsfor , o \rangle$ & 0.869 & 0.746 & 0.825 & 278848 & 373721 & 337858 & $s$ \\
$\langle s, diedin, o \rangle \Rightarrow \langle s, wasbornin , o \rangle$ & 0.025 & 0.122 & 0.174 & 1132 & 9244 & 6499 & $s$ \\
$\langle g, diedin, o \rangle \wedge \langle g, haschild, s \rangle \Rightarrow \langle s, wasbornin , o \rangle$ & 0.010 & 0.196 & 0.284 & 454 & 2321 & 1597 & $s$ \\
$\langle g, graduatedfrom, o \rangle \wedge \langle g, hasacademicadvisor, s \rangle \Rightarrow \langle s, worksat , o \rangle$ & 0.079 & 0.243 & 0.365 & 268 & 1104 & 735 & $s$ \\
\bottomrule
\end{tabular}