Neural-Symbolic Models for Logical Queries on Knowledge Graphs
On the map: LLM reasoning → Knowledge- and tool-augmented reasoning
Abstract (arXiv)
Answering complex first-order logic (FOL) queries on knowledge graphs is a fundamental task for multi-hop reasoning. Traditional symbolic methods traverse a complete knowledge graph to extract the answers, which provides good interpretation for each step. Recent neural methods learn geometric embeddings for complex queries. These methods can generalize to incomplete knowledge graphs, but their reasoning process is hard to interpret. In this paper, we propose Graph Neural Network Query Executor (GNN-QE), a neural-symbolic model that enjoys the advantages of both worlds. GNN-QE decomposes a complex FOL query into relation projections and logical operations over fuzzy sets, which provides interpretability for intermediate variables. To reason about the missing links, GNN-QE adapts a graph neural network from knowledge graph completion to execute the relation projections, and models the logical operations with product fuzzy logic. Experiments on 3 datasets show that GNN-QE significantly improves over previous state-of-the-art models in answering FOL queries. Meanwhile, GNN-QE can predict the number of answers without explicit supervision, and provide visualizations for intermediate variables.
Key facts. Cited by 60 papers in the map (data through 7 Oct 2026). Placed in Knowledge- and tool-augmented reasoning, one of 17 directions in LLM reasoning. Builds on 26 of its 44 references that are in the map. First posted on arXiv 16 May 2022.
Builds on
26 of 44 references.
References · 26
- 2014Adam: A Method for Stochastic Optimizationcited by 36,960
- 2017Modeling Relational Data with Graph Convolutional Networkscited by 1,684
- 2014Embedding Entities and Relations for Learning and Inference in Knowledge Basescited by 929
- 2016Complex Embeddings for Simple Link Predictioncited by 897
- 2019RotatE: Knowledge Graph Embedding by Relational Rotation in Complex Spacecited by 893
- 2020Principal Neighbourhood Aggregation for Graph Netscited by 477
- 2019Composition-based Multi-Relational Graph Convolutional Networkscited by 395
- 2021Neural Bellman-Ford Networks: A General Graph Neural Network Framework for Link Predictioncited by 273
- 2017DeepPath: A Reinforcement Learning Method for Knowledge Graph Reasoningcited by 265
- 2015A Review of Relational Machine Learning for Knowledge Graphscited by 264
- 2019Inductive Relation Prediction by Subgraph Reasoningcited by 237
- 2021Identity-aware Graph Neural Networkscited by 197
14 more
- 2019DRUM: End-To-End Differentiable Rule Mining On Knowledge Graphscited by 173
- 2020Query2box: Reasoning over Knowledge Graphs in Vector Space using Box Embeddingscited by 169
- 2017Go for a Walk and Arrive at the Answer: Reasoning Over Paths in Knowledge Bases using Reinforcement Learningcited by 161
- 2020Beta Embeddings for Multi-Hop Logical Reasoning in Knowledge Graphscited by 128
- 2018Embedding Logical Queries on Knowledge Graphscited by 120
- 2020RNNLogic: Learning Logic Rules for Reasoning on Knowledge Graphscited by 117
- 2020Complex Query Answering with Neural Link Predictorscited by 98
- 2021ConE: Cone Embeddings for Multi-Hop Reasoning over Knowledge Graphscited by 78
- 2015Traversing Knowledge Graphs in Vector Spacecited by 51
- 2020Self-Supervised Hyperboloid Representations from Logical Queries over Knowledge Graphscited by 35
- 2020LowFER: Low-rank Bilinear Pooling for Link Predictioncited by 20
- 2020Reasoning on Knowledge Graphs with Debate Dynamicscited by 16
- 2021Learning to Walk with Dual Agents for Knowledge Graph Reasoningcited by 16
- 2021Fuzzy Logic Based Logical Query Answering on Knowledge Graphscited by 11
Built on by
Citing papers per year: 2022: 7; 2023: 22; 2024: 18; 2025: 8; 2026: 5.
60 papers.
Sort:
By area:
- 2022Binding Language Models in Symbolic Languagescited by 224
- 2023Towards Foundation Models for Knowledge Graph Reasoningcited by 83
- 2023Neural Graph Reasoning: Complex Logical Query Answering Meets Graph Databasescited by 35
- 2022Weisfeiler and Leman Go Relationalcited by 28
- 2022Answering Complex Logical Queries on Knowledge Graphs via Query Computation Tree Optimizationcited by 28
- 2023Logical Message Passing Networks with One-hop Inference on Atomic Formulascited by 28
- 2022Inductive Logical Query Answering in Knowledge Graphscited by 25
- 2023Double Equivariance for Inductive Link Prediction for Both New Nodes and New Relation Typescited by 21
- 2023Complex Query Answering on Eventuality Knowledge Graph with Implicit Logical Constraintscited by 21
- 2022Neural-Symbolic Entangled Framework for Complex Query Answeringcited by 18
- 2023Wasserstein-Fisher-Rao Embedding: Logical Query Embeddings with Local Comparison and Global Transportcited by 16
- 2023Adapting Neural Link Predictors for Data-Efficient Complex Query Answeringcited by 13
38 more
- 2023Sequential Query Encoding For Complex Query Answering on Knowledge Graphscited by 13
- 2023A Review on Knowledge Graphs for Healthcare: Resources, Applications, and Promisescited by 13
- 2024A Foundation Model for Zero-shot Logical Query Reasoningcited by 13
- 2023Rethinking Language Models as Symbolic Knowledge Graphscited by 12
- 2023Knowledge Graph Reasoning over Entities and Numerical Valuescited by 11
- 2023Artificial Intelligence for Drug Discovery: Are We There Yet?cited by 11
- 2024Neuro-Symbolic AI: Explainability, Challenges, and Future Trendscited by 10
- 2022NQE: N-ary Query Embedding for Complex Query Answering over Hyper-Relational Knowledge Graphscited by 9
- 2023Adaptive Path-Memory Network for Temporal Knowledge Graph Reasoningcited by 9
- 2023Temporal Inductive Path Neural Network for Temporal Knowledge Graph Reasoningcited by 9
- 2024Is Complex Query Answering Really Complex?cited by 7
- 2023Knowledge-augmented Graph Machine Learning for Drug Discovery: A Surveycited by 6
- 2023LitCQD: Multi-Hop Reasoning in Incomplete Knowledge Graphs with Numeric Literalscited by 6
- 2025Enhancing Transformers for Generalizable First-Order Logical Entailmentcited by 6
- 2023Knowledge Graphs Queryingcited by 5
- 2023Privacy-Preserved Neural Graph Databasescited by 5
- 2024Conditional Logical Message Passing Transformer for Complex Query Answeringcited by 5
- 2024Generating SROI^- Ontologies via Knowledge Graph Query Embedding Learningcited by 5
- 2023A Neuro-Symbolic Framework for Answering Graph Pattern Queries in Knowledge Graphscited by 4
- 2023Query2Triple: Unified Query Encoding for Answering Diverse Complex Queries over Knowledge Graphscited by 4
- 2024Learning Federated Neural Graph Databases for Answering Complex Queries from Distributed Knowledge Graphscited by 4
- 2024DAGE: DAG Query Answering via Relational Combinator with Logical Constraintscited by 4
- 2024Improving Multi-hop Logical Reasoning in Knowledge Graphs with Context-Aware Query Representation Learningcited by 3
- 2024CrysToGraph: A Comprehensive Predictive Model for Crystal Materials Properties and the Benchmarkcited by 3
- 2022TAR: Neural Logical Reasoning across TBox and ABoxcited by 2
- 2023Modeling Relational Patterns for Logical Query Answering over Knowledge Graphscited by 2
- 2024Extending Complex Logical Queries on Uncertain Knowledge Graphscited by 2
- 2024RConE: Rough Cone Embedding for Multi-Hop Logical Query Answering on Multi-Modal Knowledge Graphscited by 2
- 2025Enhancing LLM Tool Use with High-quality Instruction Data from Knowledge Graphcited by 2
- 2026Neural-Symbolic Logic Query Answering in Non-Euclidean Spacecited by 2
- 2023Navigating Healthcare Insights: A Birds Eye View of Explainability with Knowledge Graphscited by 1
- 2024SemPool: Simple, robust, and interpretable KG pooling for enhancing language modelscited by 1
- 2024Pathformer: Recursive Path Query Encoding for Complex Logical Query Answeringcited by 1
- 2024Complex Logical Query Answering by Calibrating Knowledge Graph Completion Modelscited by 1
- 2024Edge Contrastive Learning: An Augmentation-Free Graph Contrastive Learning Modelcited by 1
- 2025KGCompiler: Deep Learning Compilation Optimization for Knowledge Graph Complex Logical Query Answeringcited by 1
- 2025Efficient and Scalable Neural Symbolic Search for Knowledge Graph Complex Query Answeringcited by 1
- 2025DeepGraphLog for Layered Neurosymbolic AIcited by 1
50 most cited of 60 All 60 (JSON)
- 2026Structure-Internalized Rule Language Model for Faithful Knowledge Graph Reasoning18 Aug 2026
- 2026InductWave: Inductive Multi-Hop Logical Query Answering on Knowledge Graphs8 Jul 2026
- 2026Neural Scalable Symbolic Search Framework for Complex Logical Queries with Multiple Free Variables25 May 2026
- 2026T-Norm Operators for EU AI Act Compliance Classification: An Empirical Comparison of Lukasiewicz, Product, and G"odel Semantics in a Neuro-Symbolic Reasoning System30 Mar 2026
- 2026Neural-Symbolic Logic Query Answering in Non-Euclidean Space25 Feb 2026
- 2025Counting Still Counts: Understanding Neural Complex Query Answering Through Query Relaxation27 Nov 2025
- 2025Knowledge Reasoning Language Model: Unifying Knowledge and Language for Inductive Knowledge Graph Reasoning15 Oct 2025
- 2025DeepGraphLog for Layered Neurosymbolic AI9 Sep 2025
- 2025Interactive Query Answering on Knowledge Graphs with Soft Entity Constraints19 Aug 2025
- 2025Enhancing LLM Tool Use with High-quality Instruction Data from Knowledge Graph26 Jun 2025
- 2025Efficient and Scalable Neural Symbolic Search for Knowledge Graph Complex Query Answering13 May 2025
- 2025KGCompiler: Deep Learning Compilation Optimization for Knowledge Graph Complex Logical Query Answering4 Mar 2025
38 more
- 2025Enhancing Transformers for Generalizable First-Order Logical Entailment1 Jan 2025
- 2024Edge Contrastive Learning: An Augmentation-Free Graph Contrastive Learning Model15 Dec 2024
- 2024Neuro-Symbolic AI: Explainability, Challenges, and Future Trends7 Nov 2024
- 2024DAGE: DAG Query Answering via Relational Combinator with Logical Constraints29 Oct 2024
- 2024Is Complex Query Answering Really Complex?16 Oct 2024
- 2024Complex Logical Query Answering by Calibrating Knowledge Graph Completion Models30 Sep 2024
- 2024One Model, Any Conjunctive Query: Graph Neural Networks for Answering Queries over Incomplete Knowledge Graphs21 Sep 2024
- 2024RConE: Rough Cone Embedding for Multi-Hop Logical Query Answering on Multi-Modal Knowledge Graphs21 Aug 2024
- 2024CrysToGraph: A Comprehensive Predictive Model for Crystal Materials Properties and the Benchmark23 Jul 2024
- 2024Generating SROI^- Ontologies via Knowledge Graph Query Embedding Learning12 Jul 2024
- 2024Pathformer: Recursive Path Query Encoding for Complex Logical Query Answering21 Jun 2024
- 2024Improving Multi-hop Logical Reasoning in Knowledge Graphs with Context-Aware Query Representation Learning11 Jun 2024
- 2024A Foundation Model for Zero-shot Logical Query Reasoning10 Apr 2024
- 2024Prompt-fused framework for Inductive Logical Query Answering19 Mar 2024
- 2024Extending Complex Logical Queries on Uncertain Knowledge Graphs3 Mar 2024
- 2024Learning Federated Neural Graph Databases for Answering Complex Queries from Distributed Knowledge Graphs22 Feb 2024
- 2024Conditional Logical Message Passing Transformer for Complex Query Answering20 Feb 2024
- 2024SemPool: Simple, robust, and interpretable KG pooling for enhancing language models3 Feb 2024
- 2024Type-based Neural Link Prediction Adapter for Complex Query Answering29 Jan 2024
- 2023Privacy-Preserved Neural Graph Databases25 Dec 2023
- 2023Query2Triple: Unified Query Encoding for Answering Diverse Complex Queries over Knowledge Graphs17 Oct 2023
- 2023A Neuro-Symbolic Framework for Answering Graph Pattern Queries in Knowledge Graphs6 Oct 2023
- 2023Towards Foundation Models for Knowledge Graph Reasoning6 Oct 2023
- 2023Navigating Healthcare Insights: A Birds Eye View of Explainability with Knowledge Graphs28 Sep 2023
- 2023Temporal Inductive Path Neural Network for Temporal Knowledge Graph Reasoning6 Sep 2023
- 2023Rethinking Language Models as Symbolic Knowledge Graphs25 Aug 2023
- 2023Artificial Intelligence for Drug Discovery: Are We There Yet?13 Jul 2023
- 2023A Review on Knowledge Graphs for Healthcare: Resources, Applications, and Promises7 Jun 2023
- 2023Knowledge Graph Reasoning over Entities and Numerical Values2 Jun 2023
- 2023Complex Query Answering on Eventuality Knowledge Graph with Implicit Logical Constraints30 May 2023
- 2023Knowledge Graphs Querying23 May 2023
- 2023Wasserstein-Fisher-Rao Embedding: Logical Query Embeddings with Local Comparison and Global Transport6 May 2023
- 2023LitCQD: Multi-Hop Reasoning in Incomplete Knowledge Graphs with Numeric Literals28 Apr 2023
- 2023Adaptive Path-Memory Network for Temporal Knowledge Graph Reasoning25 Apr 2023
- 2023Neural Graph Reasoning: Complex Logical Query Answering Meets Graph Databases26 Mar 2023
- 2023Modeling Relational Patterns for Logical Query Answering over Knowledge Graphs21 Mar 2023
- 2023Sequential Query Encoding For Complex Query Answering on Knowledge Graphs25 Feb 2023
- 2023Knowledge-augmented Graph Machine Learning for Drug Discovery: A Survey16 Feb 2023
50 newest of 60 All 60 (JSON)
- 2023Neural Graph Reasoning: Complex Logical Query Answering Meets Graph Databasescited by 35
- 2022Weisfeiler and Leman Go Relationalcited by 28
- 2023Rethinking Language Models as Symbolic Knowledge Graphscited by 12
- 2022NQE: N-ary Query Embedding for Complex Query Answering over Hyper-Relational Knowledge Graphscited by 9
- 2023LitCQD: Multi-Hop Reasoning in Incomplete Knowledge Graphs with Numeric Literalscited by 6
- 2024Improving Multi-hop Logical Reasoning in Knowledge Graphs with Context-Aware Query Representation Learningcited by 3
- 2022TAR: Neural Logical Reasoning across TBox and ABoxcited by 2
- 2025KGCompiler: Deep Learning Compilation Optimization for Knowledge Graph Complex Logical Query Answeringcited by 1
- 2025DeepGraphLog for Layered Neurosymbolic AIcited by 1
- 2025Knowledge Reasoning Language Model: Unifying Knowledge and Language for Inductive Knowledge Graph Reasoningcited by 1
- 2024Type-based Neural Link Prediction Adapter for Complex Query Answeringcited by 0
- 2026T-Norm Operators for EU AI Act Compliance Classification: An Empirical Comparison of Lukasiewicz, Product, and G"odel Semantics in a Neuro-Symbolic Reasoning Systemcited by 0
12 most cited of 13 All 13 (JSON)
- 2026Structure-Internalized Rule Language Model for Faithful Knowledge Graph Reasoning18 Aug 2026
- 2026T-Norm Operators for EU AI Act Compliance Classification: An Empirical Comparison of Lukasiewicz, Product, and G"odel Semantics in a Neuro-Symbolic Reasoning System30 Mar 2026
- 2025Knowledge Reasoning Language Model: Unifying Knowledge and Language for Inductive Knowledge Graph Reasoning15 Oct 2025
- 2025DeepGraphLog for Layered Neurosymbolic AI9 Sep 2025
- 2025KGCompiler: Deep Learning Compilation Optimization for Knowledge Graph Complex Logical Query Answering4 Mar 2025
- 2024Improving Multi-hop Logical Reasoning in Knowledge Graphs with Context-Aware Query Representation Learning11 Jun 2024
- 2024Type-based Neural Link Prediction Adapter for Complex Query Answering29 Jan 2024
- 2023Rethinking Language Models as Symbolic Knowledge Graphs25 Aug 2023
- 2023LitCQD: Multi-Hop Reasoning in Incomplete Knowledge Graphs with Numeric Literals28 Apr 2023
- 2023Neural Graph Reasoning: Complex Logical Query Answering Meets Graph Databases26 Mar 2023
- 2022Weisfeiler and Leman Go Relational30 Nov 2022
- 2022NQE: N-ary Query Embedding for Complex Query Answering over Hyper-Relational Knowledge Graphs24 Nov 2022
12 newest of 13 All 13 (JSON)
- 2022Binding Language Models in Symbolic Languagescited by 224
- 2023Towards Foundation Models for Knowledge Graph Reasoningcited by 83
- 2022Answering Complex Logical Queries on Knowledge Graphs via Query Computation Tree Optimizationcited by 28
- 2023Logical Message Passing Networks with One-hop Inference on Atomic Formulascited by 28
- 2022Inductive Logical Query Answering in Knowledge Graphscited by 25
- 2023Double Equivariance for Inductive Link Prediction for Both New Nodes and New Relation Typescited by 21
- 2023Complex Query Answering on Eventuality Knowledge Graph with Implicit Logical Constraintscited by 21
- 2022Neural-Symbolic Entangled Framework for Complex Query Answeringcited by 18
- 2023Wasserstein-Fisher-Rao Embedding: Logical Query Embeddings with Local Comparison and Global Transportcited by 16
- 2023Adapting Neural Link Predictors for Data-Efficient Complex Query Answeringcited by 13
- 2023Sequential Query Encoding For Complex Query Answering on Knowledge Graphscited by 13
- 2023A Review on Knowledge Graphs for Healthcare: Resources, Applications, and Promisescited by 13
12 most cited of 46 All 46 (JSON)
- 2026InductWave: Inductive Multi-Hop Logical Query Answering on Knowledge Graphs8 Jul 2026
- 2026Neural Scalable Symbolic Search Framework for Complex Logical Queries with Multiple Free Variables25 May 2026
- 2026Neural-Symbolic Logic Query Answering in Non-Euclidean Space25 Feb 2026
- 2025Counting Still Counts: Understanding Neural Complex Query Answering Through Query Relaxation27 Nov 2025
- 2025Interactive Query Answering on Knowledge Graphs with Soft Entity Constraints19 Aug 2025
- 2025Efficient and Scalable Neural Symbolic Search for Knowledge Graph Complex Query Answering13 May 2025
- 2025Enhancing Transformers for Generalizable First-Order Logical Entailment1 Jan 2025
- 2024Edge Contrastive Learning: An Augmentation-Free Graph Contrastive Learning Model15 Dec 2024
- 2024Neuro-Symbolic AI: Explainability, Challenges, and Future Trends7 Nov 2024
- 2024DAGE: DAG Query Answering via Relational Combinator with Logical Constraints29 Oct 2024
- 2024Is Complex Query Answering Really Complex?16 Oct 2024
- 2024Complex Logical Query Answering by Calibrating Knowledge Graph Completion Models30 Sep 2024
12 newest of 46 All 46 (JSON)
Similar, not cited
Close in wording, no citation either way
- 2022Neural Methods for Logical Reasoning Over Knowledge Graphs
- 2023Rethinking Complex Queries on Knowledge Graphs with Neural Link Predictors
- 2025A Large Language Model Based Method for Complex Logical Reasoning over Knowledge Graphs
- 2026Q-GNN: Query-Conditioned Graph Neural Networks with Type Awareness for Knowledge Graph Completion
- 2025Neural-Symbolic Message Passing with Dynamic Pruning
- 2022GammaE: Gamma Embeddings for Logical Queries on Knowledge Graphs
- 2025Fully Geometric Multi-Hop Reasoning on Knowledge Graphs with Transitive Relations
- 2023Query Structure Modeling for Inductive Logical Reasoning Over Knowledge Graphs