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 ...
share
research
∙
09/29/2022
Data Querying with Ciphertext Policy Attribute Based Encryption
Data encryption limits the power and efficiency of queries. Direct proce...
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
∙
02/15/2022
Interpolants and Explicit Definitions in Extensions of the Description Logic EL
We show that the vast majority of extensions of the description logic â„°â„’...
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
∙
09/20/2017
Exact Learning of Lightweight Description Logic Ontologies
We study the problem of learning description logic (DL) ontologies in An...
research
∙
01/23/2014
