57 citations · 166 across the 21 of their papers we have counts for
18 papers · 1 filter
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…
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…
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…
The Window Validity Problem in Rule-Based Stream Reasoning
Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau +1
Rule-based temporal query languages provide the expressive power and flexibility required to capture in a natural way complex analysis tasks over streaming data. Stream processing…
Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals
David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
We present a consequence-based calculus for concept subsumption and classification in the description logic ALCHOIQ, which extends ALC with role hierarchies, inverse roles, number…
Stratified Negation in Limit Datalog Programs
Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev +2
There has recently been an increasing interest in declarative data analysis, where analytic tasks are specified using a logical language, and their implementation and optimisation…