research
∙
06/13/2023
Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries
Recently, the study of the unique characterisability and learnability of...
share
research
∙
05/02/2023
Reverse Engineering of Temporal Queries Mediated by LTL Ontologies
In reverse engineering of database queries, we aim to construct a query ...
research
∙
03/08/2023
Definitions and (Uniform) Interpolants in First-Order Modal Logic
We first consider two decidable fragments of quantified modal logic 𝖲5: ...
research
∙
07/13/2022
Deciding FO-rewritability of regular languages and ontology-mediated queries in Linear Temporal Logic
Our concern is the problem of determining the data complexity of answeri...
research
∙
05/03/2022
Unique Characterisability and Learnability of Temporal Instance Queries
We aim to determine which temporal instance queries can be uniquely char...
research
∙
11/12/2021
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries
Aiming at ontology-based data access to temporal data, we design two-dim...
research
∙
08/01/2021
Deciding boundedness of monadic sirups
We show that deciding boundedness (aka FO-rewritability) of monadic sing...
research
∙
05/13/2021
Deciding FO-definability of Regular Languages
We prove that, similarly to known PSpace-completeness of recognising FO(...
research
∙
06/07/2020
A data complexity and rewritability tetrachotomy of ontology-mediated queries with a covering axiom
Aiming to understand the data complexity of answering conjunctive querie...
research
∙
04/15/2020
First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic
We investigate ontology-based data access to temporal data. We consider ...
research
∙
05/30/2019
Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version)
We investigate the data complexity of answering queries mediated by metr...
research
∙
04/15/2019
Model Comparison Games for Horn Description Logics
Horn description logics are syntactically defined fragments of standard ...
research
∙
01/31/2019
Query Inseparability for ALC Ontologies
We investigate the problem whether two ALC ontologies are indistinguisha...
research
∙
04/20/2018
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey
The question whether an ontology can safely be replaced by another, poss...
research
∙
01/15/2014
The DL-Lite Family and Relations
The recently introduced series of description logics under the common mo...
research
∙
04/18/2013
Temporal Description Logic for Ontology-Based Data Access (Extended Version)
Our aim is to investigate ontology-based data access over temporal data ...
research
∙
09/25/2012