Title: DYNAMICALLY PRUNED MESSAGE PASSING NET-WORKS FOR LARGE-SCALE KNOWLEDGE GRAPH REASONING

Abstract: We propose Dynamically Pruned Message Passing Networks (DPMPN) for largescale knowledge graph reasoning. In contrast to existing models, embeddingbased or path-based, we learn an input-dependent subgraph to explicitly model reasoning process. Subgraphs are dynamically constructed and expanded by applying graphical attention mechanism conditioned on input queries. In this way, we not only construct graph-structured explanations but also enable message passing designed in Graph Neural Networks (GNNs) to scale with graph sizes. We take the inspiration from the consciousness prior proposed by Bengio (2017) and develop a two-GNN framework to encode input-agnostic full structure representation and learn input-dependent local one coordinated by an attention module. Experiments show the reasoning capability of our model to provide clear graphical explanations as well as predict results accurately, outperforming most stateof-the-art methods in knowledge base completion tasks.
Visualization. To further demonstrate the reasoning capability, we show visualization results of some pruned subgraphs on NELL995's test data for 12 separate tasks. We avoid using the training data in order to show generalization of the learned reasoning capability. We show the visualization results in Figure 1 . See the appendix for detailed analysis and more visualization results.

1. INTRODUCTION:

Modern deep learning systems should bring in explicit reasoning modeling to complement their black-box models, where reasoning takes a step-by-step form about organizing facts to yield new knowledge and finally draw a conclusion. Particularly, we rely on graph-structured representation to model reasoning by manipulating nodes and edges where semantic entities or relations can be explicitly represented (Battaglia et al., 2018) . Here, we choose knowledge graph scenarios to study reasoning where semantics have been defined on nodes and edges. For example, in knowledge base completion tasks, each edge is represented by a triple head, rel, tail that contains two entities and their relation. The goal is to predict which entity might be a tail given query head, rel, ? .

Existing models can be categorized into embedding-based and path-based model families. The embedding-based (Bordes et al., 2013; Sun et al., 2018; Lacroix et al., 2018) often achieves a high score by fitting data using various neural network techniques but lacks interpretability. The pathbased (Xiong et al., 2017; Das et al., 2018; Shen et al., 2018; Wang, 2018) attempts to construct an explanatory path to model an iterative decision-making process using reinforcement learning and recurrent networks. A question is: can we construct structured explanations other than a path to better explain reasoning in graph context. To this end, we propose to learn a dynamically induced subgraph which starts with a head node and ends with a predicted tail node as shown in Figure 1 .

Graph reasoning can be powered by Graph Neural Networks. Graph reasoning needs to learn about entities, relations, and their composing rules to manipulate structured knowledge and produce structured explanations. Graph Neural Networks (GNNs) provide such structured computation and also inherit powerful data-fitting capacity from deep neural networks (Scarselli et al., 2009; Battaglia et al., 2018) . Specifically, GNNs follow a neighborhood aggregation scheme to recursively aggregate information from neighbors to update node states. After T iterations, each node can carry structure information from its T -hop neighborhood (Gilmer et al., 2017; Xu et al., 2018a) .

GNNs need graphical attention expression to interpret. Neighborhood attention operation is a popular way to implement attention mechanism on graphs (Velickovic et al., 2018; Hoshen, 2017) focusing on specific interactions with neighbors. Here, we propose a new graphical attention mechanism not only for computation but also for interpretation. We present three considerations when constructing attention-induced subgraphs: (1) given a subgraph, we first attend within it to select a few nodes and then attend over those nodes' neighborhood for next expansion;

(2) we propagate attention across steps to capture long-term dependency;

(3) our attention mechanism models reasoning process explicitly through pipeline disentangled from underlying representation computing.

GNNs need input-dependent pruning to scale. GNNs are notorious for their poor scalability.

Consider one message passing iteration on a graph with |V | nodes and |E| edges. Even if the graph is sparse, the complexity of O(|E|) is still problematic on large graphs with millions of nodes and edges. Besides, mini-batch based training with batch size B and high dimensions D would lead to O(BD|E|) making things worse. However, we can avoid this situation by learning input-dependent pruning to run computation on dynamical graphs, as an input query often triggers a small fraction of the entire graph so that it is wasteful to perform computation over the full graph for each input.

Cognitive intuition of the consciousness prior. Bengio (2017) brought the notion of attentive awareness from cognitive science into deep learning in his consciousness prior proposal. He pointed out a process of disentangling high-level factors from full underlying representation to form a lowdimensional combination through attention mechanism. He proposed to use two recurrent neural networks (RNNs) to encode two types of state: unconscious state represented by a high-dimensional vector before attention and conscious state by a derived low-dimensional vector after attention.

We use two GNNs instead to encode such states on nodes. We construct input-dependent subgraphs to run message passing efficiently, and also run full message passing over the entire graph to acquire features beyond a local view constrained by subgraphs. We apply attention mechanism between the two GNNs, where the bottom runs before attention, called Inattentive GNN (IGNN), and the above runs on each attention-induced subgraph, called Attentive GNN (AGNN). IGNN provides representation computed on the full graph for AGNN. AGNN reinforces representation within a cohesive group of nodes to produce sharp semantics. Experimental results show that our model attains very competitive scores on HITS@1,3 and the mean reciprocal rank (MRR) compared to the best embedding-based method so far. More importantly, we provide explanations while they do not.

2. ADDRESSING THE SCALE-UP PROBLEM:

Notation. We denote training data by {(x i , y i )} N i=1 . We denote a full graph by G = V, E with relations R and an input-dependent subgraph by G(x) = V G(x) , E G(x) which is an induced subgraph of G. We denote boundary of a graph by ∂G where V ∂G = N (V G ) -V G and N (V G ) means neighbors of nodes in V G . We also denote high-order boundaries such as ∂ 2 G where

V ∂ 2 G = N (N (V G )) ∪ N (V G ) -V G .

Trainable parameters include node embeddings {e v } v∈V , relation embeddings {e r } r∈R , and weights used in two GNNs and an attention module. When performing full or pruned message passing, node and relation embeddings will be indexed according to the operated graph, denoted by θ G or θ G(x) . For IGNN, we use H t of size |V| × D to denote node hidden states at step t; for AGNN, we use H t (x) of size |V G(x) | × D to denote. The objective is written as N i=1 l(x i , y i ; θ G(xi) , θ G ), where G(x i ) is dynamically constructed. The scale-up problem in GNNs. First, we write the full message passing in IGNN as

EQUATION

where f IGNN represents all involved operations in one message passing iteration over G, including:

