Constructing Datasets for Multi-hop Reading Comprehension Across Documents

10/17/2017 ∙ by Johannes Welbl, et al. ∙ UCL 0

Most Reading Comprehension methods limit themselves to queries which can be answered using a single sentence, paragraph, or document. Enabling models to combine disjoint pieces of textual evidence would extend the scope of machine comprehension methods, but currently there exist no resources to train and test this capability. We propose a novel task to encourage the development of models for text understanding across multiple documents and to investigate the limits of existing methods. In our task, a model learns to seek and combine evidence - effectively performing multi-hop (alias multi-step) inference. We devise a methodology to produce datasets for this task, given a collection of query-answer pairs and thematically linked documents. Two datasets from different domains are induced, and we identify potential pitfalls and devise circumvention strategies. We evaluate two previously proposed competitive models and find that one can integrate information across documents. However, both models struggle to select relevant information, as providing documents guaranteed to be relevant greatly improves their performance. While the models outperform several strong baselines, their best accuracy reaches 42.9 to human performance at 74.0

READ FULL TEXT VIEW PDF
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.

1 Introduction

Figure 1: A sample from the WikiHop dataset where it is necessary to combine information spread across multiple documents to infer the correct answer.

Devising computer systems capable of answering questions about knowledge described using text has been a longstanding challenge in Natural Language Processing (NLP). Contemporary end-to-end Reading Comprehension (RC) methods can learn to extract the correct answer span within a given text and approach human-level performance 

[Kadlec et al.2016, Seo et al.2017a]. However, for existing datasets, relevant information is often concentrated locally within a single sentence, emphasizing the role of locating, matching, and aligning information between query and support text. For example, Weissenborn2017fastQA observed that a simple binary word-in-query indicator feature boosted the relative accuracy of a baseline model by 27.9%.

We argue that, in order to further the ability of machine comprehension methods to extract knowledge from text, we must move beyond a scenario where relevant information is coherently and explicitly stated within a single document. Methods with this capability would aid Information Extraction (IE) applications, such as discovering drug-drug interactions  [Gurulingappa et al.2012] by connecting protein interactions reported across different publications. They would also benefit search [Carpineto and Romano2012] and Question Answering (QA) applications [Lin and Pantel2001] where the required information cannot be found in a single location.

Figure 1 shows an example from Wikipedia, where the goal is to identify the country property of the Hanging Gardens of Mumbai. This cannot be inferred solely from the article about them without additional background knowledge, as the answer is not stated explicitly. However, several of the linked articles mention the correct answer India (and other countries), but cover different topics (e.g. Mumbai, Arabian Sea, etc.). Finding the answer requires multi-hop reasoning: figuring out that the Hanging Gardens are located in Mumbai, and then, from a second document, that Mumbai is a city in India.

We define a novel RC task in which a model should learn to answer queries by combining evidence stated across documents. We introduce a methodology to induce datasets for this task and derive two datasets. The first, WikiHop, uses sets of Wikipedia articles where answers to queries about specific properties of an entity cannot be located in the entity’s article. In the second dataset, MedHop, the goal is to establish drug-drug interactions based on scientific findings about drugs and proteins and their interactions, found across multiple Medline abstracts. For both datasets we draw upon existing Knowledge Bases (KBs), Wikidata and DrugBank, as ground truth, utilizing distant supervision [Mintz et al.2009] to induce the data – similar to hewlett2016_wikireading and Joshi_2017_TriviaQA.

We establish that for 74.1% and 68.0% of the samples, the answer can be inferred from the given documents by a human annotator. Still, constructing multi-document datasets is challenging; we encounter and prescribe remedies for several pitfalls associated with their assembly – for example, spurious co-locations of answers and specific documents.

For both datasets we then establish several strong baselines and evaluate the performance of two previously proposed competitive RC models [Seo et al.2017a, Weissenborn et al.2017]. We find that one can integrate information across documents, but neither excels at selecting relevant information from a larger documents set, as their accuracy increases significantly when given only documents guaranteed to be relevant. The best model reaches 54.5% on an annotated test set, compared to human performance at 85.0%, indicating ample room for improvement.

In summary, our key contributions are as follows: Firstly, proposing a cross-document multi-step RC task, as well as a general dataset induction strategy. Secondly, assembling two datasets from different domains and identifying dataset construction pitfalls and remedies. Thirdly, establishing multiple baselines, including two recently proposed RC models, as well as analysing model behaviour in detail through ablation studies.

2 Task and Dataset Construction Method

We will now formally define the multi-hop RC task, and a generic methodology to construct multi-hop RC datasets. Later, in Sections 3 and 4 we will demonstrate how this method is applied in practice by creating datasets for two different domains.

Task Formalization

A model is given a query , a set of supporting documents , and a set of candidate answers – all of which are mentioned in . The goal is to identify the correct answer by drawing on the support documents . Queries could potentially have several true answers when not constrained to rely on a specific set of support documents – e.g., queries about the parent of a certain individual. However, in our setup each sample has only one true answer among and . Note that even though we will utilize background information during dataset assembly, such information will not be available to a model: the document set will be provided in random order and without any metadata. While certainly beneficial, this would distract from our goal of fostering end-to-end RC methods that infer facts by combining separate facts stated in text.

Dataset Assembly

We assume that there exists a document corpus , together with a KB containing fact triples – with subject entity , relation , and object entity . For example, one such fact could be (Hanging_Gardens_of_Mumbai, country, India). We start with individual KB facts and transform them into query-answer pairs by leaving the object slot empty, i.e.  and .

Next, we define a directed bipartite graph, where vertices on one side correspond to documents in , and vertices on the other side are entities from the KB – see Figure 2 for an example. A document node  is connected to an entity if is mentioned in , though there may be further constraints when defining the graph connectivity. For a given pair, the candidates and support documents are identified by traversing the bipartite graph using breadth-first search; the documents visited will become the support documents .

As the traversal starting point, we use the node belonging to the subject entity of the query . As traversal end points, we use the set of all entity nodes that are type-consistent answers to .222 To determine entities which are type-consistent for a query , we consider all entities which are observed as object in a fact with as relation type – including the correct answer. Note that whenever there is another fact in the KB, i.e. a fact producing the same but with a different , we will not include into the set of end points for this sample. This ensures that precisely one of the end points corresponds to a correct answer to .333Here we rely on a closed-world assumption; that is, we assume that the facts in the KB state all true facts.

When traversing the graph starting at , several end points will be visited, though generally not all; those visited define the candidate set . If however the correct answer is not among them we discard the pair. The documents visited to reach the end points will define the support document set . That is, comprises chains of documents leading not only from the query subject to the correct answer, but also to type-consistent false candidates.

With this methodology, relevant textual evidence for will be spread across documents along the chain connecting and – ensuring that multi-hop reasoning goes beyond resolving co-reference within a single document. Note that including other type-consistent candidates alongside as end points in the graph traversal – and thus into the support documents – renders the task considerably more challenging [Jia and Liang2017]. Models could otherwise identify

in the documents by simply relying on type-consistency heuristics. It is worth pointing out that by introducing alternative candidates we counterbalance a type-consistency bias, in contrast to hermann2015teaching and Hill2015CBT who instead rely on entity masking.

Figure 2: A bipartite graph connecting entities and documents mentioning them. Bold edges are those traversed for the first fact in the small KB on the right; yellow highlighting indicates documents in and candidates in . Check and cross indicate correct and false candidates.

3 WikiHop

Wikipedia contains an abundance of human-curated, multi-domain information and has several structured resources such as infoboxes and Wikidata [Vrandečić2012] associated with it. Wikipedia has thus been used for a wealth of research to build datasets posing queries about a single sentence [Morales et al.2016, Levy et al.2017] or article [Yang et al.2015, Hewlett et al.2016, Rajpurkar et al.2016]. However, no attempt has been made to construct a cross-document multi-step RC dataset based on Wikipedia.

A recently proposed RC dataset is WikiReading [Hewlett et al.2016], where Wikidata tuples (item, property, answer) are aligned with the Wikipedia articles regarding their item. The tuples define a slot filling task with the goal of predicting the answer, given an article and property. One problem with using WikiReading as an extractive RC dataset is that 54.4% of the samples do not state the answer explicitly in the given article [Hewlett et al.2016]. However, we observed that some of the articles accessible by following hyperlinks from the given article often state the answer, alongside other plausible candidates.

3.1 Assembly

We now apply the methodology from Section 2 to create a multi-hop dataset with Wikipedia as the document corpus and Wikidata as structured knowledge triples. In this setup, (item, property, answer) Wikidata tuples correspond to triples, and the item and property of each sample together form our query – e.g., (Hanging Gardens of Mumbai, country, ?). Similar to Yang2015_WikiQA we only use the first paragraph of an article, as relevant information is more often stated in the beginning. Starting with all samples in WikiReading, we first remove samples where the answer is stated explicitly in the Wikipedia article about the item.444 We thus use a disjoint subset of WikiReading compared to levy2017zeroshot to construct WikiHop.

