Hongyu Ren, Jure Leskovec
One of the fundamental problems in Artificial Intelligence is to perform complex multi-hop logical reasoning over the facts captured by a knowledge graph (KG). This problem is challenging, because KGs can be massive and incomplete. Recent approaches embed KG entities in a low dimensional space and then use these embeddings to find the answer entities. However, it has been an outstanding challenge of how to handle arbitrary first-order logic (FOL) queries as present methods are limited to only a subset of FOL operators. In particular, the negation operator is not supported. An additional limitation of present methods is also that they cannot naturally model uncertainty. Here, we present BetaE, a probabilistic embedding framework for answering arbitrary FOL queries over KGs. BetaE is the first method that can handle a complete set of first-order logical operations: conjunction ($\wedge$), disjunction ($\vee$), and negation ($\neg$). A key insight of BetaE is to use probabilistic distributions with bounded support, specifically the Beta distribution, and embed queries/entities as distributions, which as a consequence allows us to also faithfully model uncertainty. Logical operations are performed in the embedding space by neural operators over the probabilistic embeddings. We demonstrate the performance of BetaE on answering arbitrary FOL queries on three large, incomplete KGs. While being more general, BetaE also increases relative performance by up to 25.4% over the current state-of-the-art KG reasoning methods that can only handle conjunctive queries without negation.
| Task | Dataset | Metric | Value | Model |
|---|---|---|---|---|
| Knowledge Graphs | FB15k | MRR 1p | 0.651 | BetaE |
| Knowledge Graphs | FB15k | MRR 2i | 0.558 | BetaE |
| Knowledge Graphs | FB15k | MRR 2p | 0.257 | BetaE |
| Knowledge Graphs | FB15k | MRR 2u | 0.401 | BetaE |
| Knowledge Graphs | FB15k | MRR 3i | 0.665 | BetaE |
| Knowledge Graphs | FB15k | MRR 3p | 0.247 | BetaE |
| Knowledge Graphs | FB15k | MRR ip | 0.281 | BetaE |
| Knowledge Graphs | FB15k | MRR pi | 0.439 | BetaE |
| Knowledge Graphs | FB15k | MRR up | 0.252 | BetaE |
| Knowledge Graphs | NELL-995 | MRR 1p | 0.53 | BetaE |
| Knowledge Graphs | NELL-995 | MRR 2i | 0.376 | BetaE |
| Knowledge Graphs | NELL-995 | MRR 2p | 0.13 | BetaE |
| Knowledge Graphs | NELL-995 | MRR 2u | 0.122 | BetaE |
| Knowledge Graphs | NELL-995 | MRR 3i | 0.475 | BetaE |
| Knowledge Graphs | NELL-995 | MRR 3p | 0.114 | BetaE |
| Knowledge Graphs | NELL-995 | MRR ip | 0.143 | BetaE |
| Knowledge Graphs | NELL-995 | MRR pi | 0.241 | BetaE |
| Knowledge Graphs | NELL-995 | MRR up | 0.085 | BetaE |
| Knowledge Graphs | FB15k-237 | MRR 1p | 0.39 | BetaE |
| Knowledge Graphs | FB15k-237 | MRR 2i | 0.288 | BetaE |
| Knowledge Graphs | FB15k-237 | MRR 2p | 0.109 | BetaE |
| Knowledge Graphs | FB15k-237 | MRR 2u | 0.124 | BetaE |
| Knowledge Graphs | FB15k-237 | MRR 3i | 0.425 | BetaE |
| Knowledge Graphs | FB15k-237 | MRR 3p | 0.1 | BetaE |
| Knowledge Graphs | FB15k-237 | MRR ip | 0.126 | BetaE |
| Knowledge Graphs | FB15k-237 | MRR pi | 0.224 | BetaE |
| Knowledge Graphs | FB15k-237 | MRR up | 0.097 | BetaE |
| Knowledge Graph Completion | FB15k | MRR 1p | 0.651 | BetaE |
| Knowledge Graph Completion | FB15k | MRR 2i | 0.558 | BetaE |
| Knowledge Graph Completion | FB15k | MRR 2p | 0.257 | BetaE |
| Knowledge Graph Completion | FB15k | MRR 2u | 0.401 | BetaE |
| Knowledge Graph Completion | FB15k | MRR 3i | 0.665 | BetaE |
| Knowledge Graph Completion | FB15k | MRR 3p | 0.247 | BetaE |
| Knowledge Graph Completion | FB15k | MRR ip | 0.281 | BetaE |
| Knowledge Graph Completion | FB15k | MRR pi | 0.439 | BetaE |
| Knowledge Graph Completion | FB15k | MRR up | 0.252 | BetaE |
| Knowledge Graph Completion | NELL-995 | MRR 1p | 0.53 | BetaE |
| Knowledge Graph Completion | NELL-995 | MRR 2i | 0.376 | BetaE |
| Knowledge Graph Completion | NELL-995 | MRR 2p | 0.13 | BetaE |
| Knowledge Graph Completion | NELL-995 | MRR 2u | 0.122 | BetaE |
| Knowledge Graph Completion | NELL-995 | MRR 3i | 0.475 | BetaE |
| Knowledge Graph Completion | NELL-995 | MRR 3p | 0.114 | BetaE |
| Knowledge Graph Completion | NELL-995 | MRR ip | 0.143 | BetaE |
| Knowledge Graph Completion | NELL-995 | MRR pi | 0.241 | BetaE |
| Knowledge Graph Completion | NELL-995 | MRR up | 0.085 | BetaE |
| Knowledge Graph Completion | FB15k-237 | MRR 1p | 0.39 | BetaE |
| Knowledge Graph Completion | FB15k-237 | MRR 2i | 0.288 | BetaE |
| Knowledge Graph Completion | FB15k-237 | MRR 2p | 0.109 | BetaE |
| Knowledge Graph Completion | FB15k-237 | MRR 2u | 0.124 | BetaE |
| Knowledge Graph Completion | FB15k-237 | MRR 3i | 0.425 | BetaE |
| Knowledge Graph Completion | FB15k-237 | MRR 3p | 0.1 | BetaE |
| Knowledge Graph Completion | FB15k-237 | MRR ip | 0.126 | BetaE |
| Knowledge Graph Completion | FB15k-237 | MRR pi | 0.224 | BetaE |
| Knowledge Graph Completion | FB15k-237 | MRR up | 0.097 | BetaE |
| Large Language Model | FB15k | MRR 1p | 0.651 | BetaE |
| Large Language Model | FB15k | MRR 2i | 0.558 | BetaE |
| Large Language Model | FB15k | MRR 2p | 0.257 | BetaE |
| Large Language Model | FB15k | MRR 2u | 0.401 | BetaE |
| Large Language Model | FB15k | MRR 3i | 0.665 | BetaE |
| Large Language Model | FB15k | MRR 3p | 0.247 | BetaE |
| Large Language Model | FB15k | MRR ip | 0.281 | BetaE |
| Large Language Model | FB15k | MRR pi | 0.439 | BetaE |
| Large Language Model | FB15k | MRR up | 0.252 | BetaE |
| Large Language Model | NELL-995 | MRR 1p | 0.53 | BetaE |
| Large Language Model | NELL-995 | MRR 2i | 0.376 | BetaE |
| Large Language Model | NELL-995 | MRR 2p | 0.13 | BetaE |
| Large Language Model | NELL-995 | MRR 2u | 0.122 | BetaE |
| Large Language Model | NELL-995 | MRR 3i | 0.475 | BetaE |
| Large Language Model | NELL-995 | MRR 3p | 0.114 | BetaE |
| Large Language Model | NELL-995 | MRR ip | 0.143 | BetaE |
| Large Language Model | NELL-995 | MRR pi | 0.241 | BetaE |
| Large Language Model | NELL-995 | MRR up | 0.085 | BetaE |
| Large Language Model | FB15k-237 | MRR 1p | 0.39 | BetaE |
| Large Language Model | FB15k-237 | MRR 2i | 0.288 | BetaE |
| Large Language Model | FB15k-237 | MRR 2p | 0.109 | BetaE |
| Large Language Model | FB15k-237 | MRR 2u | 0.124 | BetaE |
| Large Language Model | FB15k-237 | MRR 3i | 0.425 | BetaE |
| Large Language Model | FB15k-237 | MRR 3p | 0.1 | BetaE |
| Large Language Model | FB15k-237 | MRR ip | 0.126 | BetaE |
| Large Language Model | FB15k-237 | MRR pi | 0.224 | BetaE |
| Large Language Model | FB15k-237 | MRR up | 0.097 | BetaE |
| Inductive knowledge graph completion | FB15k | MRR 1p | 0.651 | BetaE |
| Inductive knowledge graph completion | FB15k | MRR 2i | 0.558 | BetaE |
| Inductive knowledge graph completion | FB15k | MRR 2p | 0.257 | BetaE |
| Inductive knowledge graph completion | FB15k | MRR 2u | 0.401 | BetaE |
| Inductive knowledge graph completion | FB15k | MRR 3i | 0.665 | BetaE |
| Inductive knowledge graph completion | FB15k | MRR 3p | 0.247 | BetaE |
| Inductive knowledge graph completion | FB15k | MRR ip | 0.281 | BetaE |
| Inductive knowledge graph completion | FB15k | MRR pi | 0.439 | BetaE |
| Inductive knowledge graph completion | FB15k | MRR up | 0.252 | BetaE |
| Inductive knowledge graph completion | NELL-995 | MRR 1p | 0.53 | BetaE |
| Inductive knowledge graph completion | NELL-995 | MRR 2i | 0.376 | BetaE |
| Inductive knowledge graph completion | NELL-995 | MRR 2p | 0.13 | BetaE |
| Inductive knowledge graph completion | NELL-995 | MRR 2u | 0.122 | BetaE |
| Inductive knowledge graph completion | NELL-995 | MRR 3i | 0.475 | BetaE |
| Inductive knowledge graph completion | NELL-995 | MRR 3p | 0.114 | BetaE |
| Inductive knowledge graph completion | NELL-995 | MRR ip | 0.143 | BetaE |
| Inductive knowledge graph completion | NELL-995 | MRR pi | 0.241 | BetaE |
| Inductive knowledge graph completion | NELL-995 | MRR up | 0.085 | BetaE |
| Inductive knowledge graph completion | FB15k-237 | MRR 1p | 0.39 | BetaE |
| Inductive knowledge graph completion | FB15k-237 | MRR 2i | 0.288 | BetaE |
| Inductive knowledge graph completion | FB15k-237 | MRR 2p | 0.109 | BetaE |
| Inductive knowledge graph completion | FB15k-237 | MRR 2u | 0.124 | BetaE |
| Inductive knowledge graph completion | FB15k-237 | MRR 3i | 0.425 | BetaE |
| Inductive knowledge graph completion | FB15k-237 | MRR 3p | 0.1 | BetaE |
| Inductive knowledge graph completion | FB15k-237 | MRR ip | 0.126 | BetaE |
| Inductive knowledge graph completion | FB15k-237 | MRR pi | 0.224 | BetaE |
| Inductive knowledge graph completion | FB15k-237 | MRR up | 0.097 | BetaE |