(1) computing messages along each edge with the complexity1 of O(BD|E|), (2) aggregating messages received at each node with O(BD|E|), and (3) updating node states with O(BD|V|). For T -step propagation, the per-batch complexity is O(BDT (|E| + |V|)). Considering that backpropagation requires intermediate computation results to be saved during one pass, this complexity counts for both time and space. However, since IGNN is input-agnostic, node representations can be shared across inputs in one batch so that we can remove B to get O(DT (|E| + |V|)). If we use a sampled edge set Ê from E such that | Ê| ≈ k|V|, the complexity can be further reduced to O(DT |V|).

The pruned message passing in AGNN can be written as

EQUATION

Its complexity can be computed similarly as above. However, we cannot remove B. Fortunately, subgraph G(x) is not G. If we let x be a node v, G(x) grows from a single node, i.e., G 0 (x) = {v}, and expands itself each step, leading to a sequence of (G 0 (x), G 1 (x), . . . , G T (x)). Here, we describe the expansion behavior as consecutive expansion, which means no jumping across neighborhood allowed, so that we can ensure that

EQUATION

Many real-world graphs follow the small-world pattern, and the six degrees of separation implies G 0 (x) ∪ ∂ 6 G 0 (x) ≈ G. The upper bound of G t (x) can grow exponentially in t, and there is no guarantee that G t (x) will not explode.

Proposition. Given a graph G (undirected or directed in both directions), we assume the probability of the degree of an arbitrary node being less than or equal to d is larger than p, i.e., P (deg(v) ≤ d) > p, ∀v ∈ V . Considering a sequence of consecutively expanding subgraphs (G 0 , G 1 , . . . , G T ), starting with G 0 = {v}, for all t ≥ 1, we can ensure

EQUATION

)

The proposition implies the guarantee of upper-bounding |V G t (x) | becomes exponentially looser and weaker as t gets larger even if the given assumption has a small d and a large p (close to 1). We define graph increment at step t as ∆G t (x) such that G t (x) = G t-1 (x) ∪ ∆G t (x). To prevent G t (x) from explosion, we need to constrain ∆G t (x).

Sampling strategies. A simple but effective way to handle the large scale is to do sampling.

1. ∆G t (x) = ∂G t-1 (x), where we sample nodes from the boundary of G t-1 (x).

2. ∆G t (x) = ∂ G t-1 (x), where we take the boundary of sampled nodes from G t-1 (x).

3. ∆G t (x) = ∂ G t-1 (x), where we sample nodes twice from G t-1 (x) and from ∂ G t-1 (x).

4. ∆G t (x) = ∂ G t-1 (x) , where we sample nodes three times with the last from ∂ G t-1 (x).

Obviously, we have ∂ G t-1 (x) ⊆ ∂ G t-1 (x) ⊆ ∂ G t-1 (x) and G t-1 (x) ∪ ∂ G t-1 (x) ⊆ G t-1 (x) ∪ ∂G t-1 (x). Further, we let N 1 and N 3 be the maximum number of sampled nodes in ∂ G t-1 (x) and the last sampling of ∂ G t-1 (x) respectively and let N 2 be per-node maximum sampled neighbors in ∂G t-1 (x), and then we can obtain much tighter guarantee as follow: 1. P (|V ∆G t (x) | ≤ N 1 (d -1)) > p N1 for ∂ G t-1 (x).

2.. P (|V ∆G:

t (x) | ≤ N 1 N 2 ) = 1 and P (|V ∆G t (x) | ≤ N 1 •min(d-1, N 2 )) > p N1 for ∂ G t-1 (x). 3. P (|V ∆G t (x) | ≤ min(N 1 N 2 , N 3 )) = 1 for ∂ G t-1 (x) .

Attention strategies. Although we guarantee |V G T (x) | ≤ 1 + T min(N 1 N 2 , N 3 ) by ∂ G t-1 (x) and constrain the growth of G t-1 (x) by decreasing either N 1 N 2 or N 3 , smaller sampling size means less area explored and less chance to hit target nodes. To make efficient selection rather than random sampling, we apply attention mechanism to do the top-K selection where K can be small. We change ∂ G t-1 (x) to ∂G t-1 (x) where ∼ represents the operation of attending over nodes and picking the top-K. There are two types of attention operations, one applied to G t-1 (x) and the other applied to ∂G t-1 (x) . Note that the size of ∂G t-1 (x) might be much larger if we intend to sample more nodes with larger N 2 to sufficiently explore the boundary. Nevertheless, we can address this problem by using smaller dimensions to compute attention, since attention on each node is a scalar requiring a smaller capacity compared to node representation vectors computed in message passing.

3. DPMPN MODEL:



3.1. ARCHITECTURE DESIGN FOR KNOWLEDGE GRAPH REASONING:

Our model architecture as shown in Figure 2 consists of:

• IGNN module: performs full message passing to compute full-graph node representations.

• AGNN module: performs a batch of pruned message passing to compute input-dependent node representations which also make use of underlying representations from IGNN. • Attention Module: performs a flow-style attention transition process, conditioned on node representations from both IGNN and AGNN but only affecting AGNN.

IGNN module. We implement it using standard message passing mechanism (Gilmer et al., 2017) .

If the full graph has an extremely large number of edges, we sample a subset of edges, Êτ ⊂ E, randomly each step. For a batch of input queries, we let node representations from IGNN be shared across queries, containing no batch dimension. Thus, its complexity does not scale with batch size and the saved resources can be allocated to sampling more edges. Each node v has a state H τ v,: at step τ , where the initial H 0 v,: = e v . Each edge v , r, v produces a message, denoted by M τ

• Message function: M τ v ,r,v ,: = ψ IGNN (H τ v ,: , e r , H τ v,: ), where v , r, v ∈ Êτ .

• Message aggregation: r,v ,: , where v , r, v ∈ Êτ .

M τ v,: = 1 √ N τ (v) v ,r M τ v ,

• Node state update function:

H τ +1 v,: = H τ v,: + δ IGNN (H τ v,: , M τ v,: , e v )

, where v ∈ V.

We compute messages only for sampled edges, v , r, v ∈ Êτ , each step. Functions ψ IGNN and δ IGNN are implemented by a two-layer MLP (using leakyReLu for the first layer and tanh for the second) with input arguments concatenated respectively. Messages are aggregated by dividing the sum by the square root of N τ (v), the number of neighbors that send messages to v, preserving the scale of variance. We use a residual adding to update each node state instead of a GRU or a LSTM.

After running for T steps, we output a pooling result or simply the last, denoted by H = H T , to feed into downstream modules.

AGNN module. AGNN is input-dependent, which means node states depend on input query x = head, rel, ? , denoted by H t v,: (x). We implement pruned message passing, running on small subgraphs each conditioned on an input query. We leverage the sparsity and only save H t v,: (x) for visited nodes v ∈ V G t (x) . When t = 0, we start from node head with V G 0 (x) = {v head }. When computing messages, denoted by M t v ,r,v ,: (x), we use an attending-sampling-attending procedure, explained in Section 3.2, to constrain the number of computed edges. The computation components include:

