5 citations · 8 across the 19 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.DB2022
Seminaive Materialisation in DatalogMTL
Dingmin Wang, Przemysław Andrzej Wałęga, Bernardo Cuenca Grau
DatalogMTL is an extension of Datalog with metric temporal operators that has found applications in temporal ontology-based data access and query answering, as well as in stream re…
cs.AI2022
MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators
Dingmin Wang, Pan Hu, Przemysław Andrzej Wałęga +1
DatalogMTL is an extension of Datalog with operators from metric temporal logic which has received significant attention in recent years. It is a highly expressive knowledge repres…