research
∙
01/14/2020
On Equivalence and Cores for Incomplete Databases in Open and Closed Worlds
Data exchange heavily relies on the notion of incomplete database instan...
share
research
∙
09/27/2018
Generating Ontologies from Templates: A Rule-Based Approach for Capturing Regularity
We present a second-order language that can be used to succinctly specif...
research
∙
07/07/2016
Mapping Data to Ontologies with Exceptions Using Answer Set Programming
In ontology-based data access, databases are connected to an ontology vi...
research
∙
07/10/2013
Tractable Combinations of Global Constraints
We study the complexity of constraint satisfaction problems involving gl...
research
∙
07/06/2013