43 citations · 80 across the 10 of their papers we have counts for
12 papers
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…
Towards Ontology Reshaping for KG Generation with User-in-the-Loop: Applied to Bosch Welding
Dongzhuoran Zhou, Baifan Zhou, Jieying Chen +3
Knowledge graphs (KG) are used in a wide range of applications. The automation of KG generation is very desired due to the data volume and variety in industries. One important appr…
Two variable logic with ultimately periodic counting
Michael Benedikt, Egor V. Kostylev, Tony Tan
We consider the extension of two variable logic with quantifiers that state that the number of elements where a formula holds should belong to a given ultimately periodic set. We s…
Subsumption of Weakly Well-Designed SPARQL Patterns is Undecidable
Mark Kaminski, Egor V. Kostylev
Weakly well-designed SPARQL patterns is a recent generalisation of well-designed patterns, which preserve good computational properties but also capture almost all patterns that ap…