Complex Query Answering on Eventuality Knowledge Graph with Implicit Logical Constraints

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.

Paper

References (56)

Scroll for more · 38 remaining

Similar papers

Peer review

Reviewer YBho5/10 · confidence 4/52023-06-25

Summary

The paper extends the traditional complex query-answering task into an eventuality-centric complex query-answering task to understand the reasoning at the eventuality level. Specifically, the paper divides the discourse rations into two types of implicit constraints: occurrence constraints and temporal constraints. The occurrence constraints determine whether certain eventuality happens or not. The temporal constraints provide the order of the eventualities' occurrence. In addition, the paper proposes a new memory-enhanced query encoding to reason based on eventuality-centric knowledge graphs. The model first introduces a computational graph that encodes queries, including operations such as relational projection and intersections. The paper proposes a memory-enhanced encoding component that utilizes a memory module to encode constraint information. The operation output is used as a query to access each head eventuality based on the relevance score. The paper then uses an attentional aggregation to sum over the constraint relation and tails. The final model is optimized based on similarity scores with cross-entropy loss.

Strengths

1. The paper introduces a new eventuality-centric complex query-answering task to better model the reasoning at the eventuality level. The paper proposes a new way to provide discourse relations with two implicit logic constraints. The idea of occurrence constraints and temporal constraints is interesting. 2. The paper introduces a new memory-enhanced query encoding to update the query representation with relevance-based constraint representations. 3. The paper tests the new framework with a new dataset sampled from ASER. The model shows strong performance over multiple different baselines. The paper also provides code and dataset construction details in the Appendix. The paper also includes a case study in the Appendix.

Weaknesses

Some parts of the paper are not very clear: 1. In section 3.1, what function is used for relation projection and intersection operation? The paper said that the intersection is a permutation-invariant neural network. However, it needs to be clarified in detail to readers. 2. In section 3.2, what relevance score is used for Equation 5? Suppose the paper used a semantic relevance score such as cosine similarity. In that case, the motivation for this part is unclear because the constraints with higher similarity might not be the ones with closed relevance. Moreover, Figure 4 needs to be clarified. The paper needs to briefly explain the right part (constraint memory in Figure 4.) I suggest going through the walkthrough example in section 3.2. The code does not include a ReadMe file. 3. In section 4.1, the paper only focuses on the answer with constraints. Has the paper also tested the new model for answers without any contradictions? 4. The abbreviation in Table 4 needs to be clarified. It seems that p is the projection, i is the intersection. However, those abbreviations are not clarified in the caption. Readers also find it hard to figure out what e represents. The analysis of Table 4 is superficial. The paper needs to add more qualitative analysis with more concrete examples. The paper needs to conduct an ablation study to show the contribution of each component.

Questions

1. In section 3.1, what function is used for relation projection and intersection operation? 2. In section 3.2, what relevance score is used for Equation 5? 3. Has the paper also tested the new model for answers without any contradictions?

Rating

5: Borderline accept: Technically solid paper where reasons to accept outweigh reasons to reject, e.g., limited evaluation. Please use sparingly.

Confidence

4: You are confident in your assessment, but not absolutely certain. It is unlikely, but not impossible, that you did not understand some parts of the submission or that you are unfamiliar with some pieces of related work.

Soundness

3 good

Presentation

2 fair

Contribution

3 good

Limitations

The paper provides a limitation section and broader impact in the Appendix.

Reviewer Ne3e6/10 · confidence 3/52023-07-07

Summary

The paper proposed a reasoning task "Complex Eventuality Query Answering (CEQA)". CEQA is performed over EVKG and is different from traditional CQA over entity-centric KG. Authors of the paper clearly explain the new task, and further discussed a memory-augmented method to improve models' performance on CEQA.

Strengths

The paper made two contributions. First, it proposed the CEQA task and discussed its difference from the traditional CQA task. Then, the paper proposed a memory augmentation method for query encoding. The authors clearly discussed the CEQA task and emphasized its importance in logical reasoning.

