research
∙
04/11/2023
Static Analysis of Graph Database Transformations
We investigate graph transformations, defined using Datalog-like rules b...
share
research
∙
10/29/2022
GPC: A Pattern Calculus for Property Graphs
The development of practical query languages for graph databases runs we...
research
∙
04/29/2022
Finite Entailment of UCRPQs over ALC Ontologies
We investigate the problem of finite entailment of ontology-mediated que...
research
∙
12/12/2021
Graph Pattern Matching in GQL and SQL/PGQ
As graph databases become widespread, JTC1 – the committee in joint char...
research
∙
10/22/2020
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles
We study the description logic SQ with number restrictions applicable to...
research
∙
06/30/2020
On Finite Entailment of Non-Local Queries in Description Logics
We study the problem of finite entailment of ontology-mediated queries. ...
research
∙
03/30/2019
Ontology Focusing: Knowledge-enriched Databases on Demand
We propose a novel framework to facilitate the on-demand design of data-...
research
∙
08/09/2018