• Message function: M t v ,r,v ,: (x) = ψ AGNN (H t v ,: (x), c r (x), H t v,: (x)), where v , r, v ∈ E G t (x)

2 , and c r (x) = [e r , q head , q rel ] represents a context vector.

• Message aggregation:

M t v,: (x) = 1 √ N t (v) v ,r M t v ,r,v ,: (x), where v , r, v ∈ E G t (x) .

• Node state attending function:

H t+1 v,: (x) = a t+1 v W H v,:

, where a t+1 v is an attention score.

• Node state update function:

EQUATION

), q head , q rel ] also represents a context vector.

Query context is defined by its head and relation embeddings, i.e., q head = e head and q rel = e rel . We introduce a node state attending function to pass node representation information from IGNN to AGNN weighted by a scalar attention score a t+1 v and projected by a learnable matrix W . We initialize H 0 v,: (x) = H v,: for node v ∈ V G 0 (x) , letting unseen nodes hold zero states. Attention module. Attention over T steps is represented by a sequence of node probability distributions, denoted by a t (t = 1, 2 . . . , T ). The initial distribution a 0 is a one-hot vector with a 0 [v head ] = 1. To spread attention, we need to compute transition matrices T t each step. Since it is conditioned on both IGNN and AGNN, we capture two types of interaction between v and v:

H t v ,: (x) ∼ H t v,: (x)

, and H t v ,: (x) ∼ H v,: . The former favors visited nodes, while the latter is used to attend to unseen neighboring nodes.

EQUATION

where W 1 and W 2 are two learnable matrices. Each MLP uses one single layer with the leakyReLu activation. To reduce the complexity for computing T t , we use nodes v ∈ V G t (x) , which contains nodes with the k-largest attention scores at step t, and use nodes v sampled from v 's neighbors to compute attention transition for the next step. Due to the fact that nodes v result from the top-k pruning, the loss of attention may occur to diminish the total amount. Therefore, we use a renormalized version, a t+1 = T t a t / T t a t , to compute new attention scores. We use attention scores at the final step as the probability to predict the tail node. 

3.2. COMPLEXITY REDUCTION BY ITERATIVE ATTENDING, SAMPLING AND ATTENDING:

AGNN deals with each subgraph relying on input x and keeps a few selected nodes in V G t (x) , called visited nodes. Initially, V G 0 (x) contains only one node v head , and then V G t (x) is enlarged by adding new nodes each step. When propagating messages, we can just consider the one-hop neighborhood each step. However, the expansion goes so rapidly that it covers almost all nodes after a few steps.

The key to address the problem is to constrain the scope of nodes we can expand the boundary from, i.e., the core nodes which determine where we can go next. We call it the attending-from horizon, G t (x) , selected according to attention scores a t . Given this horizon, we may still need node sampling over the neighborhood N (G t (x) ) in some cases where a hub node of extremely high degree exists to cause an extremely large neighborhood. We introduce an attending-to horizon, denoted by

N (G t (x) )

, inside the sampling horizon, denoted by N (G t (x) ). The attention module runs within the sampling horizon with smaller dimensions exchanged for sampling more neighbors for a larger coverage. In one word, we face a trade-off between coverage and complexity, and our strategy is to sample more but attend less plus using small dimensions to compute attention. We obtain the attending-to horizon according to newly computed attention scores a t+1 . Then, message passing iteration at step t in AGNN can be further constrained on edges between G t (x) and N (G t (x) ) , a smaller set than E G t (x) . We illustrate this procedure in Figure 3 .

4. EXPERIMENTS:

Datasets. We use six large KG datasets: FB15K, FB15K-237, WN18, WN18RR, NELL995, and YAGO3-10. FB15K-237 (Toutanova & Chen, 2015) is sampled from FB15K (Bordes et al., 2013) with redundant relations removed, and WN18RR (Dettmers et al., 2018) is a subset of WN18 (Bordes et al., 2013) removing triples that cause test leakage. Thus, they are both considered more challenging. NELL995 (Xiong et al., 2017) has separate datasets for 12 query relations each corresponding to a single-query-relation KBC task. YAGO3-10 (Mahdisoltani et al., 2014) contains the largest KG with millions of edges. Their statistics are shown in Table 1 . We find some statistical differences between train and validation (or test). In a KG with all training triples as its edges, a triple (head, rel, tail) is considered as a multi-edge triple if the KG contains other triples that also connect head and tail ignoring the direction. We notice that FB15K-237 is a special case compared to the others, as there are no edges in its KG directly linking any pair of head and tail in validation (or test). Therefore, when using training triples as queries to train our model, given a batch, for FB15K-237, we cut off from the KG all triples connecting the head-tail pairs in the given batch, ignoring relation types and edge directions, forcing the model to learn a composite reasoning pattern rather than a single-hop pattern, and for the rest datasets, we only remove the triples of this batch and their inverse from the KG to avoid information leakage before training on this batch. This can be regarded as a hyperparameter tuning whether to force a multi-hop reasoning or not, leading to a performance boost of about 2% in HITS@1 on FB15-237.

Experimental settings. We use the same data split protocol as in many papers (Dettmers et al., 2018; Xiong et al., 2017; Das et al., 2018) . We create a KG, a directed graph, consisting of all train triples and their inverse added for each dataset except NELL995, since it already includes reciprocal relations. Besides, every node in KGs has a self-loop edge to itself. We also add inverse relations into the validation and test set to evaluate the two directions. For evaluation metrics, we use HITS@1,3,10 and the mean reciprocal rank (MRR) in the filtered setting for FB15K-237, WN18RR, (Dettmers et al., 2018) , [♥] from (Shen et al., 2018) , [♦] from (Sun et al., 2018) , [ ] from (Das et al., 2018) , and [ ] from (Lacroix et al., 2018) . Some collected results only have a metric score while some including ours take the form of "mean (std)". FB15K, WN18, and YAGO3-10, and use the mean average precision (MAP) for NELL995's singlequery-relation KBC tasks. For NELL995, we follow the same evaluation procedure as in (Xiong et al., 2017; Das et al., 2018; Shen et al., 2018) , ranking the answer entities against the negative examples given in their experiments. We run our experiments using a 12G-memory GPU, TITAN X (Pascal), with Intel(R) Xeon(R) CPU E5-2670 v3 @ 2.30GHz. Our code is written in Python based on TensorFlow 2.0 and NumPy 1.16 and can be found by the link3 below. We run three times for each hyperparameter setting per dataset to report the means and standard deviations. See hyperparameter details in the appendix.