Weaknesses

I have a few quick comments of the paper. Maybe it worth briefly discussing System 1 and 2 for the completeness of the paper. Readers may be unfamiliar with the terms. Please consider discussing your dataset created from ASER earlier in the paper and maybe go through a few examples. This task is new, to my knowledge, to many readers including myself. Maybe also discuss ASER a bit more. How is ASER constructed? I have another concern about the quality of ASER, the backbone database of the proposed task. Some statements and/or reasoning can be ambiguous or debatable. For example, someone can say, "PersonX adds soy sauce" is the cause of "Food is bad" due to some other implicit information in addition to the temporal one. How did ASER (or other similar database resolve this problem)? How is ASER related and different from Commonsense QA? Both require reasoning with implicit information. Are there other relevant tasks in addition to the ones you described in the paper. Please include them in the Related Work section. Are you able to experiment with a few more datasets? I understand this is a new task with limited resources. However, experiment results in this paper is limited to fully prove the effectiveness of your proposed method.

Questions

Please see above.

Rating

6: Weak Accept: Technically solid, moderate-to-high impact paper, with no major concerns with respect to evaluation, resources, reproducibility, ethical considerations.

Confidence

3: You are fairly confident in your assessment. It is possible that you did not understand some parts of the submission or that you are unfamiliar with some pieces of related work. Math/other details were not carefully checked.

Soundness

3 good

Presentation

4 excellent

Contribution

3 good

Limitations

The paper proposed a novel reasoning task potentially useful for building more powerful and general reasoning systems. The paper has made substantial contribution in proposing new tasks, but is limited in modeling and experiments.

Reviewer dKK56/10 · confidence 3/52023-07-07

Summary

This work aims to conduct complex logical query task over eventuality-centric KG (EVKG) and propose the Complex Eventuality Query Answering (CEQA) setting that considers the implicit constraint of the temporal order and occurrence of eventualities. The authors also propose a memory-enhanced query encoding method and achieve state-of-the-art performance on the CEQA task.

Strengths

1. very interesting and important research problem 2. the proposed MEQE module enhances the state-of-the-art query encoder on the CEQA task 3. the paper is overall well-organized and well-written

Weaknesses

1. the novelty of memory-enhanced module is limited since the memory mechanism has been proposed in many prior works such as [1] 2. Recently, path-based KG reasoning methods such as QE-GNN [2] have achieved much research progress and show stronger reasoning ability than embedding-based methods. However, the proposed MEQE seems cannot incorporate the path-based method that didn't learn the representation for each node and relation in KGs. [1] Rossi, E., Chamberlain, B., Frasca, F., Eynard, D., Monti, F., & Bronstein, M. (2020). Temporal graph networks for deep learning on dynamic graphs. arXiv preprint arXiv:2006.10637. [2] Zhu, Z., Galkin, M., Zhang, Z., & Tang, J. (2022, June). Neural-symbolic models for logical queries on knowledge graphs. In International Conference on Machine Learning (pp. 27454-27478). PMLR.

Questions

please refer to the weakness

Rating

6: Weak Accept: Technically solid, moderate-to-high impact paper, with no major concerns with respect to evaluation, resources, reproducibility, ethical considerations.

Confidence

3: You are fairly confident in your assessment. It is possible that you did not understand some parts of the submission or that you are unfamiliar with some pieces of related work. Math/other details were not carefully checked.

Soundness

4 excellent

Presentation

3 good

Contribution

3 good

Limitations

N/A

Reviewer ktzN5/10 · confidence 3/52023-07-07

Summary

This paper proposes an approach to address the challenge of complex query answering on eventuality knowledge graphs by integrating implicit logical constraints. The authors introduce the task of complex eventuality query answering (CEQA), which requires considering the occurrence and temporal order of eventualities. Methodologically, the paper encodes the edges of the knowledge graph containing these constraints as key-value pairs, which are then integrated into the attention mechanism. The authors extracted eligible data from the ASER dataset and conducted experiments combining their proposed method with various query encoding models, demonstrating improved performance.