The bipartite graph is structured as follows: (1) for edges from articles to entities: all articles mentioning an entity are connected to ; (2) for edges from entities to articles: each entity is only connected to the Wikipedia article about the entity. Traversing the graph is then equivalent to iteratively following hyperlinks to new articles about the anchor text entities.

For a given query-answer pair, the item entity is chosen as the starting point for the graph traversal. A traversal will always pass through the article about the item, since this is the only document connected from there. The end point set includes the correct answer alongside other type-consistent candidate expressions, which are determined by considering all facts belonging to WikiReading training samples, selecting those triples with the same property as in and keeping their answer expressions. As an example, for the Wikidata property country, this would be the set . We executed graph traversal up to a maximum chain length of 3 documents. To not pose unreasonable computational constraints, samples with more than 64 different support documents or 100 candidates are removed, discarding 1% of the samples.

3.2 Mitigating Dataset Biases

Dataset creation is always fraught with the risk of inducing unintended errors and biases [Chen et al.2016, Schwartz et al.2017]. As hewlett2016_wikireading only carried out limited analysis of their WikiReading dataset, we present an analysis of the downstream effects we observe on WikiHop.

Candidate Frequency Imbalance

A first observation is that there is a significant bias in the answer distribution of WikiReading. For example, in the majority of the samples the property country has the United States of America as the answer. A simple majority class baseline would thus prove successful, but would tell us little about multi-hop reasoning. To combat this issue, we subsampled the dataset to ensure that samples of any one particular answer candidate make up no more than of the dataset, and omitted articles about the United States.

Document-Answer Correlations

A problem unique to our multi-document setting is the possibility of spurious correlations between candidates and documents induced by the graph traversal method. In fact, if we were not to address this issue, a model designed to exploit these regularities could achieve 74.6% accuracy (detailed in Section 6).

Concretely, we observed that certain documents frequently co-occur with the correct answer, independently of the query. For example, if the article about London is present in , the answer is likely to be the United Kingdom, independent of the query type or entity in question. Appendix C contains a list with several additional examples.

We designed a statistic to measure this effect and then used it to sub-sample the dataset. The statistic counts how often a candidate is observed as the correct answer when a certain document is present in across training set samples. More formally, for a given document and answer candidate , let denote the total count of how often co-occurs with in a sample where is also the correct answer. We use this statistic to filter the dataset, by discarding samples with at least one document-candidate pair for which .

4 MedHop

Following the same general methodology, we next construct a second dataset for the domain of molecular biology – a field that has been undergoing exponential growth in the number of publications [Cohen and Hunter2004]. The promise of applying NLP methods to cope with this increase has led to research efforts in IE [Hirschman et al.2005, Kim et al.2011] and QA for biomedical text [Hersh et al.2007, Nentidis et al.2017]. There are a plethora of manually curated structured resources [Ashburner et al.2000, The UniProt Consortium2017] which can either serve as ground truth or to induce training data using distant supervision [Craven and Kumlien1999, Bobic et al.2012]. Existing RC datasets are either severely limited in size [Hersh et al.2007] or cover a very diverse set of query types [Nentidis et al.2017], complicating the application of neural models that have seen successes for other domains [Wiese et al.2017].

A task that has received significant attention is detecting Drug-Drug Interactions (DDIs). Existing DDI efforts have focused on explicit mentions of interactions in single sentences [Gurulingappa et al.2012, Percha et al.2012, Segura-Bedmar et al.2013]. However, as shown by Peng2017_cross_sentence, cross-sentence relation extraction increases the number of available relations. It is thus likely that cross-document interactions would further improve recall, which is of particular importance considering interactions that are never stated explicitly – but rather need to be inferred from separate pieces of evidence. The promise of multi-hop methods is finding and combining individual observations that can suggest previously unobserved DDIs, aiding the process of making scientific discoveries, yet not directly from experiments, but by inferring them from established public knowledge [Swanson1986].

DDIs are caused by Protein-Protein Interaction (PPI) chains, forming biomedical pathways. If we consider PPI chains across documents, we find examples like in Figure 3. Here the first document states that the drug Leuprolide causes GnRH receptor-induced synaptic potentiations, which can be blocked by the protein Progonadoliberin-1. The last document states that another drug, Triptorelin, is a superagonist of the same protein. It is therefore likely to affect the potency of Leuprolide, describing a way in which the two drugs interact. Besides the true interaction there is also a false candidate Urofollitropin for which, although mentioned together with GnRH receptor within one document, there is no textual evidence indicating interactions with Leuprolide.

Figure 3: A sample from the MedHop dataset.

4.1 Assembly

We construct MedHop using DrugBank [Law et al.2014] as structured knowledge resource and research paper abstracts from Medline as documents. There is only one relation type for DrugBank facts, interacts_with, that connects pairs of drugs – an example of a MedHop query would thus be (Leuprolide, interacts_with, ?). We start by processing the 2016 Medline release using the preprocessing pipeline employed for the BioNLP 2011 Shared Task [Stenetorp et al.2011]. We restrict the set of entities in the bipartite graph to drugs in DrugBank and human proteins in Swiss-Prot [Bairoch et al.2004]. That is, the graph has drugs and proteins on one side, and Medline abstracts on the other.

The edge structure is as follows: (1) There is an edge from a document to all proteins mentioned in it. (2) There is an edge between a document and a drug, if this document also mentions a protein known to be a target for the drug according to DrugBank. This edge is bidirectional, i.e. it can be traversed both ways, since there is no canonical document describing each drug – thus one can “hop” to any document mentioning the drug and its target. (3) There is an edge from a protein to a document mentioning , but only if the document also mentions another protein which is known to interact with according to Reactome [Fabregat et al.2016]. Given our distant supervision assumption, these additionally constraining requirements err on the side of precision.

As a mention, similar to percha2012discovery, we consider any exact match of a name variant of a drug or human protein in DrugBank or Swiss-Prot. For a given DDI (drug, interacts_with, drug), we then select drug as the starting point for the graph traversal. As possible end points, we consider any other drug, apart from drug and those interacting with drug other than drug. Similar to WikiHop, we exclude samples with more than 64 support documents and impose a maximum document length of 300 tokens plus title.

Document Sub-sampling

The bipartite graph for MedHop is orders of magnitude more densely connected than for WikiHop. This can lead to potentially large support document sets , to a degree where it becomes computationally infeasible for a majority of existing RC models. After the traversal has finished, we subsample documents by first adding a set of documents that connects the drug in the query with its answer. We then iteratively add documents to connect alternative candidates until we reach the limit of 64 documents – while ensuring that all candidates have the same number of paths through the bipartite graph.

Mitigating Candidate Frequency Imbalance

Some drugs interact with more drugs than others – Aspirin for example interacts with 743 other drugs, but Isotretinoin with only 34. This leads to similar candidate frequency imbalance issues as with WikiHop – but due to its smaller size MedHop is difficult to sub-sample. Nevertheless we can successfully combat this issue by masking entity names, detailed in Section 6.2.

5 Dataset Analysis

Table 1 shows the dataset sizes. Note that WikiHop inherits the train, development, and test set splits from WikiReading – i.e., the full dataset creation, filtering, and sub-sampling pipeline is executed on each set individually. Also note that sub-sampling according to document-answer correlation significantly reduces the size of WikiHop from K training samples to K. While in terms of samples, both WikiHop and MedHop are smaller than other large-scale RC datasets, such as SQuAD and WikiReading

, the supervised learning signal available per sample is arguably greater. One could, for example, re-frame the task as binary path classification: given two entities and a document path connecting them, determine whether a given relation holds. For such a case,

WikiHop and MedHop

would have more than 1M and 150K paths to be classified, respectively. Instead, in our formulation, this corresponds to each single sample containing the supervised learning signal from an average of 19.5 and 59.8 unique document paths.

Train Dev Test Total
WikiHop 43,738 5,129 2,451 51,318
MedHop 1,620 342 546 2,508
Table 1: Dataset sizes for our respective datasets.
min max avg median
# cand. – WH 2 79 19.8 14
# docs. – WH 3 63 13.7 11
# tok/doc – WH 4 2,046 100.4 91
# cand. – MH 2 9 8.9 9
# docs. – MH 5 64 36.4 29
# tok/doc – MH 5 458 253.9 264
Table 2: Candidates and documents per sample and document length statistics. WH: WikiHop; MH: MedHop.