Baselines. We compare our model against embedding-based approaches, including TransE (Bordes et al., 2013) , TransR (Lin et al., 2015b) , DistMult (Yang et al., 2015) , ConvE (Dettmers et al., 2018) , ComplE (Trouillon et al., 2016) , HolE (Nickel et al., 2016) , RotatE (Sun et al., 2018) , and ComplEx-N3 (Lacroix et al., 2018) , and path-based approaches that use RL methods, including DeepPath (Xiong et al., 2017) , MINERVA (Das et al., 2018) , and M-Walk (Shen et al., 2018) , and also that uses learned neural logic, NeuralLP (Yang et al., 2017) .

Comparison results and analysis. We report comparison on FB15K-23 and WN18RR in Table 2 .

Our model DPMPN significantly outperforms all the baselines in HITS@1,3 and MRR. Compared to the best baseline, we only lose a few points in HITS@10 but gain a lot in HITS@1,3. We speculate that it is the reasoning capability that helps DPMPN make a sharp prediction by exploiting graph-structured composition locally and conditionally. When a target becomes too vague to predict, reasoning may lose its advantage against embedding-based models. However, path-based baselines, with a certain ability to do reasoning, perform worse than we expect. We argue that it might be inappropriate to think of reasoning, a sequential decision process, equivalent to a sequence of nodes.

The average lengths of the shortest paths between heads and tails as shown in Table 1 suggests a very short path, which makes the motivation of using a path almost useless. The reasoning pattern should be modeled in the form of dynamical local graph-structured pattern with nodes densely connected (A) Convergence Analysis (eval on test) H@1 H@3 H@10 MMR H@1 H@3 H@10 MMR 40.0 with each other to produce a decision collectively. We also run our model on FB15K, WN18, and YAGO3-10, and the comparison results in the appendix show that DPMPN achieves a very competitive position against the best state of the art. We summarize the comparison on NELL995's tasks in the appendix. DPMPN performs the best on five tasks, also being competitive on the rest.

Convergence analysis. Our model converges very fast during training. We may use half of training queries to train model to generalize as shown in Figure 4(A) . Compared to less expensive embedding-based models, our model need to traverse a number of edges when training on one input, consuming much time per batch, but it does not need to pass a second epoch, thus saving a lot of training time. The reason may be that training queries also belong to the KG's edges and some might be exploited to construct subgraphs during training on other queries.

Component analysis. Given the stacked GNN architecture, we want to examine how much each GNN component contributes to the performance. Since IGNN is input-agnostic, we cannot rely on its node representations only to predict a tail given an input query. However, AGNN is inputdependent, which means it can be carried out to complete the task without taking underlying node representations from IGNN. Therefore, we can arrange two sets of experiments: (1) AGNN + IGNN, and (2) AGNN-only. In AGNN-only, we do not run message passing in IGNN to compute H v,: but instead use node embeddings as H v,: , and then we run pruned message passing in AGNN as usual. We want to be sure whether IGNN is actually useful. In this setting, we compare the first set which runs IGNN for two steps against the second one which totally shuts IGNN down. The results in Figure 4 (B) (and Figure 7 (B) in Appendix) show that IGNN brings an amount of gains in each metric on WN18RR , indicating that representations computed by full-graph message passing indeed help subgraph-based message passing.

Horizon analysis. The sampling, attending-to, attending-from and searching (i.e., propagation steps) horizons determine how large area a subgraph can expand over. These factors affect computation complexity as well as prediction performance. Intuitively, enlarging the exploring area by sampling more, attending more, and searching longer, may increase the chance of hitting a target to gain some performance. However, the experimental results in Figure 4 (C)(D) show that it is not always the case. In Figure 4 (E), we can see that increasing the maximum number of attending- from nodes per step is useful. That also explains why we call nodes in the attending-from horizon the core nodes, as they determine where subgraphs can be expanded and how attention will be propagated to affect the final probability distribution on the tail prediction. However, GPUs with a limited memory do not allow for a too large number of sampled or attended nodes especially for Max-attending-from-per-step. The detailed explanations can be found in attention strategies in Section 2 where the upper bound is controlled by N 1 N 2 and N 3 (Max-attending-from-per-step corresponding to N 1 , Max-sampling-per-node to N 2 , and Max-attending-to-per-step to N 3 ). In N 1 N 2 , Section 3.2 suggests that we should sample more by a large N 2 but attend less by a small N 1 . Figure 4 (F) suggests that the propagation steps of AGNN should not go below four.

Attention flow analysis. If the flow-style attention really captures the way we reason about the world, its process should be conducted in a diverging-converging thinking pattern. Intuitively, first, for the diverging thinking phase, we search and collect ideas as much as we can; then, for the converging thinking phase, we try to concentrate our thoughts on one point. To check whether the attention flow has such a pattern, we measure the average entropy of attention distributions changing along steps and also the proportion of attention concentrated at the top-1,3,5 nodes. As we expect, attention is more focused at the final step and the beginning.

Time cost analysis.:

The time cost is affected not only by the scale of a dataset but also by the horizon setting. For each dataset, we list the training time for one epoch corresponding to our standard hyperparameter settings in the appendix. Note that there is always a trade-off between complexity and performance. We thus study whether we can reduce time cost a lot at the price of sacrificing a little performance. We plot the one-epoch training time in Figure 6 (A)-(D), using the same settings as we do in the horizon analysis. We can see that Max-attending-from-per-step and #Steps-in-AGNN affect the training time significantly while Max-sampling-per-node and Max-attending-to-per-step affect very slightly. Therefore, we can use smaller Max-sampling-per-node and Max-attending-to-per-step in order to gain a larger batch size, making the computation more efficiency as shown in Figure 6(E) .

Discussion of the limitation. Although DPMPN shows a promising way to harness the scalability on large-scale graph data, current GPU-based machine learning platforms, such as TensorFlow and PyTorch, seem not ready to fully leverage sparse tensor computation which acts as building blocks to support dynamical computation graphs which varies from one input to another. Extra overhead caused by extensive sparse operations will neutralize the benefits of exploiting sparsity.

5. RELATED WORK:

Knowledge graph reasoning. Early work, including TransE (Bordes et al., 2013) and its analogues (Wang et al., 2014; Lin et al., 2015b; Ji et al., 2015) , DistMult (Yang et al., 2015) , ConvE (Dettmers et al., 2018) and ComplEx (Trouillon et al., 2016) , focuses on learning embeddings of entities and relations. Some recent works of this line (Sun et al., 2018; Lacroix et al., 2018) achieve high accuracy. Another line aims to learn inference paths (Lao et al., 2011; Guu et al., 2015; Lin et al., 2015a; Toutanova et al., 2016; Chen et al., 2018; Lin et al., 2018) for knowledge graph reasoning, especially DeepPath (Xiong et al., 2017) , MINERVA (Das et al., 2018) , and M-Walk (Shen et al., 2018) , which use RL to learn multi-hop relational paths. However, these approaches, based on policy gradients or Monte Carlo tree search, often suffer from low sample efficiency and sparse rewards, requiring a large number of rollouts and sophisticated reward function design. Other efforts include learning soft logical rules (Cohen, 2016; Yang et al., 2017) or compostional programs (Liang et al., 2016) .

