Complex Query Answering on Eventuality Knowledge Graph with Implicit Logical Constraints
Jiaxin Bai, Xin Liu, Weiqi Wang, Chen Luo, Yangqiu Song
Abstract
Querying knowledge graphs (KGs) using deep learning approaches can naturally leverage the reasoning and generalization ability to learn to infer better answers. Traditional neural complex query answering (CQA) approaches mostly work on entity-centric KGs. However, in the real world, we also need to make logical inferences about events, states, and activities (i.e., eventualities or situations) to push learning systems from System I to System II, as proposed by Yoshua Bengio. Querying logically from an EVentuality-centric KG (EVKG) can naturally provide references to such kind of intuitive and logical inference. Thus, in this paper, we propose a new framework to leverage neural methods to answer complex logical queries based on an EVKG, which can satisfy not only traditional first-order logic constraints but also implicit logical constraints over eventualities concerning their occurrences and orders. For instance, if we know that Food is bad happens before PersonX adds soy sauce, then PersonX adds soy sauce is unlikely to be the cause of Food is bad due to implicit temporal constraint. To facilitate consistent reasoning on EVKGs, we propose Complex Eventuality Query Answering (CEQA), a more rigorous definition of CQA that considers the implicit logical constraints governing the temporal order and occurrence of eventualities. In this manner, we propose to leverage theorem provers for constructing benchmark datasets to ensure the answers satisfy implicit logical constraints. We also propose a Memory-Enhanced Query Encoding (MEQE) approach to significantly improve the performance of state-of-the-art neural query encoders on the CEQA task. * Prof. Yangqiu Song is a visiting academic scholar at Amazon. 37th Conference on Neural Information Processing Systems (NeurIPS 2023).
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext e8b38a9d-7c2e-4e90-8a94-a3dd4294b743Cited by top-tier papers13
- Better to Ask in English: Cross-Lingual Evaluation of Large Language Models for Healthcare QueriesYiqiao Jin, Mohit Chandra, Gaurav Verma, Yibo Hu et al.WWW 2024 · 126 citations
- Controllable Logical Hypothesis Generation for Abductive Reasoning in Knowledge GraphsYisen Gao, Jiaxin Bai, Tianshi Zheng, Ziwei Zhang et al.ICLR 2026 · 15 citations
- Knowledge Graph Reasoning over Entities and Numerical ValuesJiaxin Bai, Chen Luo, Zheng Li, Qingyu Yin et al.KDD 2023 · 12 citations
- CANDLE: Iterative Conceptualization and Instantiation Distillation from Large Language Models for Commonsense ReasoningWeiqi Wang, Tianqing Fang, Chunyang Li, Haochen Shi et al.ACL 2024 · 10 citations
- Debate on Graph: A Flexible and Reliable Reasoning Framework for Large Language ModelsJie Ma, Zhitao Gao, Qi Chai, Wangchun Sun et al.AAAI 2025 · 8 citations
Builds on27
- (Comet-) Atomic 2020: On Symbolic and Neural Commonsense Knowledge GraphsJena D. Hwang, Chandra Bhagavatula, Ronan Le Bras, Jeff Da et al.AAAI 2021 · 458 citations
- Query2box: Reasoning over Knowledge Graphs in Vector Space Using Box EmbeddingsHongyu Ren, Weihua Hu, Jure LeskovecICLR 2020 · 355 citations
- Beta Embeddings for Multi-Hop Logical Reasoning in Knowledge GraphsHongyu Ren, Jure LeskovecNeurIPS 2020 · 267 citations
- ASER: A Large-scale Eventuality Knowledge GraphHongming Zhang, Xin Liu, Haojie Pan, Yangqiu Song et al.WWW 2020 · 183 citations
- ConE: Cone Embeddings for Multi-Hop Reasoning over Knowledge GraphsZhanqiu Zhang, Jie Wang, Jiajun Chen, Shuiwang Ji et al.NeurIPS 2021 · 161 citations
Related papers
- Neural-Symbolic Entangled Framework for Complex Query AnsweringZezhong Xu, Wen Zhang, Peng Ye, Hui Chen et al.NeurIPS 2022 · 31 citations
- Logical Message Passing Networks with One-hop Inference on Atomic FormulasZihao Wang, Yangqiu Song, Ginny Y. Wong, Simon SeeICLR 2023 · 4 citations
- NQE: N-ary Query Embedding for Complex Query Answering over Hyper-Relational Knowledge GraphsHaoran Luo, Haihong E, Yuhao Yang, Gengxian Zhou et al.AAAI 2023 · 13 citations
- TFLEX: Temporal Feature-Logic Embedding Framework for Complex Reasoning over Temporal Knowledge GraphXueyuan Lin, Haihong E, Chengjin Xu, Gengxian Zhou et al.NeurIPS 2023 · 35 citations
- TempoQR: Temporal Question Reasoning over Knowledge GraphsCostas Mavromatis, Prasanna Lakkur Subramanyam, Vassilis N. Ioannidis, Adesoji Adeshina et al.AAAI 2022 · 77 citations