Table 2 shows statistics on the number of candidates and documents per sample on the respective training sets. For MedHop, the majority of samples have 9 candidates, due to the way documents are selected up until a maximum of 64 documents is reached. Few samples have less than 9 candidates, and samples would have far more false candidates if more than 64 support documents were included. The number of query types in WikiHop is 277, whereas in MedHop there is only one: interacts_with.

5.1 Qualitative Analysis

To establish the quality of the data and analyze potential distant supervision errors, we sampled and annotated 100 samples from each development set.

WikiHop

Table 3 lists characteristics along with the proportion of samples that exhibit them. For 45%, the true answer either uniquely follows from multiple texts directly or is suggested as likely. For 26%, more than one candidate is plausibly supported by the documents, including the correct answer. This is often due to hypernymy, where the appropriate level of granularity for the answer is difficult to predict – e.g. (west suffolk, administrative_entity, ?) with candidates suffolk and england. This is a direct consequence of including type-consistent false answer candidates from Wikidata, which can lead to questions with several true answers. For 9% of the cases a single document suffices; these samples contain a document that states enough information about item and answer together. For example, the query (Louis Auguste, father, ?) has the correct answer Louis XIV of France, and French king Louis XIV is mentioned within the same document as Louis Auguste. Finally, although our task is significantly more complex than most previous tasks where distant supervision has been applied, the distant supervision assumption is only violated for 20% of the samples – a proportion similar to previous work [Riedel et al.2010]. These cases can either be due to conflicting information between Wikidata and Wikipedia (8%), e.g. when the date of birth for a person differs between Wikidata and what is stated in the Wikipedia article, or because the answer is consistent but cannot be inferred from the support documents (12%). When answering 100 questions, the annotator knew the answer prior to reading the documents for 9%, and produced the correct answer after reading the document sets for 74% of the cases. On 100 questions of a validated portion of the Dev set (see Section 5.3), 85% accuracy was reached.

MedHop

Since both document complexity and number of documents per sample were significantly larger compared to WikiHop, (see Figure 4 in Appendix B) it was not feasible to ask an annotator to read all support documents for 100 samples. We opted to verify the dataset quality by providing only the subset of documents relevant to support the correct answer, i.e., those traversed along the path reaching the answer. The annotator was asked if the answer to the query “follows”, “is likely”, or “does not follow”, given the relevant documents. 68% of the cases were considered as “follows” or as “is likely”. The majority of cases violating the distant supervision assumption were due to lacking a necessary PPI in one of the connecting documents.

Unique multi-step answer. 36%
Likely multi-step unique answer. 9%
Multiple plausible answers. 15%
Ambiguity due to hypernymy. 11%
Only single document required. 9%
Answer does not follow. 12%
Wikidata/Wikipedia discrepancy. 8%
Table 3: Qualitiative analysis of WikiHop samples.

5.2 Crowdsourced Human Annotation

We asked human annotators on Amazon Mechanical Turk to evaluate samples of the WikiHop development set. Similar to our qualitative analysis of MedHop, annotators were shown the query-answer pair as a fact and the chain of relevant documents leading to the answer. They were then instructed to answer (1) whether they knew the fact before; (2) whether the fact follows from the texts (with options “fact follows”, “fact is likely”, and “fact does not follow”); and (3); whether a single or several of the documents are required. Each sample was shown to three annotators and a majority vote was used to aggregate the annotations. Annotators were familiar with the fact 4.6% of the time; prior knowledge of the fact is thus not likely to be a confounding effect on the other judgments. Inter-annotator agreement as measured by Fleiss’ kappa is 0.253 in (2), and 0.281 in (3) – indicating a fair overall agreement, according to landis1977measurement. Overall, 9.5% of samples have no clear majority in (2).

Among samples with a majority judgment, 59.8% are cases where the fact “follows”, for 14.2% the fact is judged as “likely”, and as “not follow” for 25.9%. This again provides good justification for the distant supervision strategy.

Among the samples with a majority vote for (2) of either “follows” or “likely”, 55.9% were marked with a majority vote as requiring multiple documents to infer the fact, and 44.1% as requiring only a single document. The latter number is larger than initially expected, given the construction of samples through graph traversal. However, when inspecting cases judged as “single” more closely, we observed that many indeed provide a clear hint about the correct answer within one document, but without stating it explicitly. For example, for the fact (witold cichy, country_of_citizenship, poland) with documents : Witold Cichy (born March 15, 1986 in Wodzisław Śląski) is a Polish footballer[…] and : Wodzisław Śląski[…] is a town in Silesian Voivodeship, southern Poland[…], the information provided in suffices for a human given the background knowledge that Polish is an attribute related to Poland, removing the need for to infer the answer.

5.3 Validated Test Sets

While training models on distantly supervised data is useful, one should ideally evaluate methods on a manually validated test set. We thus identified subsets of the respective test sets for which the correct answer can be inferred from the text. This is in contrast to prior work such as hermann2015teaching, Hill2015CBT, and hewlett2016_wikireading, who evaluate only on distantly supervised samples. For WikiHop, we applied the same annotation strategy as described in Section 5.2. The validated test set consists of those samples labeled by a majority of annotators (at least 2 of 3) as “follows”, and requiring “multiple” documents. While desirable, crowdsourcing is not feasible for MedHop since it requires specialist knowledge. In addition, the number of document paths is 3x larger, which along with the complexity of the documents greatly increases the annotation time. We thus manually annotated 20% of the MedHop test set and identified the samples for which the text implies the correct answer and where multiple documents are required.

6 Experiments

This section describes experiments on WikiHop and MedHop with the goal of establishing the performance of several baseline models, including recent neural RC models. We empirically demonstrate the importance of mitigating dataset biases, probe whether multi-step behavior is beneficial for solving the task, and investigate if RC models can learn to perform lexical abstraction. Training will be conducted on the respective training sets, and evaluation on both the full test set and validated portion (Section 5.3) allowing for a comparison between the two.

6.1 Models

Random

Selects a random candidate; note that the number of candidates differs between samples.

Max-mention

Predicts the most frequently mentioned candidate in the support documents of a sample – randomly breaking ties.

Majority-candidate-per-query-type

Predicts the candidate that was most frequently observed as the true answer in the training set, given the query type of . For WikiHop, the query type is the property of the query; for MedHop there is only the single query type – interacts_with.

Tf-Idf

Retrieval-based models are known to be strong QA baselines if candidate answers are provided [Clark et al.2016, Welbl et al.2017]. They search for individual documents based on keywords in the question, but typically do not combine information across documents. The purpose of this baseline is to see if it is possible to identify the correct answer from a single document alone through lexical correlations. The model forms its prediction as follows: For each candidate , the concatenation of the query with is fed as an OR query into the whoosh text retrieval engine.555 https://pypi.python.org/pypi/Whoosh/ It then predicts the candidate with the highest TF-IDF similarity score:

(1)

Document-cue

During dataset construction we observed that certain document-answer pairs appear more frequently than others, to the effect that the correct candidate is often indicated solely by the presence of certain documents in . This baseline captures how easy it is for a model to exploit these informative document-answer co-occurrences. It predicts the candidate with highest score across :

(2)

Extractive RC models: FastQA and BiDAF

In our experiments we evaluate two recently proposed LSTM-based extractive QA models: the Bidirectional Attention Flow model (BiDAF, Seo2016BidAF), and FastQA [Weissenborn et al.2017], which have shown a robust performance across several datasets. These models predict an answer span within a single document. We adapt them to a multi-document setting by sequentially concatenating all in random order into a superdocument, adding document separator tokens. During training, the first answer mention in the concatenated document serves as the gold span.666 We also tested assigning the gold span randomly to any one of the mention of the answer, with insignificant changes. At test time, we measured accuracy based on the exact match between the prediction and answer, both lowercased, after removing articles, trailing white spaces and punctuation, in the same way as Rajpurkar2016_SQUAD. To rule out any signal stemming from the order of documents in the superdocument, this order is randomized both at training and test time. In a preliminary experiment we also trained models using different random document order permutations, but found that performance did not change significantly.

For BiDAF

, the default hyperparameters from the implementation of Seo2016BidAF are used, with pretrained GloVe 

[Pennington et al.2014] embeddings. However, we restrict the maximum document length to 8,192 tokens and hidden size to 20, and train for 5,000 iterations with batchsize 16 in order to fit the model into memory.777 The superdocument has a larger number of tokens compared to e.g. SQuAD, thus the additional memory requirements. For FastQA

we use the implementation provided by the authors, also with pre-trained GloVe embeddings, no character-embeddings, no maximum support length, hidden size 50, and batch size 64 for 50 epochs.