Relational reasoning in Graph Neural Networks. Relational reasoning is regarded as the key for combinatorial generalization, taking the form of entity-and relation-centric organization to reason about the composition structure of the world (Craik, 1952; Lake et al., 2017) . A multitude of recent implementations (Battaglia et al., 2018) encode relational inductive biases into neural networks to exploit graph-structured representation, including graph convolution networks (GCNs) (Bruna et al., 2014; Henaff et al., 2015; Duvenaud et al., 2015; Kearnes et al., 2016; Defferrard et al., 2016; Niepert et al., 2016; Kipf & Welling, 2017; Bronstein et al., 2017) and graph neural networks (Scarselli et al., 2009; Li et al., 2016; Santoro et al., 2017; Battaglia et al., 2016; Gilmer et al., 2017) . Variants of GNN architectures have been developed. Relation networks (Santoro et al., 2017) use a simple but effective neural module to model relational reasoning, and its recurrent versions (Santoro et al., 2018; Palm et al., 2018) do multi-step relational inference for long periods; Interaction networks (Battaglia et al., 2016) provide a general-purpose learnable physics engine, and two of its variants are visual interaction networks (Watters et al., 2017) and vertex attention interaction networks (Hoshen, 2017) ; Message passing neural networks (Gilmer et al., 2017) unify various GCNs and GNNs into a general message passing formalism by analogy to the one in graphical models.

Attention mechanism on graphs. Neighborhood attention operation can enhance GNNs' representation power (Velickovic et al., 2018; Hoshen, 2017; Wang et al., 2018; Kool, 2018) . These approaches often use multi-head self-attention to focus on specific interactions with neighbors when aggregating messages, inspired by (Bahdanau et al., 2015; Lin et al., 2017; Vaswani et al., 2017) .

Most graph-based attention mechanisms attend over neighborhood in a single-hop fashion, and (Hoshen, 2017) claims that the multi-hop architecture does not help to model high-order interaction in experiments. However, a flow-style design of attention in (Xu et al., 2018b) shows a way to model long-range attention, stringing isolated attention operations by transition matrices.

6. CONCLUSION:

We introduce Dynamically Pruned Message Passing Networks (DPMPN) and apply it to large-scale knowledge graph reasoning tasks. We propose to learn an input-dependent local subgraph which is progressively and selectively constructed to model a sequential reasoning process in knowledge graphs. We use graphical attention expression, a flow-style attention mechanism, to guide and prune the underlying message passing, making it scalable for large-scale graphs and also providing clear graphical interpretations. We also take the inspiration from the consciousness prior to develop a two-GNN framework to boost experimental performances.

EQUATION

)

Proof. We consider the extreme case of greedy consecutive expansion, where

G t = G t-1 ∪ ∆G t = G t-1 ∪ ∂G t-1

, since if this case satisfies the inequality, any case of consecutive expansion can also satisfy it. By definition, all the subgraphs G t are a connected graph. Here, we use ∆V t to denote V ∆G t for short. In the extreme case, we can ensure that the newly added nodes ∆V t at step t only belong to the neighborhood of the last added nodes ∆V t-1 . Since for t ≥ 2 each node in ∆V t-1 already has at least one edge within G t-1 due to the definition of connected graphs, we can have

EQUATION

)

For t = 1, we have P (|∆V 1 | ≤ d) > p and thus

EQUATION

EQUATION

which is

EQUATION

)

We can find that t = 1 also satisfies this inequality. The hyperparameters can be categorized into three groups:

• Normal hyperparameters, including batch size, n dims att, n dims, learning rate, grad clipnorm, and n epochs. We set smaller dimensions, n dims att, for computation in the attention module, as it uses more edges than the message passing uses in AGNN, and also intuitively, it does not need to propagate high-dimensional messages but only compute scalar scores over a sampled neighborhood, in concert with the idea in the key-value mechanism (Bengio, 2017) . We set n epochs = 1 in most cases, indicating that our model can be trained well by one epoch only due to its fast convergence. • The hyperparameters in charge of the sampling-attending horizon, including max sampling per step that controls the maximum number to sample edges per step in IGNN, and max sampling per node, max attending from per step and max attending to per step that control the maximum number to sample neighbors of each selected node per step per input, the maximum number of selected nodes for attending-from per step per input, and the maximum number of selected nodes in a sampled neighborhood for attending-to per step per input in AGNN. • The hyperparameters in charge of the searching horizon, including n steps in IGNN representing the number of propagation steps to run standard message passing in IGNN, and n steps in AGNN representing the number of propagation steps to run pruned message passing in AGNN.

Note that we tune these hyperparameters according to not only their performances but also the computation resources available to us. In some cases, to deal with a very large knowledge graph with limited resources, we need to make a trade-off between efficiency and effectiveness. For example, each of NELL995's single-query-relation tasks has a small training set, though still with a large graph, so we can reduce the batch size in favor of affording larger dimensions and a larger samplingattending horizon without any concern for waiting too long to finish one epoch.

9. MORE EXPERIMENTAL RESULTS:

Table 4 : Comparison results on the FB15K and WN18 datasets. Results of [♠] are taken from (Nickel et al., 2016) , [♣] from (Dettmers et al., 2018) , [♦] from (Sun et al., 2018) , [♥] from (Yang et al., 2017) , and [ ] from (Lacroix et al., 2018) . Our results take the form of "mean (std)". (Lacroix et al., 2018) , and [ ] from (Lacroix et al., 2018) .

FB15K WN18 Metric (%) H@1 H@3 H@10 MRR H@1 H@3 H@

YAGO3-10 Metric (%):

