research
∙
06/06/2023
Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints
This paper revisits the problem of repairing and querying inconsistent d...
share
research
∙
05/26/2023
Combining Global and Local Merges in Logic-based Entity Resolution
In the recently proposed Lace framework for collective entity resolution...
research
∙
02/16/2022
Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments
We investigate practical algorithms for inconsistency-tolerant query ans...
research
∙
11/19/2020
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics
We study FO-rewritability of conjunctive queries in the presence of onto...
research
∙
09/02/2020
Answering Counting Queries over DL-Lite Ontologies
Ontology-mediated query answering (OMQA) is a promising approach to data...
research
∙
03/12/2020
Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation
In this paper, we explore the issue of inconsistency handling over prior...
research
∙
08/31/2018
Finite LTL Synthesis with Environment Assumptions and Quality Measures
In this paper, we investigate the problem of synthesizing strategies for...
research
∙
04/28/2015
Combining Existential Rules and Transitivity: Next Steps
We consider existential rules (aka Datalog+) as a formalism for specifyi...
research
∙
06/11/2014
Tree-like Queries in OWL 2 QL: Succinctness and Complexity Results
This paper investigates the impact of query topology on the difficulty o...
research
∙
02/28/2014
Nested Regular Path Queries in Description Logics
Two-way regular path queries (2RPQs) have received increased attention r...
research
∙
01/15/2014
Prime Implicates and Prime Implicants: From Propositional to Modal Logic
Prime implicates and prime implicants have proven relevant to a number o...
research
∙
01/28/2013