research
∙
06/13/2023
The Stable Model Semantics of Datalog with Metric Temporal Operators
We introduce negation under the stable model semantics in DatalogMTL - a...
share
research
∙
06/07/2023
Revisiting Inferential Benchmarks for Knowledge Graph Completion
Knowledge Graph (KG) completion is the problem of extending an incomplet...
research
∙
05/29/2023
On the Correspondence Between Monotonic Max-Sum GNNs and Datalog
Although there has been significant interest in applying machine learnin...
research
∙
09/22/2022
Towards Ontology Reshaping for KG Generation with User-in-the-Loop: Applied to Bosch Welding
Knowledge graphs (KG) are used in a wide range of applications. The auto...
research
∙
06/01/2020
Two variable logic with ultimately periodic counting
We consider the extension of two variable logic with quantifiers that st...
research
∙
01/27/2019
Subsumption of Weakly Well-Designed SPARQL Patterns is Undecidable
Weakly well-designed SPARQL patterns is a recent generalisation of well-...
research
∙
04/25/2018
Stratified Negation in Limit Datalog Programs
There has recently been an increasing interest in declarative data analy...
research
∙
04/02/2018
A Note on the Hardness of the Critical Tuple Problem
The notion of critical tuple was introduced by Miklau and Suciu (Gerome ...
research
∙
01/29/2018
Estimating the Cardinality of Conjunctive Queries over RDF Data Using Graph Summarisation
Estimating the cardinality (i.e., the number of answers) of conjunctive ...
research
∙
05/19/2017
The Bag Semantics of Ontology-Based Data Access
Ontology-based data access (OBDA) is a popular approach for integrating ...
research
∙
05/19/2017
Foundations of Declarative Data Analysis Using Limit Datalog Programs
Motivated by applications in declarative data analysis, we study Datalog...
research
∙
04/24/2015