While BiDAF and FastQA were initially developed and tested on single-hop RC datasets, their usage of bidirectional LSTMs and attention over the full sequence theoretically gives them the capacity to integrate information from different locations in the (super-)document. In addition, BiDAF employs iterative conditioning across multiple layers, potentially making it even better suited to integrate information found across the sequence.

6.2 Lexical Abstraction: Candidate Masking

The presence of lexical regularities among answers is a problem in RC dataset assembly – a phenomenon already observed by hermann2015teaching. When comprehending a text, the correct answer should become clear from its context – rather than from an intrinsic property of the answer expression. To evaluate the ability of models to rely on context alone, we created masked versions of the datasets: we replace any candidate expression randomly using 100 unique placeholder tokens, e.g. “Mumbai is the most populous city in MASK7.” Masking is consistent within one sample, but generally different for the same expression across samples. This not only removes answer frequency cues, it also removes statistical correlations between frequent answer strings and support documents. Models consequently cannot base their prediction on intrinsic properties of the answer expression, but have to rely on the context surrounding the mentions.

Model Unfiltered Filtered
Document-cue 74.6 36.7
Maj. candidate 41.2 38.8
TF-IDF 43.8 25.6
Train set size 527,773 43,738
Table 4: Accuracy comparison for simple baseline models on WikiHop before and after filtering.
WikiHop MedHop
standard masked standard masked
Model test test* test test* test test* test test*
Random 11.5 12.2 12.2 13.0 13.9 20.4 14.1 22.4
Max-mention 10.6 15.9 13.9 20.1 9.5 16.3 9.2 16.3
Majority-candidate-per-query-type 38.8 44.2 12.0 13.7 58.4 67.3 10.4 6.1
TF-IDF 25.6 36.7 14.4 24.2 9.0 14.3 8.8 14.3
Document-cue 36.7 41.7 7.4 20.3 44.9 53.1 15.2 16.3
FastQA 25.7 27.2 35.8 38.0 23.1 24.5 31.3 30.6
BiDAF 42.9 49.7 54.5 59.8 47.8 61.2 33.7 42.9

Table 5: Test accuracies for the WikiHop and MedHop datasets, both in standard (unmasked) and masked setup. Columns marked with asterisk are for the validated portion of the dataset.
WikiHop MedHop
standard gold chain standard gold chain
Model test test* test test* test test* test test*
BiDAF 42.9 49.7 57.9 63.4 47.8 61.2 86.4 89.8
BiDAF mask 54.5 59.8 81.2 85.7 33.7 42.9 99.3 100.0
FastQA 25.7 27.2 44.5 53.5 23.1 24.5 54.6 59.2
FastQA mask 35.8 38.0 65.3 70.0 31.3 30.6 51.8 55.1
Table 6: Test accuracy comparison when only using documents leading to the correct answer (gold chain). Columns with asterisk hold results for the validated samples.

6.3 Results and Discussion

Table 5 shows the experimental outcomes for WikiHop and MedHop, together with results for the masked setting; we will first discuss the former. A first observation is that candidate mention frequency does not produce better predictions than a random guess. Predicting the answer most frequently observed at training time achieves strong results: as much as 38.8% / 44.2% and 58.4% / 67.3% on the two datasets, for the full and validated test sets respectively. That is, a simple frequency statistic together with answer type constraints alone is a relatively strong predictor, and the strongest overall for the “unmasked” version of MedHop.

The TF-IDF retrieval baseline clearly performs better than random for WikiHop, but is not very strong overall. That is, the question tokens are helpful to detect relevant documents, but exploiting only this information compares poorly to the other baselines. On the other hand, as no co-mention of an interacting drug pair occurs within any single document in MedHop, the TF-IDF baseline performs worse than random. We conclude that lexical matching with a single support document is not enough to build a strong predictive model for both datasets.

The Document-cue baseline can predict more than a third of the samples correctly, for both datasets, even after sub-sampling frequent document-answer pairs for WikiHop. The relative strength of this and other baselines proves to be an important issue when designing multi-hop datasets, which we addressed through the measures described in Section 3.2. In Table 4 we compare the two relevant baselines on WikiHop before and after applying filtering measures. The absolute strength of these baselines before filtering shows how vital addressing this issue is: 74.6% accuracy could be reached through exploiting the statistic alone. This underlines the paramount importance of investigating and addressing dataset biases that otherwise would confound seemingly strong RC model performance. The relative drop demonstrates that the measures undertaken successfully mitigate the issue. A downside to aggressive filtering is a significantly reduced dataset size, rendering it infeasible for smaller datasets like MedHop.

Among the two neural models, BiDAF is overall strongest across both datasets – this is in contrast to the reported results for SQuAD where their performance is nearly indistinguishable. This is possibly due to the iterative latent interactions in the BiDAF architecture: we hypothesize that these are of increased importance for our task, where information is distributed across documents. It is worth emphasizing that unlike the other baselines, both FastQA and BiDAF predict the answer by extracting a span from the support documents without relying on the candidate options .

In the masked setup all baseline models reliant on lexical cues fail in the face of the randomized answer expressions, since the same answer option has different placeholders in different samples. Especially on MedHop, where dataset sub-sampling is not a viable option, masking proves to be a valuable alternative, effectively circumventing spurious statistical correlations that RC models can learn to exploit.

Both neural RC models are able to largely retain or even improve their strong performance when answers are masked: they are able to leverage the textual context of the candidate expressions. To understand differences in model behavior between WikiHop and MedHop, it is worth noting that drug mentions in MedHop are normalized to a unique single-word identifier, and performance drops under masking. In contrast, for the open-domain setting of WikiHop, a reduction of the answer vocabulary to 100 random single-token mask expressions clearly helps the model in selecting a candidate span, compared to the multi-token candidate expressions in the unmasked setting. Overall, although both neural RC models clearly outperform the other baselines, they still have large room for improvement compared to human performance at 74% / 85% for WikiHop.

Comparing results on the full and validated test sets, we observe that the results consistently improve on the validated sets. This suggests that the training set contains the signal necessary to make inference on valid samples at test time, and that noisy samples are harder to predict.

WikiHop MedHop
test test* test test*
BiDAF 54.5 59.8 33.7 42.9
BiDAF rem 44.6 57.7 30.4 36.7
FastQA 35.8 38.0 31.3 30.6
FastQA rem 38.0 41.2 28.6 24.5
Table 7: Test accuracy (masked) when only documents containing answer candidates are given (rem).

6.4 Using only relevant documents

We conducted further experiments to examine the RC models when presented with only the relevant documents in , i.e., the chain of documents leading to the correct answer. This allows us to investigate the hypothetical performance of the models if they were able to select and read only relevant documents: Table 6 summarizes these results. Models improve greatly in this gold chain setup, with up to 81.2% / 85.7% on WikiHop in the masked setting for BiDAF. This demonstrates that RC models are capable of identifying the answer when few or no plausible false candidates are mentioned, which is particularly evident for MedHop, where documents tend to discuss only single drug candidates. In the masked gold chain setup, models can then pick up on what the masking template looks like and achieve almost perfect scores. Conversely, these results also show that the models’ answer selection process is not robust to the introduction of unrelated documents with type-consistent candidates. This indicates that learning to intelligently select relevant documents before RC may be among the most promising directions for future model development.

6.5 Removing relevant documents

To investigate if the neural RC models can draw upon information requiring multi-step inference we designed an experiment where we discard all documents that do not contain candidate mentions, including the first documents traversed. Table 7 shows the results: we can observe that performance drops across the board for BiDAF. There is a significant drop of 3.3%/6.2% on MedHop, and 10.0%/2.1% on WikiHop, demonstrating that BiDAF, is able to leverage cross-document information. FastQA shows a slight increase of 2.2%/3.2% for WikiHop and a decrease of 2.7%/4.1% on MedHop. While inconclusive, it is clear that FastQA with fewer latent interactions than BiDAF has problems integrating cross-document information.

7 Related Work

Related Datasets

End-to-end text-based QA has witnessed a surge in interest with the advent of large-scale datasets, which have been assembled based on Freebase [Berant et al.2013, Bordes et al.2015], Wikipedia [Yang et al.2015, Rajpurkar et al.2016, Hewlett et al.2016], web search queries [Nguyen et al.2016], news articles [Hermann et al.2015, Onishi et al.2016], books [Hill et al.2016, Paperno et al.2016], science exams [Welbl et al.2017], and trivia [Boyd-Graber et al.2012, Dunn et al.2017]. Besides TriviaQA [Joshi et al.2017], all these datasets are confined to single documents, and RC typically does not require a combination of multiple independent facts. In contrast, WikiHop and MedHop are specifically designed for cross-document RC and multi-step inference. There exist other multi-hop RC resources, but they are either very limited in size, such as the FraCaS test suite, or based on synthetic language [Weston et al.2016]. TriviaQA partly involves multi-step reasoning, but the complexity largely stems from parsing compositional questions. Our datasets center around compositional inference from comparatively simple queries and the cross-document setup ensures that multi-step inference goes beyond resolving co-reference.

