Abstract:Extrapolating future events based on historical information in temporal knowledge graphs (TKGs) holds significant research value and practical applications. In this field, the methods currently utilized can be classified as either embedding-based or logical rule-based. Embedding-based methods depend on learned entity and relation embeddings for prediction, but they suffer from the lack of interpretability due to the opaque reasoning process. On the other hand, logical rule-based methods face scalability challenges as they heavily rely on predefined logical rules. To overcome these limitations, we propose a hybrid model that combines embedding-based and logical rule-based methods to capture deep causal logic. Our model, called the Inductive Reasoning Model based on Interpretable Logical Rule (ILR-IR), aims to provide interpretable insights while effectively predicting future events in TKGs. ILR-IR delves into historical information, extracting valuable insights from logical rules embedded within relations and interaction preferences between entities. By considering both logical rules and interaction preferences, ILR-IR offers a comprehensive perspective for predicting future events. In addition, we propose the incorporation of a one-class augmented matching loss during optimization, which serves to enhance performance of the model during training. We evaluate ILR-IR on multiple datasets, including ICEWS14, ICEWS0515, and ICEWS18. Experimental results demonstrate that ILR-IR outperforms state-of-the-art baselines, showcasing its superior performance in TKG extrapolation reasoning. Moreover, ILR-IR demonstrates remarkable generalization capabilities, even when applied to related datasets that share a common relation vocabulary. This suggests that our proposed model exhibits robust zero-shot reasoning abilities. For interested parties, we have made our code publicly available at https://github.com/mxadorable/ILR-IR .

The Inference Engine of Extended Interval Temporal Logic

Modeling, Consistency and Inference of Extended Interval Temporal Logic

Modeling and inference of extended interval temporal logic for nondeterministic intervals

Extended Interval Temporal Logic for Undetermined Interval: Modeling and Linear Inference Using Time Petri Nets

Temporal Inference of Workflow Systems Based on Time Petri Nets: Quantitative and Qualitative Analysis

Building Hybrid Real-Time Model in Water Industry Systems

A KIND of PARALLEL INFERENCE ALGORITHM BASED ON MATRIX AND Its APPLICATION

Reinforcement learning with time intervals for temporal knowledge graph reasoning

A Unified Temporal Knowledge Graph Reasoning Model Towards Interpolation and Extrapolation

Linear Temporal Inference Of Workflow Management Systems Based On Timed Petri Nets Models

TEILP: Time Prediction over Knowledge Graphs via Logical Reasoning

Temporal Knowledge Subgraph Inference Based on Time-Aware Relation Representation

Complete inference via knowledge Petri nets and resolution rules

Towards The Inductive Acquisition of Temporal Knowledge

Temporal Rule to Formalism and Measure Estimation

A Unifying Approach to Product Constructions for Quantitative Temporal Inference

An Effective Time-Aware Encoder for Temporal Knowledge Graph Reasoning.

From Durational Specifications to TLA Designs of Timed Automata

Information-Guided Temporal Logic Inference with Prior Knowledge

An Inductive Reasoning Model based on Interpretable Logical Rules over temporal knowledge graph

TILP: Differentiable Learning of Temporal Logical Rules on Knowledge Graphs