Skip to content
Book Open access

Graph Joint Representation Learning for Sound and Scalable Instantiation

Aug 2026 · Proceedings of the 32nd ACM SIGKDD Conference on Knowledge Discovery and Data Mining V.2 · pp. 2720-2729 · 0 citations · 40 references

TL;DR

RGRS is proposed, a unified neuro-symbolic framework that integrates rule-level reasoning with graph representation learning for scalable Horn rule instantiation and achieves consistently high accuracy with significant efficiency gains over symbolic and neuro-symbolic baselines.

Abstract

Knowledge graph reasoning is a fundamental problem in artificial intelligence, where rule-based methods provide strong interpretability but suffer from exponential symbolic search complexity, while existing neuro-symbolic approaches struggle to model complex Horn rules with rich topologies. We propose Rule–Graph Joint Representation Learning (RGRS), a unified neuro-symbolic framework that integrates rule-level reasoning with graph representation learning for scalable Horn rule instantiation. RGRS introduces logically constrained rule embeddings and dominance-aware subgraph representations, enabling embedding-guided structural pruning while preserving correctness through exact symbolic verification. By coupling continuous structural abstraction with deterministic matching in a filter–verify pipeline, RGRS effectively reduces the combinatorial search space without compromising logical semantics. Extensive experiments on large-scale knowledge graphs show that RGRS achieves consistently high accuracy with significant efficiency gains over symbolic and neuro-symbolic baselines, providing a principled bridge between symbolic reasoning and embedding-based efficiency.

Read PDF

Similar papers

Preprint Aug 2026

SymbolLKG: Towards Verifiable Logical Reasoning via Logical Knowledge Graph and Symbolic Solvers

A Neuro-Symbolic architecture that integrates a Logical Knowledge Graph (LKG) with dynamic solver routing, and introduces an ontology-based LKG that treats logical rules and constraints as first-class topological nodes, enabling explicit modeling of dependencies extracted from text.

Hai-Zhao Fan, Yu-Chi Xiong, Jize Wang et al. · 0 citations
Conference Aug 2026

Graph-Verified Bootstrapping for Multi-Hop Knowledge Reasoning

Multi-hop knowledge reasoning over knowledge graphs remains fundamentally challenging under weak supervision, as lightweight models lack intermediate signals for relation composition, while large language models suffer from hallucinations. We propose a graph-verified bootstrapping framework that exploits the knowledge...

Jun-Lin Zhang, Runhao Zhao, Zi-Jie Wu et al. · 0 citations
#artificial intelligence Preprint Sep 2026

From Scene Graphs to Answers: Selective Neuro-Symbolic Reasoning for Autonomous Driving

This work introduces a query-adaptive neuro-symbolic reasoning framework that explicitly allocates computation according to the nature of the query and shifts the role of the LLM from a universal reasoning engine to a targeted semantic reasoner, while allowing deterministic computation to be handled exactly and efficie...

Yi-Yao Wang, Pei Liu, Fang Liu et al. · 0 citations
2026

An LLM-Empowered Graph-Structured Collaborative Inference Framework for Logical Reading Comprehension

In machine reading comprehension (MRC) tasks that involve complex logical reasoning, graph structures are often regarded as a more suitable representation paradigm than plain text sequences, owing to their explicit structured semantic environment and strong relational inference capabilities. Nevertheless, most existing...

Zhuo Zhao, Zhiwen Xie, Guang-You Zhou et al. · 0 citations
Preprint Aug 2026

Structure-Internalized Rule Language Model for Faithful Knowledge Graph Reasoning

A Structure-Internalized Rule Language Model (SIRLM) is proposed, which centers on structural rule generation to couple the parametric learning of structural knowledge with the faithfulness evaluation of reasoning logic, enabling LLMs to anchor tightly to KG-grounded evidence.

Xingrui Zhuo, Jia-Pu Wang, Manzong Huang et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.