Compositional Knowledge Base Inference

Combining multiple facts is common for structured knowledge resources which formulate facts using first-order logic. KB inference methods include Inductive Logic Programming 

[Quinlan1990, Pazzani et al.1991, Richards and Mooney1991] and probabilistic relaxations to logic like Markov Logic [Richardson and Domingos2006, Schoenmackers et al.2008]. These approaches suffer from limited coverage and inefficient inference, though efforts to circumvent sparsity have been undertaken [Schoenmackers et al.2008, Schoenmackers et al.2010]. A more scalable approach to composite rule learning is the Path Ranking Algorithm [Lao and Cohen2010, Lao et al.2011]

, which performs random walks to identify salient paths between entities. Gardner2013EMNLP circumvent these sparsity problems by introducing synthetic links via dense latent embeddings. Several other methods have been proposed, using composition functions such as vector addition 

[Bordes et al.2014], RNNs [Neelakantan et al.2015, Das et al.2017], and memory networks [Jain2016]. Another approach is the Neural Theorem Prover [Rocktäschel and Riedel2017], which uses dense rule and symbol embeddings to learn a differentiable backward chaining algorithm.

All of these previous approaches center around learning how to combine facts from a KB, i.e., in a structured form with pre-defined schema. That is, they work as part of a pipeline, and either rely on the output of a previous IE step [Banko et al.2007], or on direct human annotation [Bollacker et al.2008] which tends to be costly and biased in coverage. However, recent neural RC methods [Seo et al.2017a, Shen et al.2017] have demonstrated that end-to-end language understanding approaches can infer answers directly from text – sidestepping intermediate query parsing and IE steps. Our work aims to evaluate whether end-to-end multi-step RC models can indeed operate on raw text documents only – while performing the kind of inference most commonly associated with logical inference methods operating on structured knowledge.

Text-Based Multi-Step Reading Comprehension

Fried_2015_HigherOrder have demonstrated that exploiting information from other related documents based on lexical semantic similarity is beneficial for re-ranking answers in open-domain non-factoid QA. Jansen2017Framing chain textual background resources for science exam QA and provide multi-sentence answer explanations. Beyond, a rich collection of neural models tailored towards multi-step RC has been developed. Memory networks [Weston et al.2015, Sukhbaatar et al.2015, Kumar et al.2016] define a model class that iteratively attends over textual memory items, and they show promising performance on synthetic tasks requiring multi-step reasoning [Weston et al.2016]. One common characteristic of neural multi-hop models is their rich structure that enables matching and interaction between question, context, answer candidates and combinations thereof [Peng et al.2015, Weissenborn2016, Xiong et al.2017, Liu and Perez2017], which is often iterated over several times [Sordoni et al.2016, Neumann et al.2016, Seo et al.2017b, Hu et al.2017] and may contain trainable stopping mechanisms [Graves2016, Shen et al.2017]. All these methods show promise for single-document RC, and by design should be capable of integrating multiple facts across documents. However, thus far they have not been evaluated for a cross-document multi-step RC task – as in this work.

Learning Search Expansion

Other research addresses expanding the document set available to a QA system, either in the form of web navigation [Nogueira and Cho2016]

, or via query reformulation techniques, which often use neural reinforcement learning 

[Narasimhan et al.2016, Nogueira and Cho2017, Buck et al.2018]. While related, this work ultimately aims at reformulating queries to better acquire evidence documents, and not at answering queries through combining facts.

8 Conclusions and Future Work

We have introduced a new cross-document multi-hop RC task, devised a generic dataset derivation strategy and applied it to two separate domains. The resulting datasets test RC methods in their ability to perform composite reasoning – something thus far limited to models operating on structured knowledge resources. In our experiments we found that contemporary RC models can leverage cross-document information, but a sizeable gap to human performance remains. Finally, we identified the selection of relevant document sets as the most promising direction for future research.

Thus far, our datasets center around factoid questions about entities, and as extractive RC datasets, it is assumed that the answer is mentioned verbatim. While this limits the types of questions one can ask, these assumptions can facilitate both training and evaluation, and future work – once free-form abstractive answer composition has advanced – should move beyond. We hope that our work will foster research on cross-document information integration, working towards these long term goals.

Acknowledgments

We would like to thank the reviewers and the action editor for their thoughtful and constructive suggestions, as well as Matko Bošnjak, Tim Dettmers, Pasquale Minervini, Jeff Mitchell, and Sebastian Ruder for several helpful comments and feedback on drafts of this paper. This work was supported by an Allen Distinguished Investigator Award, a Marie Curie Career Integration Award, the EU H2020 SUMMA project (grant agreement number 688139), and an Engineering and Physical Sciences Research Council scholarship.

