57 citations · 166 across the 21 of their papers we have counts for
24 papers
Practical Reasoning in DatalogMTL
Dingmin Wang, Przemysław A. Wałęga, Pan Hu +1
DatalogMTL is an extension of Datalog with metric temporal operators that has found an increasing number of applications in recent years. Reasoning in DatalogMTL is, however, of hi…
On the Correspondence Between Monotonic Max-Sum GNNs and Datalog
David Tena Cucala, Bernardo Cuenca Grau, Boris Motik +1
Although there has been significant interest in applying machine learning techniques to structured data, the expressivity (i.e., a description of what can be learned) of such techn…
The Stable Model Semantics of Datalog with Metric Temporal Operators
Przemysław A. Wałęga, David J. Tena Cucala, Bernardo Cuenca Grau +1
We introduce negation under the stable model semantics in DatalogMTL - a temporal extension of Datalog with metric temporal operators. As a result, we obtain a rule language which…
Revisiting Inferential Benchmarks for Knowledge Graph Completion
Shuwen Liu, Bernardo Cuenca Grau, Ian Horrocks +1
Knowledge Graph (KG) completion is the problem of extending an incomplete KG with missing facts. A key feature of Machine Learning approaches for KG completion is their ability to…
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…
An Empirical Study of Retrieval-enhanced Graph Neural Networks
Dingmin Wang, Shengchao Liu, Hanchen Wang +5
Graph Neural Networks (GNNs) are effective tools for graph representation learning. Most GNNs rely on a recursive neighborhood aggregation scheme, named message passing, thereby th…