Erik Arakelyan, Daniel Daza, Pasquale Minervini, Michael Cochez
Neural link predictors are immensely useful for identifying missing edges in large scale Knowledge Graphs. However, it is still not clear how to use these models for answering more complex queries that arise in a number of domains, such as queries using logical conjunctions ($\land$), disjunctions ($\lor$) and existential quantifiers ($\exists$), while accounting for missing edges. In this work, we propose a framework for efficiently answering complex queries on incomplete Knowledge Graphs. We translate each query into an end-to-end differentiable objective, where the truth value of each atom is computed by a pre-trained neural link predictor. We then analyse two solutions to the optimisation problem, including gradient-based and combinatorial search. In our experiments, the proposed approach produces more accurate results than state-of-the-art methods -- black-box neural models trained on millions of generated queries -- without the need of training on a large and diverse set of complex queries. Using orders of magnitude less training data, we obtain relative improvements ranging from 8% up to 40% in Hits@3 across different knowledge graphs containing factual information. Finally, we demonstrate that it is possible to explain the outcome of our model in terms of the intermediate solutions identified for each of the complex query atoms. All our source code and datasets are available online, at https://github.com/uclnlp/cqd.
| Task | Dataset | Metric | Value | Model |
|---|---|---|---|---|
| Knowledge Graphs | NELL995 | Hits@3 2p | 0.35 | CQD-Beam |
| Knowledge Graphs | NELL995 | Hits@3 3p | 0.288 | CQD-Beam |
| Knowledge Graphs | NELL995 | Hits@3 ip | 0.171 | CQD-Beam |
| Knowledge Graphs | NELL995 | Hits@3 pi | 0.277 | CQD-Beam |
| Knowledge Graphs | NELL995 | Hits@3 up | 0.156 | CQD-Beam |
| Knowledge Graphs | NELL995 | Hits@3 1p | 0.667 | CQD-CO |
| Knowledge Graphs | NELL995 | Hits@3 2i | 0.41 | CQD-CO |
| Knowledge Graphs | NELL995 | Hits@3 2p | 0.265 | CQD-CO |
| Knowledge Graphs | NELL995 | Hits@3 2u | 0.531 | CQD-CO |
| Knowledge Graphs | NELL995 | Hits@3 3i | 0.529 | CQD-CO |
| Knowledge Graphs | NELL995 | Hits@3 3p | 0.22 | CQD-CO |
| Knowledge Graphs | NELL995 | Hits@3 ip | 0.196 | CQD-CO |
| Knowledge Graphs | NELL995 | Hits@3 pi | 0.302 | CQD-CO |
| Knowledge Graphs | NELL995 | Hits@3 up | 0.194 | CQD-CO |
| Knowledge Graphs | FB15k | MRR 1p | 0.892 | CQD |
| Knowledge Graphs | FB15k | MRR 2i | 0.771 | CQD |
| Knowledge Graphs | FB15k | MRR 2p | 0.653 | CQD |
| Knowledge Graphs | FB15k | MRR 2u | 0.723 | CQD |
| Knowledge Graphs | FB15k | MRR 3i | 0.806 | CQD |
| Knowledge Graphs | FB15k | MRR ip | 0.716 | CQD |
| Knowledge Graphs | FB15k | Hits@3 1p | 0.918 | CQD-Beam |
| Knowledge Graphs | FB15k | Hits@3 2i | 0.796 | CQD-Beam |
| Knowledge Graphs | FB15k | Hits@3 2p | 0.779 | CQD-Beam |
| Knowledge Graphs | FB15k | Hits@3 2u | 0.839 | CQD-Beam |
| Knowledge Graphs | FB15k | Hits@3 3i | 0.837 | CQD-Beam |
| Knowledge Graphs | FB15k | Hits@3 3p | 0.577 | CQD-Beam |
| Knowledge Graphs | FB15k | Hits@3 ip | 0.375 | CQD-Beam |
| Knowledge Graphs | FB15k | Hits@3 pi | 0.658 | CQD-Beam |
| Knowledge Graphs | FB15k | Hits@3 up | 0.345 | CQD-Beam |
| Knowledge Graphs | FB15k | Hits@3 1p | 0.918 | CQD-CO |
| Knowledge Graphs | FB15k | Hits@3 2i | 0.796 | CQD-CO |
| Knowledge Graphs | FB15k | Hits@3 2p | 0.454 | CQD-CO |
| Knowledge Graphs | FB15k | Hits@3 2u | 0.816 | CQD-CO |
| Knowledge Graphs | FB15k | Hits@3 3i | 0.837 | CQD-CO |
| Knowledge Graphs | FB15k | Hits@3 3p | 0.191 | CQD-CO |
| Knowledge Graphs | FB15k | Hits@3 ip | 0.336 | CQD-CO |
| Knowledge Graphs | FB15k | Hits@3 pi | 0.513 | CQD-CO |
| Knowledge Graphs | FB15k | Hits@3 up | 0.319 | CQD-CO |
| Knowledge Graphs | NELL-995 | MRR 1p | 0.604 | CQD |
| Knowledge Graphs | NELL-995 | MRR 2i | 0.436 | CQD |
| Knowledge Graphs | NELL-995 | MRR ip | 0.256 | CQD |
| Knowledge Graphs | FB15k-237 | MRR 3i | 0.486 | CQD |
| Knowledge Graphs | FB15k-237 | Hits@3 1p | 0.512 | CQD-CO |
| Knowledge Graphs | FB15k-237 | Hits@3 2i | 35.2 | CQD-CO |
| Knowledge Graphs | FB15k-237 | Hits@3 2p | 0.213 | CQD-CO |
| Knowledge Graphs | FB15k-237 | Hits@3 2u | 0.281 | CQD-CO |
| Knowledge Graphs | FB15k-237 | Hits@3 3i | 0.457 | CQD-CO |
| Knowledge Graphs | FB15k-237 | Hits@3 3p | 0.131 | CQD-CO |
| Knowledge Graphs | FB15k-237 | Hits@3 ip | 0.146 | CQD-CO |
| Knowledge Graphs | FB15k-237 | Hits@3 pi | 0.222 | CQD-CO |
| Knowledge Graphs | FB15k-237 | Hits@3 up | 0.132 | CQD-CO |
| Knowledge Graphs | FB15k-237 | Hits@3 1p | 0.512 | CQD-Beam |
| Knowledge Graphs | FB15k-237 | Hits@3 2i | 0.352 | CQD-Beam |
| Knowledge Graphs | FB15k-237 | Hits@3 2p | 0.288 | CQD-Beam |
| Knowledge Graphs | FB15k-237 | Hits@3 2u | 0.284 | CQD-Beam |
| Knowledge Graphs | FB15k-237 | Hits@3 3i | 0.457 | CQD-Beam |
| Knowledge Graphs | FB15k-237 | Hits@3 3p | 0.221 | CQD-Beam |
| Knowledge Graphs | FB15k-237 | Hits@3 ip | 0.129 | CQD-Beam |
| Knowledge Graphs | FB15k-237 | Hits@3 pi | 0.249 | CQD-Beam |
| Knowledge Graphs | FB15k-237 | Hits@3 up | 0.121 | CQD-Beam |
| Knowledge Graph Completion | NELL995 | Hits@3 2p | 0.35 | CQD-Beam |
| Knowledge Graph Completion | NELL995 | Hits@3 3p | 0.288 | CQD-Beam |
| Knowledge Graph Completion | NELL995 | Hits@3 ip | 0.171 | CQD-Beam |
| Knowledge Graph Completion | NELL995 | Hits@3 pi | 0.277 | CQD-Beam |
| Knowledge Graph Completion | NELL995 | Hits@3 up | 0.156 | CQD-Beam |
| Knowledge Graph Completion | NELL995 | Hits@3 1p | 0.667 | CQD-CO |
| Knowledge Graph Completion | NELL995 | Hits@3 2i | 0.41 | CQD-CO |
| Knowledge Graph Completion | NELL995 | Hits@3 2p | 0.265 | CQD-CO |
| Knowledge Graph Completion | NELL995 | Hits@3 2u | 0.531 | CQD-CO |
| Knowledge Graph Completion | NELL995 | Hits@3 3i | 0.529 | CQD-CO |
| Knowledge Graph Completion | NELL995 | Hits@3 3p | 0.22 | CQD-CO |
| Knowledge Graph Completion | NELL995 | Hits@3 ip | 0.196 | CQD-CO |
| Knowledge Graph Completion | NELL995 | Hits@3 pi | 0.302 | CQD-CO |
| Knowledge Graph Completion | NELL995 | Hits@3 up | 0.194 | CQD-CO |
| Knowledge Graph Completion | FB15k | MRR 1p | 0.892 | CQD |
| Knowledge Graph Completion | FB15k | MRR 2i | 0.771 | CQD |
| Knowledge Graph Completion | FB15k | MRR 2p | 0.653 | CQD |
| Knowledge Graph Completion | FB15k | MRR 2u | 0.723 | CQD |
| Knowledge Graph Completion | FB15k | MRR 3i | 0.806 | CQD |
| Knowledge Graph Completion | FB15k | MRR ip | 0.716 | CQD |
| Knowledge Graph Completion | FB15k | Hits@3 1p | 0.918 | CQD-Beam |
| Knowledge Graph Completion | FB15k | Hits@3 2i | 0.796 | CQD-Beam |
| Knowledge Graph Completion | FB15k | Hits@3 2p | 0.779 | CQD-Beam |
| Knowledge Graph Completion | FB15k | Hits@3 2u | 0.839 | CQD-Beam |
| Knowledge Graph Completion | FB15k | Hits@3 3i | 0.837 | CQD-Beam |
| Knowledge Graph Completion | FB15k | Hits@3 3p | 0.577 | CQD-Beam |
| Knowledge Graph Completion | FB15k | Hits@3 ip | 0.375 | CQD-Beam |
| Knowledge Graph Completion | FB15k | Hits@3 pi | 0.658 | CQD-Beam |
| Knowledge Graph Completion | FB15k | Hits@3 up | 0.345 | CQD-Beam |
| Knowledge Graph Completion | FB15k | Hits@3 1p | 0.918 | CQD-CO |
| Knowledge Graph Completion | FB15k | Hits@3 2i | 0.796 | CQD-CO |
| Knowledge Graph Completion | FB15k | Hits@3 2p | 0.454 | CQD-CO |
| Knowledge Graph Completion | FB15k | Hits@3 2u | 0.816 | CQD-CO |
| Knowledge Graph Completion | FB15k | Hits@3 3i | 0.837 | CQD-CO |
| Knowledge Graph Completion | FB15k | Hits@3 3p | 0.191 | CQD-CO |
| Knowledge Graph Completion | FB15k | Hits@3 ip | 0.336 | CQD-CO |
| Knowledge Graph Completion | FB15k | Hits@3 pi | 0.513 | CQD-CO |
| Knowledge Graph Completion | FB15k | Hits@3 up | 0.319 | CQD-CO |
| Knowledge Graph Completion | NELL-995 | MRR 1p | 0.604 | CQD |
| Knowledge Graph Completion | NELL-995 | MRR 2i | 0.436 | CQD |
| Knowledge Graph Completion | NELL-995 | MRR ip | 0.256 | CQD |
| Knowledge Graph Completion | FB15k-237 | MRR 3i | 0.486 | CQD |
| Knowledge Graph Completion | FB15k-237 | Hits@3 1p | 0.512 | CQD-CO |
| Knowledge Graph Completion | FB15k-237 | Hits@3 2i | 35.2 | CQD-CO |
| Knowledge Graph Completion | FB15k-237 | Hits@3 2p | 0.213 | CQD-CO |
| Knowledge Graph Completion | FB15k-237 | Hits@3 2u | 0.281 | CQD-CO |
| Knowledge Graph Completion | FB15k-237 | Hits@3 3i | 0.457 | CQD-CO |
| Knowledge Graph Completion | FB15k-237 | Hits@3 3p | 0.131 | CQD-CO |
| Knowledge Graph Completion | FB15k-237 | Hits@3 ip | 0.146 | CQD-CO |
| Knowledge Graph Completion | FB15k-237 | Hits@3 pi | 0.222 | CQD-CO |
| Knowledge Graph Completion | FB15k-237 | Hits@3 up | 0.132 | CQD-CO |
| Knowledge Graph Completion | FB15k-237 | Hits@3 1p | 0.512 | CQD-Beam |
| Knowledge Graph Completion | FB15k-237 | Hits@3 2i | 0.352 | CQD-Beam |
| Knowledge Graph Completion | FB15k-237 | Hits@3 2p | 0.288 | CQD-Beam |
| Knowledge Graph Completion | FB15k-237 | Hits@3 2u | 0.284 | CQD-Beam |
| Knowledge Graph Completion | FB15k-237 | Hits@3 3i | 0.457 | CQD-Beam |
| Knowledge Graph Completion | FB15k-237 | Hits@3 3p | 0.221 | CQD-Beam |
| Knowledge Graph Completion | FB15k-237 | Hits@3 ip | 0.129 | CQD-Beam |
| Knowledge Graph Completion | FB15k-237 | Hits@3 pi | 0.249 | CQD-Beam |
| Knowledge Graph Completion | FB15k-237 | Hits@3 up | 0.121 | CQD-Beam |
| Large Language Model | NELL995 | Hits@3 2p | 0.35 | CQD-Beam |
| Large Language Model | NELL995 | Hits@3 3p | 0.288 | CQD-Beam |
| Large Language Model | NELL995 | Hits@3 ip | 0.171 | CQD-Beam |
| Large Language Model | NELL995 | Hits@3 pi | 0.277 | CQD-Beam |
| Large Language Model | NELL995 | Hits@3 up | 0.156 | CQD-Beam |
| Large Language Model | NELL995 | Hits@3 1p | 0.667 | CQD-CO |
| Large Language Model | NELL995 | Hits@3 2i | 0.41 | CQD-CO |
| Large Language Model | NELL995 | Hits@3 2p | 0.265 | CQD-CO |
| Large Language Model | NELL995 | Hits@3 2u | 0.531 | CQD-CO |
| Large Language Model | NELL995 | Hits@3 3i | 0.529 | CQD-CO |
| Large Language Model | NELL995 | Hits@3 3p | 0.22 | CQD-CO |
| Large Language Model | NELL995 | Hits@3 ip | 0.196 | CQD-CO |
| Large Language Model | NELL995 | Hits@3 pi | 0.302 | CQD-CO |
| Large Language Model | NELL995 | Hits@3 up | 0.194 | CQD-CO |
| Large Language Model | FB15k | MRR 1p | 0.892 | CQD |
| Large Language Model | FB15k | MRR 2i | 0.771 | CQD |
| Large Language Model | FB15k | MRR 2p | 0.653 | CQD |
| Large Language Model | FB15k | MRR 2u | 0.723 | CQD |
| Large Language Model | FB15k | MRR 3i | 0.806 | CQD |
| Large Language Model | FB15k | MRR ip | 0.716 | CQD |
| Large Language Model | FB15k | Hits@3 1p | 0.918 | CQD-Beam |
| Large Language Model | FB15k | Hits@3 2i | 0.796 | CQD-Beam |
| Large Language Model | FB15k | Hits@3 2p | 0.779 | CQD-Beam |
| Large Language Model | FB15k | Hits@3 2u | 0.839 | CQD-Beam |
| Large Language Model | FB15k | Hits@3 3i | 0.837 | CQD-Beam |
| Large Language Model | FB15k | Hits@3 3p | 0.577 | CQD-Beam |
| Large Language Model | FB15k | Hits@3 ip | 0.375 | CQD-Beam |
| Large Language Model | FB15k | Hits@3 pi | 0.658 | CQD-Beam |
| Large Language Model | FB15k | Hits@3 up | 0.345 | CQD-Beam |
| Large Language Model | FB15k | Hits@3 1p | 0.918 | CQD-CO |
| Large Language Model | FB15k | Hits@3 2i | 0.796 | CQD-CO |
| Large Language Model | FB15k | Hits@3 2p | 0.454 | CQD-CO |
| Large Language Model | FB15k | Hits@3 2u | 0.816 | CQD-CO |
| Large Language Model | FB15k | Hits@3 3i | 0.837 | CQD-CO |
| Large Language Model | FB15k | Hits@3 3p | 0.191 | CQD-CO |
| Large Language Model | FB15k | Hits@3 ip | 0.336 | CQD-CO |
| Large Language Model | FB15k | Hits@3 pi | 0.513 | CQD-CO |
| Large Language Model | FB15k | Hits@3 up | 0.319 | CQD-CO |
| Large Language Model | NELL-995 | MRR 1p | 0.604 | CQD |
| Large Language Model | NELL-995 | MRR 2i | 0.436 | CQD |
| Large Language Model | NELL-995 | MRR ip | 0.256 | CQD |
| Large Language Model | FB15k-237 | MRR 3i | 0.486 | CQD |
| Large Language Model | FB15k-237 | Hits@3 1p | 0.512 | CQD-CO |
| Large Language Model | FB15k-237 | Hits@3 2i | 35.2 | CQD-CO |
| Large Language Model | FB15k-237 | Hits@3 2p | 0.213 | CQD-CO |
| Large Language Model | FB15k-237 | Hits@3 2u | 0.281 | CQD-CO |
| Large Language Model | FB15k-237 | Hits@3 3i | 0.457 | CQD-CO |
| Large Language Model | FB15k-237 | Hits@3 3p | 0.131 | CQD-CO |
| Large Language Model | FB15k-237 | Hits@3 ip | 0.146 | CQD-CO |
| Large Language Model | FB15k-237 | Hits@3 pi | 0.222 | CQD-CO |
| Large Language Model | FB15k-237 | Hits@3 up | 0.132 | CQD-CO |
| Large Language Model | FB15k-237 | Hits@3 1p | 0.512 | CQD-Beam |
| Large Language Model | FB15k-237 | Hits@3 2i | 0.352 | CQD-Beam |
| Large Language Model | FB15k-237 | Hits@3 2p | 0.288 | CQD-Beam |
| Large Language Model | FB15k-237 | Hits@3 2u | 0.284 | CQD-Beam |
| Large Language Model | FB15k-237 | Hits@3 3i | 0.457 | CQD-Beam |
| Large Language Model | FB15k-237 | Hits@3 3p | 0.221 | CQD-Beam |
| Large Language Model | FB15k-237 | Hits@3 ip | 0.129 | CQD-Beam |
| Large Language Model | FB15k-237 | Hits@3 pi | 0.249 | CQD-Beam |
| Large Language Model | FB15k-237 | Hits@3 up | 0.121 | CQD-Beam |
| Inductive knowledge graph completion | NELL995 | Hits@3 2p | 0.35 | CQD-Beam |
| Inductive knowledge graph completion | NELL995 | Hits@3 3p | 0.288 | CQD-Beam |
| Inductive knowledge graph completion | NELL995 | Hits@3 ip | 0.171 | CQD-Beam |
| Inductive knowledge graph completion | NELL995 | Hits@3 pi | 0.277 | CQD-Beam |
| Inductive knowledge graph completion | NELL995 | Hits@3 up | 0.156 | CQD-Beam |
| Inductive knowledge graph completion | NELL995 | Hits@3 1p | 0.667 | CQD-CO |
| Inductive knowledge graph completion | NELL995 | Hits@3 2i | 0.41 | CQD-CO |
| Inductive knowledge graph completion | NELL995 | Hits@3 2p | 0.265 | CQD-CO |
| Inductive knowledge graph completion | NELL995 | Hits@3 2u | 0.531 | CQD-CO |
| Inductive knowledge graph completion | NELL995 | Hits@3 3i | 0.529 | CQD-CO |
| Inductive knowledge graph completion | NELL995 | Hits@3 3p | 0.22 | CQD-CO |
| Inductive knowledge graph completion | NELL995 | Hits@3 ip | 0.196 | CQD-CO |
| Inductive knowledge graph completion | NELL995 | Hits@3 pi | 0.302 | CQD-CO |
| Inductive knowledge graph completion | NELL995 | Hits@3 up | 0.194 | CQD-CO |
| Inductive knowledge graph completion | FB15k | MRR 1p | 0.892 | CQD |
| Inductive knowledge graph completion | FB15k | MRR 2i | 0.771 | CQD |
| Inductive knowledge graph completion | FB15k | MRR 2p | 0.653 | CQD |
| Inductive knowledge graph completion | FB15k | MRR 2u | 0.723 | CQD |
| Inductive knowledge graph completion | FB15k | MRR 3i | 0.806 | CQD |
| Inductive knowledge graph completion | FB15k | MRR ip | 0.716 | CQD |
| Inductive knowledge graph completion | FB15k | Hits@3 1p | 0.918 | CQD-Beam |
| Inductive knowledge graph completion | FB15k | Hits@3 2i | 0.796 | CQD-Beam |
| Inductive knowledge graph completion | FB15k | Hits@3 2p | 0.779 | CQD-Beam |
| Inductive knowledge graph completion | FB15k | Hits@3 2u | 0.839 | CQD-Beam |
| Inductive knowledge graph completion | FB15k | Hits@3 3i | 0.837 | CQD-Beam |
| Inductive knowledge graph completion | FB15k | Hits@3 3p | 0.577 | CQD-Beam |
| Inductive knowledge graph completion | FB15k | Hits@3 ip | 0.375 | CQD-Beam |
| Inductive knowledge graph completion | FB15k | Hits@3 pi | 0.658 | CQD-Beam |
| Inductive knowledge graph completion | FB15k | Hits@3 up | 0.345 | CQD-Beam |
| Inductive knowledge graph completion | FB15k | Hits@3 1p | 0.918 | CQD-CO |
| Inductive knowledge graph completion | FB15k | Hits@3 2i | 0.796 | CQD-CO |
| Inductive knowledge graph completion | FB15k | Hits@3 2p | 0.454 | CQD-CO |
| Inductive knowledge graph completion | FB15k | Hits@3 2u | 0.816 | CQD-CO |
| Inductive knowledge graph completion | FB15k | Hits@3 3i | 0.837 | CQD-CO |
| Inductive knowledge graph completion | FB15k | Hits@3 3p | 0.191 | CQD-CO |
| Inductive knowledge graph completion | FB15k | Hits@3 ip | 0.336 | CQD-CO |
| Inductive knowledge graph completion | FB15k | Hits@3 pi | 0.513 | CQD-CO |
| Inductive knowledge graph completion | FB15k | Hits@3 up | 0.319 | CQD-CO |
| Inductive knowledge graph completion | NELL-995 | MRR 1p | 0.604 | CQD |
| Inductive knowledge graph completion | NELL-995 | MRR 2i | 0.436 | CQD |
| Inductive knowledge graph completion | NELL-995 | MRR ip | 0.256 | CQD |
| Inductive knowledge graph completion | FB15k-237 | MRR 3i | 0.486 | CQD |
| Inductive knowledge graph completion | FB15k-237 | Hits@3 1p | 0.512 | CQD-CO |
| Inductive knowledge graph completion | FB15k-237 | Hits@3 2i | 35.2 | CQD-CO |
| Inductive knowledge graph completion | FB15k-237 | Hits@3 2p | 0.213 | CQD-CO |
| Inductive knowledge graph completion | FB15k-237 | Hits@3 2u | 0.281 | CQD-CO |
| Inductive knowledge graph completion | FB15k-237 | Hits@3 3i | 0.457 | CQD-CO |
| Inductive knowledge graph completion | FB15k-237 | Hits@3 3p | 0.131 | CQD-CO |
| Inductive knowledge graph completion | FB15k-237 | Hits@3 ip | 0.146 | CQD-CO |
| Inductive knowledge graph completion | FB15k-237 | Hits@3 pi | 0.222 | CQD-CO |
| Inductive knowledge graph completion | FB15k-237 | Hits@3 up | 0.132 | CQD-CO |
| Inductive knowledge graph completion | FB15k-237 | Hits@3 1p | 0.512 | CQD-Beam |
| Inductive knowledge graph completion | FB15k-237 | Hits@3 2i | 0.352 | CQD-Beam |
| Inductive knowledge graph completion | FB15k-237 | Hits@3 2p | 0.288 | CQD-Beam |
| Inductive knowledge graph completion | FB15k-237 | Hits@3 2u | 0.284 | CQD-Beam |
| Inductive knowledge graph completion | FB15k-237 | Hits@3 3i | 0.457 | CQD-Beam |
| Inductive knowledge graph completion | FB15k-237 | Hits@3 3p | 0.221 | CQD-Beam |
| Inductive knowledge graph completion | FB15k-237 | Hits@3 ip | 0.129 | CQD-Beam |
| Inductive knowledge graph completion | FB15k-237 | Hits@3 pi | 0.249 | CQD-Beam |
| Inductive knowledge graph completion | FB15k-237 | Hits@3 up | 0.121 | CQD-Beam |