References

  • [Ashburner et al.2000] Michael Ashburner, Catherine A. Ball, Judith A. Blake, David Botstein, Heather Butler, J. Michael Cherry, Allan P. Davis, Kara Dolinski, Selina S. Dwight, Janan T. Eppig, Midori A. Harris, David P. Hill, Laurie Issel-Tarver, Andrew Kasarskis, Suzanna Lewis, John C. Matese, Joel E. Richardson, Martin Ringwald, Gerald M. Rubin, and Gavin Sherlock. 2000. Gene ontology: tool for the unification of biology. Nature Genetics, 25(1):25.
  • [Bairoch et al.2004] Amos Bairoch, Brigitte Boeckmann, Serenella Ferro, and Elisabeth Gasteiger. 2004. Swiss-Prot: Juggling between evolution and stability. Briefings in Bioinformatics, 5(1):39–55.
  • [Banko et al.2007] Michele Banko, Michael J. Cafarella, Stephen Soderland, Matt Broadhead, and Oren Etzioni. 2007. Open information extraction from the web. In Proceedings of the 20th International Joint Conference on Artifical Intelligence, IJCAI’07, pages 2670–2676.
  • [Berant et al.2013] Jonathan Berant, Andrew Chou, Roy Frostig, and Percy Liang. 2013. Semantic parsing on freebase from question-answer pairs. In Proceedings of the 2013 Conference on Empirical Methods in Natural Language Processing, pages 1533–1544.
  • [Bobic et al.2012] Tamara Bobic, Roman Klinger, Philippe Thomas, and Martin Hofmann-Apitius. 2012. Improving distantly supervised extraction of drug-drug and protein-protein interactions. In

    Proceedings of the Joint Workshop on Unsupervised and Semi-Supervised Learning in NLP

    , pages 35–43.
  • [Bollacker et al.2008] Kurt Bollacker, Colin Evans, Praveen Paritosh, Tim Sturge, and Jamie Taylor. 2008. Freebase: a collaboratively created graph database for structuring human knowledge. In SIGMOD 08 Proceedings of the 2008 ACM SIGMOD international conference on Management of data, pages 1247–1250.
  • [Bordes et al.2014] Antoine Bordes, Sumit Chopra, and Jason Weston. 2014. Question answering with subgraph embeddings. In Empirical Methods for Natural Language Processing (EMNLP), pages 615–620.
  • [Bordes et al.2015] Antoine Bordes, Nicolas Usunier, Sumit Chopra, and Jason Weston. 2015. Large-scale simple question answering with memory networks. CoRR, abs/1506.02075.
  • [Boyd-Graber et al.2012] Jordan Boyd-Graber, Brianna Satinoff, He He, and Hal Daumé, III. 2012. Besting the quiz master: Crowdsourcing incremental classification games. In Proceedings of the 2012 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning, EMNLP-CoNLL ’12, pages 1290–1301.
  • [Buck et al.2018] Christian Buck, Jannis Bulian, Massimiliano Ciaramita, Andrea Gesmundo, Neil Houlsby, Wojciech Gajewski, and Wei Wang. 2018. Ask the right questions: Active question reformulation with reinforcement learning. International Conference on Learning Representations (ICLR).
  • [Carpineto and Romano2012] Claudio Carpineto and Giovanni Romano. 2012. A survey of automatic query expansion in information retrieval. ACM Comput. Surv., 44(1):1:1–1:50, January.
  • [Chen et al.2016] Danqi Chen, Jason Bolton, and Christopher D. Manning. 2016. A thorough examination of the CNN/Daily Mail reading comprehension task. In Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), pages 2358–2367.
  • [Clark et al.2016] Peter Clark, Oren Etzioni, Tushar Khot, Ashish Sabharwal, Oyvind Tafjord, Peter Turney, and Daniel Khashabi. 2016. Combining retrieval, statistics, and inference to answer elementary science questions. In

    Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence

    , AAAI’16, pages 2580–2586.
  • [Cohen and Hunter2004] Kevin Bretonnel Cohen and Lawrence Hunter. 2004. Natural language processing and systems biology. Artificial Intelligence Methods and Tools for Systems Biology, pages 147–173.
  • [Craven and Kumlien1999] Mark Craven and Johan Kumlien. 1999. Constructing biological knowledge bases by extracting information from text sources. In Proceedings of the Seventh International Conference on Intelligent Systems for Molecular Biology, pages 77–86.
  • [Das et al.2017] Rajarshi Das, Arvind Neelakantan, David Belanger, and Andrew McCallum. 2017.

    Chains of reasoning over entities, relations, and text using recurrent neural networks.

    European Chapter of the Association for Computational Linguistics (EACL), pages 132–141.
  • [Dunn et al.2017] Matthew Dunn, Levent Sagun, Mike Higgins, V. Ugur Güney, Volkan Cirik, and Kyunghyun Cho. 2017. SearchQA: A new Q&A dataset augmented with context from a search engine. CoRR, abs/1704.05179.
  • [Fabregat et al.2016] Antonio Fabregat, Konstantinos Sidiropoulos, Phani Garapati, Marc Gillespie, Kerstin Hausmann, Robin Haw, Bijay Jassal, Steven Jupe, Florian Korninger, Sheldon McKay, Lisa Matthews, Bruce May, Marija Milacic, Karen Rothfels, Veronica Shamovsky, Marissa Webber, Joel Weiser, Mark Williams, Guanming Wu, Lincoln Stein, Henning Hermjakob, and Peter D’Eustachio. 2016. The Reactome pathway knowledgebase. Nucleic Acids Research, 44(D1):D481–D487.
  • [Fried et al.2015] Daniel Fried, Peter Jansen, Gustave Hahn-Powell, Mihai Surdeanu, and Peter Clark. 2015. Higher-order lexical semantic models for non-factoid answer reranking. Transactions of the Association of Computational Linguistics, 3:197–210.
  • [Gardner et al.2013] Matt Gardner, Partha Pratim Talukdar, Bryan Kisiel, and Tom M. Mitchell. 2013. Improving learning and inference in a large knowledge-base using latent syntactic cues. In Proceedings of the Conference on Empirical Methods in Natural Language Processing, pages 833–838.
  • [Graves2016] Alex Graves. 2016. Adaptive computation time for recurrent neural networks. CoRR, abs/1603.08983.
  • [Gurulingappa et al.2012] Harsha Gurulingappa, Abdul Mateen Rajput, Angus Roberts, Juliane Fluck, Martin Hofmann-Apitius, and Luca Toldo. 2012. Development of a benchmark corpus to support the automatic extraction of drug-related adverse effects from medical case reports. Journal of Biomedical Informatics, 45(5):885 – 892. Text Mining and Natural Language Processing in Pharmacogenomics.
  • [Hermann et al.2015] Karl Moritz Hermann, Tomas Kocisky, Edward Grefenstette, Lasse Espeholt, Will Kay, Mustafa Suleyman, and Phil Blunsom. 2015. Teaching machines to read and comprehend. In Advances in Neural Information Processing Systems, pages 1693–1701.
  • [Hersh et al.2007] William Hersh, Aaron Cohen, Lynn Ruslen, and Phoebe Roberts. 2007. TREC 2007 genomics track overview. In NIST Special Publication.
  • [Hewlett et al.2016] Daniel Hewlett, Alexandre Lacoste, Llion Jones, Illia Polosukhin, Andrew Fandrianto, Jay Han, Matthew Kelcey, and David Berthelot. 2016. WIKIREADING: A novel large-scale language understanding task over Wikipedia. In Proceedings of the The 54th Annual Meeting of the Association for Computational Linguistics (ACL 2016), pages 1535–1545.
  • [Hill et al.2016] Felix Hill, Antoine Bordes, Sumit Chopra, and Jason Weston. 2016. The goldilocks principle: Reading children’s books with explicit memory representations. ICLR.
  • [Hirschman et al.2005] Lynette Hirschman, Alexander Yeh, Christian Blaschke, and Alfonso Valencia. 2005. Overview of BioCreAtIvE: Critical assessment of information extraction for biology. BMC Bioinformatics, 6(1):S1, May.
  • [Hu et al.2017] Minghao Hu, Yuxing Peng, and Xipeng Qiu. 2017. Mnemonic reader for machine comprehension. CoRR, abs/1705.02798.
  • [Jain2016] Sarthak Jain. 2016. Question answering over knowledge base using factual memory networks. In Proceedings of NAACL-HLT, pages 109–115.
  • [Jansen et al.2017] Peter Jansen, Rebecca Sharp, Mihai Surdeanu, and Peter Clark. 2017. Framing QA as building and ranking intersentence answer justifications. Computational Linguistics, 43(2):407–449.
  • [Jia and Liang2017] Robin Jia and Percy Liang. 2017. Adversarial examples for evaluating reading comprehension systems. In Empirical Methods in Natural Language Processing (EMNLP).
  • [Joshi et al.2017] Mandar Joshi, Eunsol Choi, Daniel S. Weld, and Luke Zettlemoyer. 2017. TriviaQA: A large scale distantly supervised challenge dataset for reading comprehension. In Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics, July.
  • [Kadlec et al.2016] Rudolf Kadlec, Martin Schmid, Ondrej Bajgar, and Jan Kleindienst. 2016. Text understanding with the attention sum reader network. Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics, pages 908––918.
  • [Kim et al.2011] Jin-Dong Kim, Yue Wang, Toshihisa Takagi, and Akinori Yonezawa. 2011. Overview of Genia event task in BioNLP shared task 2011. In Proceedings of BioNLP Shared Task 2011 Workshop, pages 7–15.
  • [Kumar et al.2016] Ankit Kumar, Ozan Irsoy, Peter Ondruska, Mohit Iyyer, Ishaan Gulrajani James Bradbury, Victor Zhong, Romain Paulus, and Richard Socher. 2016. Ask me anything: Dynamic memory networks for natural language processing.

    International Conference on Machine Learning

    , 48:1378–1387.
  • [Landis and Koch1977] J. Richard Landis and Gary G. Koch. 1977. The measurement of observer agreement for categorical data. Biometrics, pages 159–174.
  • [Lao and Cohen2010] Ni Lao and William W Cohen. 2010. Relational retrieval using a combination of path-constrained random walks. Machine learning, 81(1):53–67.
  • [Lao et al.2011] Ni Lao, Tom Mitchell, and William W Cohen. 2011. Random walk inference and learning in a large scale knowledge base. In Proceedings of the Conference on Empirical Methods in Natural Language Processing, pages 529–539.
  • [Law et al.2014] Vivian Law, Craig Knox, Yannick Djoumbou, Tim Jewison, An Chi Guo, Yifeng Liu, Adam Maciejewski, David Arndt, Michael Wilson, Vanessa Neveu, Alexandra Tang, Geraldine Gabriel, Carol Ly, Sakina Adamjee, Zerihun T. Dame, Beomsoo Han, You Zhou, and David S. Wishart. 2014. DrugBank 4.0: Shedding new light on drug metabolism. Nucleic Acids Research, 42(D1):D1091–D1097.
  • [Levy et al.2017] Omer Levy, Minjoon Seo, Eunsol Choi, and Luke Zettlemoyer. 2017. Zero-shot relation extraction via reading comprehension. In Proceedings of the 21st Conference on Computational Natural Language Learning (CoNLL 2017), pages 333–342, August.
  • [Lin and Pantel2001] Dekang Lin and Patrick Pantel. 2001. Discovery of inference rules for question-answering. Nat. Lang. Eng., 7(4):343–360, December.
  • [Liu and Perez2017] Fei Liu and Julien Perez. 2017. Gated end-to-end memory networks. In Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics, EACL 2017, Volume 1: Long Papers, pages 1–10.
  • [Mintz et al.2009] Mike Mintz, Steven Bills, Rion Snow, and Daniel Jurafsky. 2009. Distant supervision for relation extraction without labeled data. In Proceedings of the Joint Conference of the 47th Annual Meeting of the ACL and the 4th International Joint Conference on Natural Language Processing of the AFNLP, pages 1003–1011.
  • [Morales et al.2016] Alvaro Morales, Varot Premtoon, Cordelia Avery, Sue Felshin, and Boris Katz. 2016. Learning to answer questions from Wikipedia infoboxes. In Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing, pages 1930–1935.
  • [Narasimhan et al.2016] Karthik Narasimhan, Adam Yala, and Regina Barzilay. 2016. Improving information extraction by acquiring external evidence with reinforcement learning. In Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing, EMNLP 2016, pages 2355–2365.
  • [Neelakantan et al.2015] Arvind Neelakantan, Benjamin Roth, and Andrew McCallum. 2015. Compositional vector space models for knowledge base completion. Proceedings of the 53rd Annual Meeting of the Association for Computational Linguistics and the 7th International Joint Conference on Natural Language Processing, pages 156––166.
  • [Nentidis et al.2017] Anastasios Nentidis, Konstantinos Bougiatiotis, Anastasia Krithara, Georgios Paliouras, and Ioannis Kakadiaris. 2017. Results of the fifth edition of the BioASQ challenge. In BioNLP 2017, pages 48–57.
  • [Neumann et al.2016] Mark Neumann, Pontus Stenetorp, and Sebastian Riedel. 2016. Learning to reason with adaptive computation. In Interpretable Machine Learning for Complex Systems at the 2016 Conference on Neural Information Processing Systems (NIPS), Barcelona, Spain, December.
  • [Nguyen et al.2016] Tri Nguyen, Mir Rosenberg, Xia Song, Jianfeng Gao, Saurabh Tiwary, Rangan Majumder, and Li Deng. 2016. MS MARCO: A human generated machine reading comprehension dataset. CoRR, abs/1611.09268.
  • [Nogueira and Cho2016] Rodrigo Nogueira and Kyunghyun Cho. 2016. WebNav: A new large-scale task for natural language based sequential decision making. CoRR, abs/1602.02261.
  • [Nogueira and Cho2017] Rodrigo Nogueira and Kyunghyun Cho. 2017. Task-oriented query reformulation with reinforcement learning. Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing, pages 574––583.
  • [Onishi et al.2016] Takeshi Onishi, Hai Wang, Mohit Bansal, Kevin Gimpel, and David A. McAllester. 2016. Who did what: A large-scale person-centered cloze dataset. In Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing, EMNLP 2016, pages 2230–2235.
  • [Paperno et al.2016] Denis Paperno, Germán Kruszewski, Angeliki Lazaridou, Ngoc Quan Pham, Raffaella Bernardi, Sandro Pezzelle, Marco Baroni, Gemma Boleda, and Raquel Fernandez. 2016. The LAMBADA dataset: Word prediction requiring a broad discourse context. In Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), pages 1525–1534.
  • [Pazzani et al.1991] Michael Pazzani, Clifford Brunk, and Glenn Silverstein. 1991. A knowledge-intensive approach to learning relational concepts. In Proceedings of the Eighth International Workshop on Machine Learning, pages 432–436, Evanston, IL.
  • [Peng et al.2015] Baolin Peng, Zhengdong Lu, Hang Li, and Kam-Fai Wong. 2015. Towards neural network-based reasoning. CoRR, abs/1508.05508.
  • [Peng et al.2017] Nanyun Peng, Hoifung Poon, Chris Quirk, Kristina Toutanova, and Wen-tau Yih. 2017. Cross-sentence N-ary relation extraction with graph LSTMs. Transactions of the Association for Computational Linguistics, 5:101–115.
  • [Pennington et al.2014] Jeffrey Pennington, Richard Socher, and Christopher D. Manning. 2014. GloVe: Global vectors for word representation. In Proceedings of the Empirical Methods in Natural Language Processing (EMNLP), pages 1532–1543.
  • [Percha et al.2012] Bethany Percha, Yael Garten, and Russ B Altman. 2012. Discovery and explanation of drug-drug interactions via text mining. In Pacific symposium on biocomputing, page 410. NIH Public Access.
  • [Quinlan1990] John Ross Quinlan. 1990. Learning logical definitions from relations. Machine Learning, 5:239–266.
  • [Rajpurkar et al.2016] Pranav Rajpurkar, Jian Zhang, Konstantin Lopyrev, and Percy Liang. 2016. SQuAD: 100,000+ questions for machine comprehension of text. In Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing (EMNLP), pages 2383––2392.
  • [Richards and Mooney1991] Bradley L. Richards and Raymond J. Mooney. 1991. First-order theory revision. In Proceedings of the Eighth International Workshop on Machine Learning, pages 447–451, Evanston, IL.
  • [Richardson and Domingos2006] Matthew Richardson and Pedro Domingos. 2006. Markov logic networks. Mach. Learn., 62(1-2):107–136.
  • [Riedel et al.2010] Sebastian Riedel, Limin Yao, and Andrew McCallum. 2010. Modeling relations and their mentions without labeled text. In Proceedings of the 2010 European Conference on Machine Learning and Knowledge Discovery in Databases: Part III, ECML PKDD’10, pages 148–163.
  • [Rocktäschel and Riedel2017] Tim Rocktäschel and Sebastian Riedel. 2017. End-to-end differentiable proving. Advances in Neural Information Processing Systems 30, pages 3788–3800.
  • [Schoenmackers et al.2008] Stefan Schoenmackers, Oren Etzioni, and Daniel S. Weld. 2008. Scaling textual inference to the web. In EMNLP ’08: Proceedings of the Conference on Empirical Methods in Natural Language Processing, pages 79–88.
  • [Schoenmackers et al.2010] Stefan Schoenmackers, Oren Etzioni, Daniel S. Weld, and Jesse Davis. 2010. Learning first-order horn clauses from web text. In Proceedings of the 2010 Conference on Empirical Methods in Natural Language Processing, EMNLP ’10, pages 1088–1098.
  • [Schwartz et al.2017] Roy Schwartz, Maarten Sap, Ioannis Konstas, Leila Zilles, Yejin Choi, and Noah A. Smith. 2017. The effect of different writing tasks on linguistic style: A case study of the ROC story cloze task. In Proceedings of the 21st Conference on Computational Natural Language Learning (CoNLL 2017), pages 15–25.
  • [Segura-Bedmar et al.2013] Isabel Segura-Bedmar, Paloma Martínez, and María Herrero Zazo. 2013. SemEval-2013 Task 9: Extraction of drug-drug interactions from biomedical texts (DDIExtraction 2013). In Second Joint Conference on Lexical and Computational Semantics (*SEM), Volume 2: Proceedings of the Seventh International Workshop on Semantic Evaluation (SemEval 2013), pages 341–350.
  • [Seo et al.2017a] Minjoon Seo, Aniruddha Kembhavi, Ali Farhadi, and Hannaneh Hajishirzi. 2017a. Bidirectional attention flow for machine comprehension. In The International Conference on Learning Representations (ICLR).
  • [Seo et al.2017b] Minjoon Seo, Sewon Min, Ali Farhadi, and Hannaneh Hajishirzi. 2017b. Query-reduction networks for question answering. ICLR.
  • [Shen et al.2017] Yelong Shen, Po-Sen Huang, Jianfeng Gao, and Weizhu Chen. 2017. ReasoNet: Learning to stop reading in machine comprehension. In Proceedings of the 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, KDD ’17, pages 1047–1055.
  • [Sordoni et al.2016] Alessandro Sordoni, Phillip Bachman, and Yoshua Bengio. 2016. Iterative alternating neural attention for machine reading. CoRR, abs/1606.02245.
  • [Stenetorp et al.2011] Pontus Stenetorp, Goran Topić, Sampo Pyysalo, Tomoko Ohta, Jin-Dong Kim, and Jun’ichi Tsujii. 2011. BioNLP shared task 2011: Supporting resources. In Proceedings of BioNLP Shared Task 2011 Workshop, pages 112–120.
  • [Sukhbaatar et al.2015] Sainbayar Sukhbaatar, Arthur Szlam, Jason Weston, and Rob Fergus. 2015. End-to-end memory networks. In Advances in Neural Information Processing Systems, pages 2440–2448.
  • [Swanson1986] Don R. Swanson. 1986. Undiscovered public knowledge. The Library Quarterly, 56(2):103–118.
  • [The UniProt Consortium2017] The UniProt Consortium. 2017. UniProt: the universal protein knowledgebase. Nucleic Acids Research, 45(D1):D158–D169.
  • [Vrandečić2012] Denny Vrandečić. 2012. Wikidata: A new platform for collaborative data collection. In Proceedings of the 21st International Conference on World Wide Web, WWW ’12 Companion, pages 1063–1064.
  • [Weissenborn et al.2017] Dirk Weissenborn, Georg Wiese, and Laura Seiffe. 2017. Making neural QA as simple as possible but not simpler. In Proceedings of the 21st Conference on Computational Natural Language Learning (CoNLL 2017), pages 271–280. Association for Computational Linguistics.
  • [Weissenborn2016] Dirk Weissenborn. 2016. Separating answers from queries for neural reading comprehension. CoRR, abs/1607.03316.
  • [Welbl et al.2017] Johannes Welbl, Nelson F. Liu, and Matt Gardner. 2017. Crowdsourcing multiple choice science questions. In

    Proceedings of the Third Workshop on Noisy User-generated Text

    , pages 94–106.
  • [Weston et al.2015] Jason Weston, Sumit Chopra, and Antoine Bordes. 2015. Memory networks. ICLR.
  • [Weston et al.2016] Jason Weston, Antoine Bordes, Sumit Chopra, and Tomas Mikolov. 2016. Towards AI-complete question answering: A set of prerequisite toy tasks. ICLR.
  • [Wiese et al.2017] Georg Wiese, Dirk Weissenborn, and Mariana Neves. 2017. Neural question answering at BioASQ 5B. In Proceedings of the BioNLP 2017, pages 76–79.
  • [Xiong et al.2017] Caiming Xiong, Victor Zhong, and Richard Socher. 2017. Dynamic coattention networks for question answering. ICLR.
  • [Yang et al.2015] Yi Yang, Wen-tau Yih, and Christopher Meek. 2015. WikiQA: A challenge dataset for open-domain question answering. In Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, pages 2013–2018.

