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
∙
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
∙
05/13/2021
Deciding FO-definability of Regular Languages
We prove that, similarly to known PSpace-completeness of recognising FO(...
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
∙
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
∙
04/21/2013
Exchanging OWL 2 QL Knowledge Bases
Knowledge base exchange is an important problem in the area of data exch...
research
∙
09/25/2012