Strengths

- The paper's motivation is solid, aiming to incorporate logical information from eventualities into complex query answers. - The method serves as an effective additional information exploitation approach, adaptable to various query encoding models. - The constructed CEQA dataset can provide insights for related tasks.

Weaknesses

- This paper dedicates excessive description to the introduction. The use of multiple representations of first-order logic may be misleading, as the actual encoding is relational. - The work assumes the existence of a knowledge graph and constructs datasets using theorem provers, limiting its generalizability to other tasks. - The paper introduces two types of constraints and presents contradictory answers in the data, but lacks analysis of these categories in the methods and experiments. While Table 2 provides statistics on constraints and contradictory answers, conducting further experiments specifically targeting these categories would provide valuable insights into the functioning of the model.

Questions

- In Figure 3, please provide a brief explanation of the confliction of the "Precedence" relation in the two subfigures. - Could you provide a concise overview of the structure of the permutation-invariant neural network for the intersection operation in Section 3.1? - Consider reducing the number of method-independent first-order logic examples and representations in order to allocate more space for comprehensive experimental and methodological analyses of the defined categories in the paper.

Rating

5: Borderline accept: Technically solid paper where reasons to accept outweigh reasons to reject, e.g., limited evaluation. Please use sparingly.

Confidence

3: You are fairly confident in your assessment. It is possible that you did not understand some parts of the submission or that you are unfamiliar with some pieces of related work. Math/other details were not carefully checked.

Soundness

3 good

Presentation

3 good

Contribution

3 good

Limitations

I have no concerns about the limitations.

Reviewer DAya3/10 · confidence 4/52023-07-07

Summary

The paper proposes a new task of complex event knowledge graph completion, curates the datasets from existing event knowledge graph, and designs a solution. However, the tasks motivation is not very clear regarding the formal logic form as each event is still in the form of natural language, especially considering the event chains are likely break down along with increasing reasoning paths. The authors need to further discuss the different and importance of the proposed task compared with commonsense reasoning or commonsense knowledge graph completion. Weaknesses 1. The paper is hard to follow and needs further polish. For example, 1. line 53-60, what ‘s the difference between entity-centric and event centric KGC? The given example is not convincing and seems artificial. If the event does not occur, it may not be necessary to included in the KG. So, the difference lies on the Open-world assumption or closed world assumption, not entity- and event-centric. 2. What is the motivation to formulate the commonsense knowledge as the formal logic form? For commonsense knowledge, it has a great chance to hold true with probability. That is, along with the increasing paths, the reasoning chains are more likely false. 2. The proposed task looks similar with commonsense reasoning. So, it is necessary to discuss and compare with the datasets and baseline methods for commonsense question answering or commonsense knowledge graph completion. 3. What is the quality of the curated benchmark?

Strengths

see summary

Weaknesses

see summary

Questions

see summary

Rating

3: Reject: For instance, a paper with technical flaws, weak evaluation, inadequate reproducibility and incompletely addressed ethical considerations.

Confidence

4: You are confident in your assessment, but not absolutely certain. It is unlikely, but not impossible, that you did not understand some parts of the submission or that you are unfamiliar with some pieces of related work.

Soundness

1 poor

Presentation

2 fair

Contribution

1 poor

Limitations

see summary

Reviewer YBho2023-08-13

Thanks for the rebuttal

The authors have answered most of my questions. I have raised my score from 4 to 5. I want to clarify the W3 and Q3. So basically, I wonder about the performance of the dataset without any constraints. Will the model cause a performance drop in those instances?

Authorsrebuttal2023-08-19