Appendix A Appendix: Versions

This paper directly corresponds to the TACL version,888https://transacl.org/ojs/index.php/tacl/article/view/1325 apart from minor changes in wording, additional footnotes, and these appendices.

Appendix B Appendix: Candidate and Document statistics

Figure 4 illustrates the distribution of the number of support documents per sample. WikiHop shows a Poisson-like behaviour – most likely due to structural regularities in Wikipedia– whereas MedHop exhibits a bimodal distribution, in line with our observation that certain drugs and proteins have far more interactions and studies associated with them.

Figure 5 shows the distribution of document lengths for both datasets. Note that the document lengths in WikiHop correspond to the lengths of the first paragraphs of Wikipedia articles. MedHop on the other hand reflects the length of research paper abstracts, which are generally longer.

Figure 6 shows a histogram with the number of candidates per sample in WikiHop, and the distribution shows a slow but steady decrease. For MedHop, the vast majority of samples have 9 candidates, which is due to the way documents are selected up until a maximum of 64 documents is reached. Very few samples have fewer than 9 candidates, and samples would have far more false candidates if more than 64 support documents were included.

Figure 4: Support documents per training sample.
Figure 5: Histogram for document lengths in WikiHop and MedHop.
Figure 6: Histogram for the number of candidates per sample in WikiHop.

