MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators

12 January 2022

Papers citing "MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators"

3 / 3 papers shown

Title
On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version) A. Artale Anton Gnatenko Vladislav Ryzhikov Michael Zakharyaschev 46 1 0 23 Jan 2025
Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version) Vladislav Ryzhikov P. Walega Michael Zakharyaschev 30 23 0 30 May 2019
The Vadalog System: Datalog-based Reasoning for Knowledge Graphs Luigi Bellomarini Georg Gottlob Emanuel Sallinger 31 136 0 23 Jul 2018