Abstract:Temporal reasoning methods have been successful in temporal knowledge graphs (TKGs) and are widely employed in many downstream application areas. Most existing TKG reasoning models transform time intervals into continuous time snapshots, with each snapshot representing a subgraph of the TKG. Although such processing can produce satisfactory outcomes, it ignores the integrity of a time interval and increases the amount of data. Meanwhile, many previous works focuses on the logic of sequentially occurring facts, disregarding the complex temporal logics of various time intervals. Consequently, we propose a R einforcement Learning-based Model for T emporal Knowledge Graph Reasoning with T ime I ntervals (RTTI), which focuses on time-aware multi-hop reasoning arising from complex time intervals. In RTTI, we construct the time learning part to obtain the time embedding of the current path. It simulates the temporal logic with relation historical encoding and compute the time interval between two facts through the temporal logic feature matrix. Furthermore, we propose a new method for representing time intervals that breaks the original time interval embedding method, and express the time interval using median and embedding changes of two timestamps. We evaluate RTTI on four public TKGs for the link prediction task, and experimental results indicate that our approach can still perform well on more complicated tasks. Meanwhile, our method can search for more interpretable paths in the broader space and improve the reasoning ability in sparse spaces.

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

The Inference Engine of Extended Interval Temporal Logic

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

Building Hybrid Real-Time Model in Water Industry Systems

The Definition of Extended High-level Timed Petri Nets

Petri Net Models and Efficient T-invariant Analysis for Logical Inference of Clauses

Extended time Petri nets

A Max-Plus Algebraic Model For Hybrid Timed Petri Nets And Supervisory Control

Reinforcement learning with time intervals for temporal knowledge graph reasoning

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

Model Checking (k, D)-Markov Chain with Ipltl

Component-Level Reduction Rules for Time Petri Nets Based on DTPN

Temporal Logic Coordination Models

TEILP: Time Prediction over Knowledge Graphs via Logical Reasoning

TILP: Differentiable Learning of Temporal Logical Rules on Knowledge Graphs

Transformation from Activity Diagrams with Time Properties to Timed Coloured Petri Nets

Formal Modeling and Verification of Embedded Real-Time Systems: An Approach and Practical Tool Based on Constraint Time Petri Nets

Waiting Nets: State Classes and Taxonomy

Complete inference via knowledge Petri nets and resolution rules