Appendix C Appendix: Document-Cue examples

Answer Wikipedia article Count Prop.
united states of america A U.S. state is a constituent political entity of the United States of America. 68,233 12.9%
united kingdom England is a country that is part of the United Kingdom. 54,005 10.2%
taxon In biology, a species (abbreviated sp., with the plural form species abbreviated spp.) is the basic unit of biological classification and a taxonomic rank. 40,141 7.6%
taxon A genus (pl. genera) is a taxonomic rank used in the biological classification 38,466 7.3%
united kingdom The United Kingdom of Great Britain and Northern Ireland, commonly known as the United Kingdom (UK) or Britain, is a sovereign country in western Europe. 31,071 5.9%
taxon Biology is a natural science concerned with the study of life and living organisms, including their structure, function, growth, evolution, distribution, identification and taxonomy. 27,609 5.2%
united kingdom Scotland […] is a country that is part of the United Kingdom and covers the northern third of the island of Great Britain. 25,456 4.8%
united kingdom Wales […] is a country that is part of the United Kingdom and the island of Great Britain. 21,961 4.2%
united kingdom London […] is the capital and most populous city of England and the United Kingdom, as well as the most populous city proper in the European Union. 21,920 4.2%
united states of america Nevada (Spanish for ”snowy”; see pronunciations) is a state in the Western, Mountain West, and Southwestern regions of the United States of America. 18,215 3.4%
italy The comune […] is a basic administrative division in Italy, roughly equivalent to a township or municipality. 8,785 1.7%
human settlement A town is a human settlement larger than a village but smaller than a city. 5,092 1.0%
people’s republic of china Shanghai […] often abbreviated as Hu or Shen, is one of the four direct-controlled municipalities of the People’s Republic of China. 3,628 0.7%
Table 8: Examples with largest statistic, before filtering. The Count column states ; the last column states the corresponding relative proportion of training samples (total 527,773).

Table 8 shows examples of answers and articles which, before filtering, frequently appear together in WikiHop.

Appendix D Appendix: Gold Chain Examples

Table 9 shows examples of document gold chains in WikiHop. Note that their lengths differ, with a maximum of 3 documents.

Appendix E Appendix: Query Types

Table 10 gives an overview over the 25 most frequent query types in WikiHop and their relative proportion in the dataset. Overall, the distribution across the 277 query types follows a power law.

Query: (the big broadcast of 1937, genre, ?)
Answer: musical film
Text 1: The Big Broadcast of 1937 is a 1936 Paramount Pictures production directed by Mitchell Leisen, and is the third in the series of Big Broadcast movies. The musical comedy stars Jack Benny, George Burns, Gracie Allen, Bob Burns, Martha Raye, Shirley Ross […]
Text 2: Shirley Ross (January 7, 1913 – March 9, 1975) was an American actress and singer, notable for her duet with Bob Hope, ”Thanks for the Memory” from ”The Big Broadcast of 1938”[…]
Text 3: The Big Broadcast of 1938 is a Paramount Pictures musical film featuring W.C. Fields and Bob Hope. Directed by Mitchell Leisen, the film is the last in a series of ”Big Broadcast” movies[…]
Query: (cmos, subclass_of, ?)
Answer: semiconductor device
Text 1: Complementary metal-oxide-semiconductor (CMOS) […] is a technology for constructing integrated circuits. […] CMOS uses complementary and symmetrical pairs of p-type and n-type metal oxide semiconductor field effect transistors (MOSFETs) for logic functions. […]
Text 2: A transistor is a semiconductor device used to amplify or switch electronic signals[…]
Query: (raik dittrich, sport, ?)
Answer: biathlon
Text 1: Raik Dittrich (born October 12, 1968 in Sebnitz) is a retired East German biathlete who won two World Championships medals. He represented the sports club SG Dynamo Zinnwald […]
Text 2: SG Dynamo Zinnwald is a sector of SV Dynamo located in Altenberg, Saxony[…] The main sports covered by the club are biathlon, bobsleigh, luge, mountain biking, and Skeleton (sport)[…]
Query: (minnesota gubernatorial election, office_contested, ?)
Answer: governor
Text 1: The 1936 Minnesota gubernatorial election took place on November 3, 1936. Farmer-Labor Party candidate Elmer Austin Benson defeated Republican Party of Minnesota challenger Martin A. Nelson.
Text 2: Elmer Austin Benson […] served as the 24th governor of Minnesota, defeating Republican Martin Nelson in a landslide victory in Minnesota’s 1936 gubernatorial election.[…]
Query: (ieee transactions on information theory, publisher, ?)
Answer: institute of electrical and electronics engineers
Text 1: IEEE Transactions on Information Theory is a monthly peer-reviewed scientific journal published by the IEEE Information Theory Society […] the journal allows the posting of preprints […]
Text 2: The IEEE Information Theory Society (ITS or ITSoc), formerly the IEEE Information Theory Group, is a professional society of the Institute of Electrical and Electronics Engineers (IEEE) […]
Query: (country_of_citizenship, louis-philippe fiset, ?)
Answer: canada
Text1: Louis-Philippe Fiset […] was a local physician and politician in the Mauricie area […]
Text2: Mauricie is a traditional and current administrative region of Quebec. La Mauricie National Park is contained within the region, making it a prime tourist location. […]
Text3: La Mauricie National Park is located near Shawinigan in the Laurentian mountains, in the Mauricie region of Quebec, Canada […]
Table 9: Examples of document gold chains in WikiHop. Article titles are boldfaced, the correct answer is underlined.
Query Type Proportion in Dataset
instance_of 10.71 %
located_in_the_administrative_territorial_entity 9.50 %
occupation 7.28 %
place_of_birth 5.75 %
record_label 5.27 %
genre 5.03 %
country_of_citizenship 3.45 %
parent_taxon 3.16 %
place_of_death 2.46 %
inception 2.20 %
date_of_birth 1.84 %
country 1.70 %
headquarters_location 1.52 %
part_of 1.43 %
subclass_of 1.40 %
sport 1.36 %
member_of_political_party 1.29 %
publisher 1.16 %
publication_date 1.06 %
country_of_origin 0.92 %
languages_spoken_or_written 0.92 %
date_of_death 0.90 %
original_language_of_work 0.85 %
followed_by 0.82 %
position_held 0.79 %
Top 25 72.77 %
Top 50 86.42 %
Top 100 96.62 %
Top 200 99.71 %
Table 10: The 25 most frequent query types in WikiHop alongside their proportion in the training set.