H@1 H@3 H@10 MRR DistMult [ We take our baselines' results from (Shen et al., 2018) . No reports found on the last two in the paper. H@1 H@3 H@10 MMR H@1 H@3 H@10 MMR 25 In the case shown in Figure 9 , the query is (concept personnorthamerica michael turner, concept:athleteplays-forteam, ?) and a true answer is concept sportsteam falcons. From Figure 9 , we can see our model learns that (concept personnorthamerica michael turner, concept:athletehomestadium, concept stadiumoreventvenue georgia dome) and (concept stadiumoreventvenue georgia dome, concept:teamhomestadium inv, concept sportsteam falcons) are two important facts to support the answer of concept sportsteam falcons. Besides, other facts, such as (concept athlete joey harrington, concept:athletehomestadium, concept stadiumoreventvenue georgia dome) and (concept athletejoey harrington, concept:athleteplaysforteam, concept sportsteam falcons), provide a vivid example that a person or an athlete with concept stadiumoreventvenue georgia dome as his or her home stadium might play for the team concept sportsteam falcons. We have such examples more than one, like concept athlete roddy white's and concept athlete quarterback matt ryan's. The entity con-cept sportsleague nfl cannot help us differentiate the true answer from other NFL teams, but it can at least exclude those non-NFL teams. In a word, our subgraph-structured representation can well capture the relational and compositional reasoning pattern. The head is concept athlete eli manning, the query relation is concept:athletehomestadium, and the tail is concept stadiumoreventvenue giants stadium. The left is a full subgraph derived with max attending from per step=20, and the right is a further pruned subgraph from the left based on attention. The big yellow node represents the head, and the big red node represents the tail. Color on the rest indicates attention scores over a T -step reasoning process, where grey means less attention, yellow means more attention gained during early steps, and red means gaining more attention when getting closer to the final step.

For the AthleteHomeStadium task:

Query : ( c o n c e p t a t h l e t e e l i m a n n i n g , concept : athletehomestadium , c o n c e p t s t a d i u m o r e v e n t v e n u e g i a n t s s t a d i u m )

S e l e c t e d key edges : c o n c e p t a t h l e t e e l i m a n n i n g , concept : p e r s o n b e l o n g s t o o r g a n i z a t i o n , c o n c e p t s p o r t s t e a m n e w y o r k g i a n t s c o n c e p t a t h l e t e e l i m a n n i n g , concept : a t h l e t e p l a y s f o r t e a m , c o n c e p t s p o r t s t e a m n e w y o r k g i a n t s c o n c e p t a t h l e t e e l i m a n n i n g , concept : a t h l e t e l e d s p o r t s t e a m , c o n c e p t s p o r t s t e a m n e w y o r k g i a n t s c o n c e p t a t h l e t e e l i m a n n i n g , concept : a t h l e t e p l a y s i n l e a g u e , c o n c e p t s p o r t s l e a g u e n f l c o n c e p t a t h l e t e e l i m a n n i n g , concept : f a t h e r o f p e r s o n i n v , c o n c e p t m a l e a r c h i e m a n n i n g c o n c e p t s p o r t s t e a m n e w y o r k g i a n t s , concept : teamplaysinleague , c o n c e p t s p o r t s l e a g u e n f l c o n c e p t s p o r t s t e a m n e w y o r k g i a n t s , concept : teamhomestadium , c o n c e p t s t a d i u m o r e v e n t v e n u e g i a n t s s t a d i u m c o n c e p t s p o r t s t e a m n e w y o r k g i a n t s , concept : p e r s o n b e l o n g s t o o r g a n i z a t i o n i n v , c o n c e p t a t h l e t e e l i m a n n i n g c o n c e p t s p o r t s t e a:

m n e w y o r k g i a n t s , concept : a t h l e t e p l a y s f o r t e a m i n v , c o n c e p t a t h l e t e e l i m a n n i n g c o n c e p t s p o r t s t e a m n e w y o r k g i a n t s , concept : a t h l e t e l e d s p o r t s t e a m i n v , c o n c e p t a t h l e t e e l i m a n n i n g c o n c e p t s p o r t s l e a g u e n f l , concept : t e a m p l a y s i n l e a g u e i n v , c o n c e p t s p o r t s t e a m n e w y o r k g i a n t s c o n c e p t s p o r t s l e a g u e n f l , concept : agentcompeteswithagent , c o n c e p t s p o r t s l e a g u e n f l c o n c e p t s p o r t s l e a g u e n f l , concept : a g e n t c o m p e t e s w i t h a g e n t i n v , c o n c e p t s p o r t s l e a g u e n f l c o n c e p t s p o r t s l e a g u e n f l , concept : leaguestadiums , c o n c e p t s t a d i u m o r e v e n t v e n u e g i a n t s s t a d i u m c o n c e p t s p o r t s l e a g u e n f l , concept : a t h l e t e p l a y s i n l e a g u e i n v , c o n c e p t a t h l e t e e l i m a n n i n g conce p t m al e a r ch i e m a nn i n g The head is concept scientist balmer, the query relation is concept:worksfor, and the tail is concept university microsoft. The left is a full subgraph derived with max attending from per step=20, and the right is a further pruned subgraph from the left based on attention. The big yellow node represents the head, and the big red node represents the tail. Color on the rest indicates attention scores over a T -step reasoning process, where grey means less attention, yellow means more attention gained during early steps, and red means gaining more attention when getting closer to the final step. 

For the WorksFor task:



:

We assume per-example per-edge per-dimension time cost as a unit time.

v ,r,v ,: at step τ . The computation components include:

In practice, we can use a smaller set of edges than E G t (x) to pass messages as discussed in Section

3.2

https://github.com/anonymousauthor123/DPMPN

Figures and Tables:

by

(a) The AthletePlaysForTeam task.(b) The OrganizationHiredPerson task.

Figure 1: Subgraph visualization on two examples from NELL995's test data. Each task has ten thousands of nodes and edges. The big yellow represents a given head and the big red represents a predicted tail. Color indicates attention gained along T -step reasoning. Yellow means more attention during early steps while red means more attention at the end. Grey means less attention.

Figure 2: Model architecture used in knowledge graph reasoning.

Figure 3: Iterative attending-sampling-attending procedure balancing coverage and complexity.

Figure 4: Experimental analysis on WN18RR. (A) Convergence analysis: we pick six model snapshots during training and evaluate them on test. (B) IGNN component analysis: w/o IGNN uses zero step to run message passing, while with IGNN uses two; (C)-(F) Sampling, attending-to, attendingfrom and searching horizon analysis. The charts on FB15K-237 can be found in the appendix.

Figure 5: Analysis of attention flow on NELL995 tasks. (A) The average entropy of attention distributions changing along steps for each single-query-relation KBC task. (B)(C)(D) The changing of the proportion of attention concentrated at the top-1,3,5 nodes per step for each task.

Figure 7: Experimental analysis on FB15K-237. (A) Convergence analysis: we pick six model snapshots at time points of 0.3, 0.5, 0.7, 1, 2, and 3 epochs during training and evaluate them on test; (B) IGNN component analysis: w/o IGNN uses zero step to run message passing, while with IGNN uses two steps; (C)-(F) Sampling, attending-to, attending-from and searching horizon analysis.

Figure9: AthletePlaysForTeam. The head is concept personnorthamerica michael turner, the query relation is concept:athleteplaysforteam, and the tail is concept sportsteam falcons. The left is a full subgraph derived with max attending from per step=20, and the right is a further pruned subgraph from the left based on attention. The big yellow node represents the head, and the big red node represents the tail. Color on the rest indicates attention scores over a T -step reasoning process, where grey means less attention, yellow means more attention gained during early steps, and red means gaining more attention when getting closer to the final step.For the AthletePlaysForTeam taskQuery : ( c o n c e p t p e r s o n n o r t h a m e r i c a m i c h a e l t u r n e r , concept : a t h l e t e p l a y s f o r t e a m , c o n c e p t s p o r t s t e a m f a l c o n s ) S e l e c t e d key edges : c o n c e p t p e r s o n n o r t h a m e r i c a m i c h a e l t u r n e r , concept : a g e n t b e l o n g s t o o r g a n i z a t i o n , c o n c e p t s p o r t s l e a g u e n f l c o n c e p t p e r s o n n o r t h a m e r i c a m i c h a e l t u r n e r , concept : athletehomestadium , concept stadiumoreventvenue georgia dome c o n c e p t s p o r t s l e a g u e n f l , concept : agentcompeteswithagent , c o n c e p t s p o r t s l e a g u e n f l c o n c e p t s p o r t s l e a g u e n f l , concept : a g e n t c o m p e t e s w i t h a g e n t i n v , c o n c e p t s p o r t s l e a g u e n f l c o n c e p t s p o r t s l e a g u e n f l , concept : t e a m p l a y s i n l e a g u e i n v , c o n c e p t s p o r t s t e a m s d c h a r g e r s c o n c e p t s p o r t s l e a g u e n f l , concept : leaguestadiums , concept stadiumoreventvenue georgia dome c o n c e p t s p o r t s l e a g u e n f l , concept : t e a m p l a y s i n l e a g u e i n v , c o n c e p t s p o r t s t e a m f a l c o n s c o n c e p t s p o r t s l e a g u e n f l , concept : a g e n t b e l o n g s t o o r g a n i z a t i o n i n v , c o n c e p t p e r s o n n o r t h a m e r i c a m i c h a e l t u r n e r concept stadiumoreventvenue georgia dome , concept : l e a g u e s t a d i u m s i n v , c o n c e p t s p o r t s l e a g u e n f l concept stadiumoreventvenue georgia dome , concept : teamhomestadium inv , c o n c e p t s p o r t s t e a m f a l c o n s concept stadiumoreventvenue georgia dome , concept : a t h l e t e h o m e s t a d i u m i n v , c o n c e p t a t h l e t e j o e y h a r r i n g t o n concept stadiumoreventvenue georgia dome , concept : a t h l e t e h o m e s t a d i u m i n v , c o n c e p t a t h l e t e r o d d y w h i t e concept stadiumoreventvenue georgia dome , concept : a t h l e t e h o m e s t a d i u m i n v , c o n c e p t c o a c h d e a n g e l o h a l l concept stadiumoreventvenue georgia dome , concept : a t h l e t e h o m e s t a d i u m i n v , c o n c e p t p e r s o n n o r t h a m e r i c a m i c h a e l t u r n e r c o n c e p t s p o r t s l e a g u e n f l , concept : s u b p a r t o f o r g a n i z a t i o n i n v , c o n c e p t s p o r t s t e a m o a k l a n d r a i d e r s c o n c e p t s p o r t s t e a m s d c h a r g e r s , concept : teamplaysinleague , c o n c e p t s p o r t s l e a g u e n f l c o n c e p t s p o r t s t e a m s d c h a r g e r s , concept : teamplaysagainstteam , c o n c e p t s p o r t s t e a m f a l c o n s c o n c e p t s p o r t s t e a m s d c h a r g e r s , concept : t e a m p l a y s a g a i n s t t e a m i n v , c o n c e p t s p o r t s t e a m f a l c o n s c o n c e p t s p o r t s t e a m s d c h a r g e r s , concept : teamplaysagainstteam , c o n c e p t s p o r t s t e a m o a k l a n d r a i d e r s c o n c e p t s p o r t s t e a m s d c h a r g e r s , concept : t e a m p l a y s a g a i n s t t e a m i n v , c o n c e p t s p o r t s t e a m o a k l a n d r a i d e r s c o n c e p t s p o r t s t e a m f a l c o n s , concept : teamplaysinleague , c o n c e p t s p o r t s l e a g u e n f l c o n c e p t s p o r t s t e a m f a l c o n s , concept : teamplaysagainstteam , c o n c e p t s p o r t s t e a m s d c h a r g e r s c o n c e p t s p o r t s t e a m f a l c o n s , concept : t e a m p l a y s a g a i n s t t e a m i n v , c o n c e p t s p o r t s t e a m s d c h a r g e r s c o n c e p t s p o r t s t e a m f a l c o n s , concept : teamhomestadium , concept stadiumoreventvenue georgia dome c o n c e p t s p o r t s t e a m f a l c o n s , concept : teamplaysagainstteam , c o n c e p t s p o r t s t e a m o a k l a n d r a i d e r s c o n c e p t s p o r t s t e a m f a l c o n s , concept : t e a m p l a y s a g a i n s t t e a m i n v , c o n c e p t s p o r t s t e a m o a k l a n d r a i d e r s c o n c e p t s p o r t s t e a m f a l c o n s , concept : a t h l e t e l e d s p o r t s t e a m i n v , c o n c e p t a t h l e t e j o e y h a r r i n g t o n c o n c e p t a t h l e t e j o e y h a r r i n g t o n , concept : athletehomestadium , concept stadiumoreventvenue georgia dome c o n c e p t a t h l e t e j o e y h a r r i n g t o n , concept : a t h l e t e l e d s p o r t s t e a m , c o n c e p t s p o r t s t e a m f a l c o n s c o n c e p t a t h l e t e j o e y h a r r i n g t o n , concept : a t h l e t e p l a y s f o r t e a m , c o n c e p t s p o r t s t e a m f a l c o n s c o n c e p t a t h l e t e r o d d y w h i t e , concept : athletehomestadium , concept stadiumoreventvenue georgia dome c o n c e p t a t h l e t e r o d d y w h i t e , concept : a t h l e t e p l a y s f o r t e a m , c o n c e p t s p o r t s t e a m f a l c o n s c o n c e p t c o a c h d e a n g e l o h a l l , concept : athletehomestadium , concept stadiumoreventvenue georgia dome

Figure12: AthletePlaysSport. The head is concept athlete vernon wells, the query relation is concept:athleteplayssport, and the tail is concept sport baseball. The left is a full subgraph derived with max attending from per step=20, and the right is a further pruned subgraph from the left based on attention. The big yellow node represents the head, and the big red node represents the tail. Color on the rest indicates attention scores over a T -step reasoning process, where grey means less attention, yellow means more attention gained during early steps, and red means gaining more attention when getting closer to the final step.

Figure13: TeamPlaysSport. The head is concept sportsteam red wings, the query relation is concept:teamplayssport, and the tail is concept sport hockey. The left is a full subgraph derived with max attending from per step=20, and the right is a further pruned subgraph from the left based on attention. The big yellow node represents the head, and the big red node represents the tail. Color on the rest indicates attention scores over a T -step reasoning process, where grey means less attention, yellow means more attention gained during early steps, and red means gaining more attention when getting closer to the final step.

Figure16: PersonBornInLocation. The head is concept person mark001, the query relation is concept:personborninlocation, and the tail is concept county york city. The left is a full subgraph derived with max attending from per step=20, and the right is a further pruned subgraph from the left based on attention. The big yellow node represents the head, and the big red node represents the tail. Color on the rest indicates attention scores over a T -step reasoning process, where grey means less attention, yellow means more attention gained during early steps, and red means gaining more attention when getting closer to the final step.

Statistics of the six KG datasets. PME (tr) means the proportion of multi-edge triples in train; PME (va) means the proportion of multi-edge triples in validation; AL (va) means the average length of shortest paths connecting each head-tail pair in validation.

Table content: <table><tr><td>Dataset</td><td colspan="2">#Entities #Rels</td><td>#Train</td><td>#Valid</td><td>#Test</td><td colspan="3">PME (tr) PME (va) AL (va)</td></tr><tr><td>FB15K</td><td>14,951</td><td>1,345</td><td>483,142</td><td colspan="2">50,000 59,071</td><td>81.2%</td><td>80.6%</td><td>1.22</td></tr><tr><td>FB15K-237</td><td>14,541</td><td>237</td><td>272,115</td><td colspan="2">17,535 20,466</td><td>38.0%</td><td>0%</td><td>2.25</td></tr><tr><td>WN18</td><td>40,943</td><td>18</td><td>141,442</td><td>5,000</td><td>5,000</td><td>93.1%</td><td>94.0%</td><td>1.18</td></tr><tr><td>WN18RR</td><td>40,943</td><td>11</td><td>86,835</td><td>3,034</td><td>3,134</td><td>34.5%</td><td>35.5%</td><td>2.84</td></tr><tr><td>NELL995</td><td>74,536</td><td>200</td><td>149,678</td><td>543</td><td>2,818</td><td>100%</td><td>31.1%</td><td>2.00</td></tr><tr><td>YAGO3-10</td><td>123,188</td><td>37</td><td>1,079,040</td><td>5,000</td><td>5,000</td><td>56.4%</td><td>56.0%</td><td>1.75</td></tr></table>

Comparison results on the FB15K-237 and WN18RR datasets. Results of [♠] are taken from (Nguyen et al., 2018), [♣] from

Table content: <table/>

Our standard hyperparameter settings we use for each dataset plus their one-epoch training time. For experimental analysis, we only adjust one hyperparameter and keep the remaining fixed as the standard setting. For NELL995, the one-epoch training time means the average time cost of the 12 single-query-relation tasks.

Table content: <table><tr><td>Hyperparameter</td><td colspan="6">FB15K-237 FB15K WN18RR WN18 YAGO3-10 NELL995</td></tr><tr><td>batch size</td><td>80</td><td>80</td><td>100</td><td>100</td><td>100</td><td>10</td></tr><tr><td>n dims att</td><td>50</td><td>50</td><td>50</td><td>50</td><td>50</td><td>200</td></tr><tr><td>n dims</td><td>100</td><td>100</td><td>100</td><td>100</td><td>100</td><td>200</td></tr><tr><td>max sampling per step (in IGNN)</td><td>10000</td><td>10000</td><td>10000</td><td>10000</td><td>10000</td><td>10000</td></tr><tr><td>max attending from per step</td><td>20</td><td>20</td><td>20</td><td>20</td><td>20</td><td>100</td></tr><tr><td>max sampling per node (in AGNN)</td><td>200</td><td>200</td><td>200</td><td>200</td><td>200</td><td>1000</td></tr><tr><td>max attending to per step</td><td>200</td><td>200</td><td>200</td><td>200</td><td>200</td><td>1000</td></tr><tr><td>n steps in IGNN</td><td>2</td><td>1</td><td>2</td><td>1</td><td>1</td><td>1</td></tr><tr><td>n steps in AGNN</td><td>6</td><td>6</td><td>8</td><td>8</td><td>6</td><td>5</td></tr><tr><td>learning rate</td><td>0.001</td><td>0.001</td><td>0.001</td><td>0.001</td><td>0.0001</td><td>0.001</td></tr><tr><td>optimizer</td><td>Adam</td><td>Adam</td><td>Adam</td><td>Adam</td><td>Adam</td><td>Adam</td></tr><tr><td>grad clipnorm</td><td>1</td><td>1</td><td>1</td><td>1</td><td>1</td><td>1</td></tr><tr><td>n epochs</td><td>1</td><td>1</td><td>1</td><td>1</td><td>1</td><td>3</td></tr><tr><td>One-epoch training time (h)</td><td>25.7</td><td>63.7</td><td>4.3</td><td>8.5</td><td>185.0</td><td>0.12</td></tr></table>



Table content: <table/>



Table content: <table><tr><td>♠]</td><td>24</td><td>38</td><td>54</td><td>34</td></tr><tr><td>ComplEx [♠]</td><td>26</td><td>40</td><td>55</td><td>36</td></tr><tr><td>ConvE [♠]</td><td>35</td><td>49</td><td>62</td><td>44</td></tr><tr><td>ComplEx-N3 [ ]</td><td>-</td><td>-</td><td>71</td><td>58</td></tr><tr><td>DPMPN</td><td colspan="2">48.4 59.5</td><td>67.9</td><td>55.3</td></tr></table>

