research
∙
05/29/2023
On the Correspondence Between Monotonic Max-Sum GNNs and Datalog
Although there has been significant interest in applying machine learnin...
share
research
∙
12/16/2022
Rewriting the Infinite Chase
Guarded tuple-generating dependencies (GTGDs) are a natural extension of...
research
∙
08/27/2019
Datalog Reasoning over Compressed RDF Knowledge Bases
Materialisation is often used in RDF systems to derive, in a preprocessi...
research
∙
06/24/2019
Datalog Materialisation in Distributed RDF Stores with Dynamic Data Exchange
Several centralised RDF systems support datalog reasoning by precomputin...
research
∙
11/06/2018
Modular Materialisation of Datalog Programs
The seminaïve algorithm can materialise all consequences of arbitrary da...
research
∙
04/25/2018
Stratified Negation in Limit Datalog Programs
There has recently been an increasing interest in declarative data analy...
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
∙
11/14/2017
Goal-Driven Query Answering for Existential Rules with Equality
Inspired by the magic sets for Datalog, we present a novel goal-driven a...
research
∙
11/10/2017
Stream Reasoning in Temporal Datalog
In recent years, there has been an increasing interest in extending trad...
research
∙
11/10/2017
Optimised Maintenance of Datalog Materialisations
To efficiently answer queries, datalog systems often materialise all con...
research
∙
05/19/2017
Foundations of Declarative Data Analysis Using Limit Datalog Programs
Motivated by applications in declarative data analysis, we study Datalog...
research
∙
02/14/2016
Extending Consequence-Based Reasoning to SRIQ
Consequence-based calculi are a family of reasoning algorithms for descr...
research
∙
11/13/2014
Handling owl:sameAs via Rewriting
Rewriting is widely used to optimise owl:sameAs reasoning in materialisa...
research
∙
11/10/2014
Answering Conjunctive Queries over EL Knowledge Bases with Transitive and Reflexive Roles
Answering conjunctive queries (CQs) over EL knowledge bases (KBs) with c...
research
∙
02/04/2014
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies
Answering conjunctive queries (CQs) over a set of facts extended with ex...
research
∙
01/23/2014
Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach
There is currently a growing interest in techniques for hiding parts of ...
research
∙
01/18/2014
Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice
To achieve scalability of query answering, the developers of Semantic We...
research
∙
01/15/2014
Hypertableau Reasoning for Description Logics
We present a novel reasoning calculus for the description logic SHOIQ^+-...
research
∙
04/04/2013
Computing Datalog Rewritings beyond Horn Ontologies
Rewriting-based approaches for answering queries over an OWL 2 DL ontolo...
research
∙
03/29/2013