Multi-hop logical reasoning on knowledge graphs is a pivotal task in natural language processing, with numerous approaches aiming to answer First-Order Logic (FOL) queries. Recent geometry (e.g., box, cone) and probability (e.g., beta distribution)-based methodologies have effectively addressed complex FOL queries. However, a common challenge across these methods lies in determining accurate geometric bounds or probability parameters for these queries. The challenge arises because existing methods rely on linear sequential operations within their computation graphs, overlooking the logical structure of the query and the relation-induced information that can be gleaned from the relations of the query, which we call the context of the query. To address the problem, we propose a model-agnostic methodology that enhances the effectiveness of existing multi-hop logical reasoning approaches by fully integrating the context of the FOL query graph. Our approach distinctively discerns (1) the structural context inherent to the query structure and (2) the relation-induced context unique to each node in the query graph as delineated in the corresponding knowledge graph. This dual-context paradigm helps nodes within a query graph attain refined internal representations throughout the multi-hop reasoning steps. Through experiments on two datasets, our method consistently enhances the three multi-hop reasoning foundation models, achieving performance improvements of up to 19.5%. Our code is available at https://github.com/kjh9503/caqr.
A Foundation Model for Zero-shot Logical Query Reasoning
Intel AI Lab(英特尔人工智能实验室);Purdue University(普渡大学);Mila - Québec AI Institute(米拉-魁北克人工智能研究所);HEC Montréal(蒙特利尔高等商学院);CIFAR AI Chair(加拿大高级研究院人工智能讲席);Université de Montréal(蒙特利尔大学)
Enhancing Transformers for Generalizable First-Order Logical Entailment
Department of Computer Science and Engineering, HKUST, Hong Kong SAR, China(香港科技大学计算机科学与工程系);Department of Computer Science and Engineering, Beihang University, Beijing, China(北航计算机科学与工程系);Department of Mathematical Sciences, Tsinghua University, Beijing, China(清华大学数学科学系)
Quantifying Logical Consistency in Transformers via Query-Key Alignment
Skolkovo Institute of Science and Technology(斯科尔科沃科学技术研究所);Moscow Institute of Physics and Technology(莫斯科物理技术学院);CNRS(法国国家科学研究中心);Université Paris Cité(巴黎西岱大学);Artificial Intelligence Research Institute (AIRI)(人工智能研究所(AIRI))
KGCompiler: Deep Learning Compilation Optimization for Knowledge Graph Complex Logical Query Answering
University of Chinese Academy of Sciences(中国科学院大学);Institute of Software Chinese Academy of Sciences(中国科学院软件研究所);Beijing University of Posts and Telecommunications(北京邮电大学)
Neural-Symbolic Logic Query Answering in Non-Euclidean Space
Institute for Clarity in Documentation(清晰文档研究所);Inria Paris-Rocquencourt(巴黎-罗克琴堡研究所);Rajiv Gandhi University(拉朱·甘地大学);Tsinghua University(清华大学);Palmer Research Laboratories(帕勒尔研究实验室)
Query as Test: An Intelligent Driving Test and Data Storage Method for Integrated Cockpit-Vehicle-Road Scenarios
Peking University International Innovation Center, Lin-gang Special Area (PKU-IICSH)(北京大学国际创新中心,临港特殊区域(PKU-IICSH));Onesyn (Shanghai) Technology Co., Ltd(上海奥森科技有限公司);CATARC Automotive Technology(Shanghai) Co.,Ltd(CATARC汽车技术(上海)有限公司);ZEEKR Intelligent Technology Holding Limited(ZEKR智能技术控股有限公司);Department of Automation, Tsinghua University(清华大学自动化系);State Key Laboratory for Management and Control of Complex Systems, Chinese Academy of Sciences(复杂系统管理与控制国家重点实验室,中国科学院);Macao Institute of Systems Engineering, Macau University of Science and Technology(澳门系统工程研究院,澳门科技大学)
Exploring the Paradigm Shift from Grounding to Skolemization for Complex Query Answering on Knowledge Graphs
School of Computer Science and Engineering, Sun Yat-sen University(中山大学计算机科学与工程学院);School of Data Science, Lingnan University(岭南大学数据科学学院);School of Science and Technology, Hong Kong Metropolitan University(香港理工大学科技学院);Department of Computing, The Hong Kong Polytechnic University(香港理工大学计算机系)
Extending Complex Logical Queries on Uncertain Knowledge Graphs
Department of Mathematical Sciences, Tsinghua University, Beijing, China(清华大学数学科学系);CSE, HKUST, HKSAR, China(香港科技大学计算机科学与工程系);Department of Computer Science, Princeton University, Princeton, United States(普林斯顿大学计算机科学系)
Neural-Symbolic Models for Logical Queries on Knowledge Graphs
Mila - Québec AI Institute(米拉-魁北克人工智能研究所);Université de Montréal(蒙特利尔大学);McGill University(麦吉尔大学);HEC Montréal(蒙特利尔高等商学院);CIFAR AI Chair(加拿大高等研究院人工智能讲席)
Query2Triple: Unified Query Encoding for Answering Diverse Complex Queries over Knowledge Graphs
The Laboratory of Cognition and Decision Intelligence for Complex Systems, Institute of Automation, Chinese Academy of Sciences(认知与决策智能复杂系统实验室,自动化研究所);School of Artificial Intelligence, University of Chinese Academy of Sciences(中国科学院大学人工智能学院);Meituan(美团);Shanghai Artificial Intelligence Laboratory(上海人工智能实验室)
NQE: N-ary Query Embedding for Complex Query Answering over Hyper-Relational Knowledge Graphs
School of Computer Science, Beijing University of Posts and Telecommunications(北京邮电大学计算机学院);School of Automation Science and Electrical Engineering, Beihang University(北京航空航天大学自动化科学与电气工程学院);Beijing Institute of Computer Technology and Application(北京计算机技术及应用研究所)
ACE: Attribution-Controlled Knowledge Editing for Multi-hop Factual Recall
HKUST(GZ) Deep Interdisciplinary Intelligence Lab(香港科技大学(广州)深 interdisciplinary 智能实验室);BUAA(北京航空航天大学);HKUST(GZ) Institute of Deep Perception Technology, JITRI Deep Interdisciplinary Intelligence Lab(香港科技大学(广州)深度感知技术研究所,JITRI 深 interdisciplinary 智能实验室)
Unifying Deductive and Abductive Reasoning in Knowledge Graphs with Masked Diffusion Model
Engineering Hong Kong University of Science;Engineering \ University Beijing China;Key Lab of Education Blockchain;Intelligent Technology \ Normal University Guilin China;Engineering \ University;Intelligent Technology \ Normal University
Neural Scalable Symbolic Search Framework for Complex Logical Queries with Multiple Free Variables
Department of Mathematical Sciences, Tsinghua University(清华大学数学科学系);Squarepoint Capital(Squarepoint资本);Department of Computer Science and Engineering, Hong Kong University of Science and Technology(香港科学与技术大学计算机科学与工程系);Department of Computer Sciences, University of Rochester(罗切斯特大学计算机科学系)