research
∙
02/25/2022
Actions over Core-closed Knowledge Bases
We present new results on the application of semantic- and knowledge-bas...
share
research
∙
06/03/2020
An ExpTime Upper Bound for 𝒜ℒ𝒞 with Integers (Extended Version)
Concrete domains, especially those that allow to compare features with n...
research
∙
12/16/2019
Polynomial Rewritings from Expressive Description Logics with Closed Predicates to Variants of Datalog
In many scenarios, complete and incomplete information coexist. For this...
research
∙
11/30/2019
Pebble-Intervals Automata and FO2 with Two Orders (Extended Version)
We introduce a novel automata model, called pebble-intervals automata (P...
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/08/2018
Relaxing and Restraining Queries for OBDA
In ontology-based data access (OBDA), ontologies have been successfully ...
research
∙
04/16/2014
Managing Change in Graph-structured Data Using Description Logics (long version with appendix)
In this paper, we consider the setting of graph-structured data that evo...
research
∙
02/28/2014
Nested Regular Path Queries in Description Logics
Two-way regular path queries (2RPQs) have received increased attention r...
research
∙
02/04/2014