Peer review (iclr2020):
# Update after the rebuttal. Thanks for reflecting some of my comments in the revision. The presentation seems to be improved, and the additional ablation study seems to address my concerns. # Summary This paper proposes a new neural network architecture for sequential reasoning task. The idea is to have two graph neural networks (GNNs), where one performs input-invariant global message passing, while the other performs input-dependent message passing locally. The input-dependent GNN employs a flow-style attention mechanism. The results on several knowledge completion datasets show that the proposed method outperforms the state-of-the-art methods. # Originality - The idea of learning an input-dependent subgraph using GNN seems new. - The proposed way to reduce the complexity by restricting the attention horizon sounds interesting and seems necessary for scaling up. # Quality - The overall architecture looks like a fairly complicated combination of neural networks (two GNNs with attentive mechanism). However, it is not entirely clear how much each component contributes to the performance. The experiment only shows the benefit of having IGNN. - The effect of the proposed complexity reduction technique is not studied in the experiment. - The empirical results are hard to parse, as they contain too much dataset-specific results that are not clearly explain the paper. # Clarity - The paper is too dense with unnecessary details. For example, the introduction is too long (2.5 pages). The problem formulation contains too much details that deviate from the actual problem formulation. The details of each dataset (Table 1) and experimental setup can be moved to the appendix. - Many figures in each experiment contain too small texts with lots of unexplained dataset-specific legends. # Significance - Although this paper proposes an interesting neural architecture for knowledge completion tasks, it is not clear how much each component contributes to the performance. Also, the empirical results could be presented in a better way to deliver clear conclusions.