Thank you for your reply and clarification. To address the issue you raised, we have sampled another round of evaluation data with informational atomics (i.e., contents in the memory module) that do not have constraints to the answers. We have ensured that there are no contradictory answers in any of these instances. The performances are as follows: | Models | | Occurrence Constraints | | | Temporal Constraints | | | Average | | |---|:---:|:---:|:---:|:---:|:---:|:---:|:---:|:---:|:---:| | | Hit@1 | Hit@3 | MRR | Hit@1 | Hit@3 | MRR | Hit@1 | Hit@3 | MRR | | GQE | 10.06 | 15.87 | 14.51 | 9.56 | 14.68 | 13.68 | 9.81 | 15.27 | 14.10 | | + CMQE | 10.98 | 16.87 | 15.37 | 11.03 | 15.34 | 14.41 | 11.00 | 16.10 | 14.89 | | Q2P | 11.94 | 17.61 | 16.11 | 11.36 | 16.69 | 14.89 | 11.65 | 17.15 | 15.50 | | + CMQE | 13.13 | 17.78 | 16.53 | 12.72 | 16.78 | 15.75 | 12.93 | 17.28 | 16.14 | | Neural MLP | 16.58 | 22.00 | 20.78 | 16.24 | 21.15 | 20.09 | 15.23 | 21.57 | 20.43 | | + CMQE | 16.88 | 21.60 | 20.38 | 16.85 | 20.93 | 19.91 | 15.52 | 21.26 | 20.14 | | FuzzQE | 15.71 | 22.17 | 20.44 | 15.15 | 21.61 | 19.42 | 15.43 | 21.89 | 19.93 | | + CMQE | 16.50 | 23.01 | 21.10 | 15.46 | 20.70 | 19.75 | 15.98 | 21.86 | 20.43 | Generally, the performance of these models is comparable. However, MEQE performs slightly better when used together with GQE, FuzzQE, and Q2P, while it is comparable to Neural MLP. Although the memory contents do not have constraints on the query answers, the subtle performance improvement can be explained from two perspectives. First, the informational atomics are sampled from the edges related to the queries, providing additional information about the entities in the query, even though they do not have a direct impact on the answers. Second, MEQE has more parameters than the baseline models. However, as we explained in our previous reply, the structural changes are not the main reason for the performance improvement, as shown in our ablation study. We hope that this explanation clarifies the performance comparison between the backbone and MEQE models. Thank you again for your valuable feedback.

Reviewer ktzN2023-08-18

I have carefully reviewed the comments from other reviewers and the authors' responses. The authors' replies have addressed most of my concerns. Concerning W3, I would appreciate a more comprehensive analysis beyond what is presented in Table 3. Specifically, I am interested in how models constrained exclusively by occurrence can avoid conflicts related to both occurrence and temporal aspects. This curiosity arises from the already provided distribution of contradictory answers in Table 2 (by the way, there are spelling errors for "occurrence" in Tables 2 and 3). My primary recommendation revolves around the structure of the paper. While the introduction of a new task necessitates the provision of background information, I believe that certain content could be drawn from references and the Appendix. What I am emphasizing is a requirement for more intricate model details and insightful experimental analysis in the primary content. Thus, I am inclined to maintain my current score.

Authorsrebuttal2023-08-19

We appreciate your time and effort in reading our rebuttal. To address your concerns, we would like to provide further clarification and analysis. We will address each comment individually. Comment: How can models constrained exclusively by occurrence avoid conflicts related to both occurrence and temporal aspects? Response: We would like to clarify that our model is not exclusively constrained by occurrences. As depicted in Figure 3, the model is constrained by informational atomics, which may include either occurrence or temporal constraints. These constraints are constructed and filtered using the z3 prover. As explained in the paper (lines 229-240), we create our data using theorem provers for occurrence constraints (True or False) and a linear program solver for treating the currency time as continuous variables (floating point numbers) to detect potential temporal contradictions. Our MEQE model captures the constraints within informational atomics by first computing relevance scores and then adding the corresponding constraint information to the query embedding. The effectiveness of this method is demonstrated in Table 3. Our model can capture implicit constraints, and the content in Table 3 shows that it works for both occurrence and temporal constraints. Comment: Model details and experimental analysis Response: As mentioned earlier, Table 3 shows the improved performance of MEQE across four different backbones on a dataset that includes queries with both occurrence and temporal constraints. To further explain the performance improvement of MEQE, we conducted an ablation study, as detailed in our reply to reviewer YBho. Here are the key findings from the ablation study: The relevance score effectively identifies corresponding constraints. The feed-forward layer is essential for adjusting the direction of memory contents to incorporate into the query embedding. Removing the FFN layer significantly reduces performance. We hope our additional explanations and ablation study results provide further insights into Table 3 and adequately address your concerns. | Models | | Occurrence Constraints | | | Temporal Constraints | | | Average | | | | |---|:---:|:---:|:---:|:---:|:---:|:---:|:---:|:---:|:---:|---|---| | | Hit@1 | Hit@3 | MRR | Hit@1 | Hit@3 | MRR | Hit@1 | Hit@3 | MRR | | | | GQE | 8.92 | 14.21 | 13.09 | 9.09 | 14.03 | 12.94 | 9.12 | 14.12 | 13.02 | | | | + CMQE | 10.20 | 15.54 | 14.31 | 10.70 | 15.67 | 14.50 | 10.45 | 15.60 | 14.41 | | | | + CMQE - Constraints | 8.29 | 12.87 | 11.62 | 8.80 | 13.02 | 12.17 | 8.54 | 12.95 | 11.90 | | | | + CMQE - FFN | 0.67 | 1.17 | 1.13 | 0.74 | 1.23 | 1.12 | 0.70 | 1.19 | 1.08 | | | | Q2P | 14.14 | 19.97 | 18.84 | 14.48 | 19.69 | 18.68 | 14.31 | 19.83 | 18.76 | | | | + CMQE | 15.15 | 20.67 | 19.38 | 16.06 | 20.82 | 19.74 | 15.61 | 20.74 | 19.56 | | | | + CMQE - Constraints | 14.16 | 20.00 | 18.86 | 14.72 | 19.92 | 18.79 | 14.44 | 19.96 | 18.82 | | | | + CMQE - FFN | 12.77 | 16.63 | 15.89 | 12.74 | 16.83 | 14.75 | 12.76 | 16.73 | 15.32 | | | | Nerual MLP | 13.03 | 19.21 | 17.75 | 13.45 | 19.06 | 17.68 | 13.24 | 19.14 | 17.71 | | | | + CMQE | 15.26 | 20.69 | 19.32 | 15.91 | 20.63 | 19.47 | 15.58 | 20.66 | 19.40 | | | | + CMQE - Constraints | 13.33 | 19.15 | 17.94 | 13.49 | 19.18 | 14.48 | 13.41 | 19.16 | 18.08 | | | | + CMQE - FFN | 10.35 | 14.67 | 13.71 | 10.94 | 14.67 | 12.74 | 10.64 | 14.67 | 14.53 | | | | FuzzQE | 11.68 | 18.64 | 17.07 | 11.68 | 17.97 | 16.53 | 11.68 | 18.31 | 16.80 | | | | + CMQE | 14.76 | 21.12 | 19.45 | 15.31 | 21.01 | 19.49 | 15.03 | 21.06 | 19.47 | | | | + CMQE - Constraints | 12.69 | 19.92 | 17.68 | 13.53 | 18.25 | 17.91 | 13.11 | 19.08 | 17.80 | | | | + CMQE - FFN | 9.81 | 15.26 | 14.46 | 10.17 | 15.37 | 14.87 | 9.99 | 15.31 | 14.66 | | | Re: Restructuring the paper. Thank you for your suggestions on restructuring our paper. As we are unable to modify the paper directly this year, we will implement your suggestions by drawing the details of model definitions and parameterizations of backbone models from the reference and appendix and incorporating them into the primary content. Additionally, we will move the detailed logical definitions and examples to the Appendix.

Program Chairsdecision2023-09-21

Decision

Accept (poster)

© 2026 NYSGPT2525 LLC