English
Related papers

Related papers: Distance-Based Approaches to Repair Semantics in O…

200 papers

In this work we establish and investigate the connections between causality for query answers in databases, database repairs wrt. denial constraints, and consistency-based diagnosis. The first two are relatively new problems in databases,…

Databases · Computer Science 2014-07-01 Babak Salimi , Leopoldo Bertossi

Most approaches for repairing description logic (DL) ontologies aim at changing the axioms as little as possible while solving inconsistencies, incoherences and other types of undesired behaviours. As in Belief Change, these issues are…

Logic in Computer Science · Computer Science 2022-02-22 Jandson S. Ribeiro , Ricardo Guimarães , Ana Ozaki

This paper revisits the problem of repairing and querying inconsistent databases equipped with universal constraints. We adopt symmetric difference repairs, in which both deletions and additions of facts can be used to restore consistency,…

Databases · Computer Science 2025-09-12 Meghyn Bienvenu , Camille Bourgaux

We propose and investigate a semantics for "peer data exchange systems" where different peers are related by data exchange constraints and trust relationships. These two elements plus the data at the peers' sites and their local integrity…

Databases · Computer Science 2016-08-03 Leopoldo Bertossi , Loreto Bravo

A key task in the context of consistent query answering is to count the number of repairs that entail the query, with the ultimate goal being a precise data complexity classification. This has been achieved in the case of primary keys and…

Databases · Computer Science 2024-04-10 Marco Calautti , Ester Livshits , Andreas Pieris , Markus Schneider

In this work several semantic approaches to concept-based query expansion and reranking schemes are studied and compared with different ontology-based expansion methods in web document search and retrieval. In particular, we focus on…

Information Retrieval · Computer Science 2017-01-20 Valentina Franzoni , Yuanxi Li , Clement H. C. Leung , Alfredo Milani

A database D may be inconsistent wrt a given set IC of integrity constraints. Consistent Query Answering (CQA) is the problem of computing from D the answers to a query that are consistent wrt IC . Consistent answers are invariant under all…

Databases · Computer Science 2016-05-24 Andrei Lopatenko , Leopoldo Bertossi

Ontology-based data access is an approach to organizing access to a database augmented with a logical theory. In this approach query answering proceeds through a reformulation of a given query into a new one which can be answered without…

Logic in Computer Science · Computer Science 2015-06-04 Vladimir V. Podolskii

Consistent answers to a query from a possibly inconsistent database are answers that are simultaneously retrieved from every possible repair of the database. Repairs are consistent instances that minimally differ from the original…

Databases · Computer Science 2021-10-20 Leopoldo Bertossi

Understanding semantic relationships within complex networks derived from lexical resources is fundamental for network science and language modeling. While network embedding methods capture contextual similarity, quantifying semantic…

Disordered Systems and Neural Networks · Physics 2026-01-09 Pablo Garcia-Cuadrillero , Fabio Revuelta , Jose Angel Capitan

In this paper we consider two points of views to the problem of coherent integration of distributed data. First we give a pure model-theoretic analysis of the possible ways to `repair' a database. We do so by characterizing the…

Logic in Computer Science · Computer Science 2007-05-23 Ofer Arieli , Marc Denecker , Bert Van Nuffelen , Maurice Bruynooghe

We first present our view of detection and correction of syntactic errors. We then introduce a new correction method, based on heuristic criteria used to decide which correction should be preferred. Weighting of these criteria leads to a…

cmp-lg · Computer Science 2009-09-25 Damien Genthial , Jacques Courtin , Jacques Menezo Equipe Trilan

A vast and interesting family of natural semantics for belief revision is defined. Suppose one is given a distance d between any two models. One may then define the revision of a theory K by a formula a as the theory defined by the set of…

Artificial Intelligence · Computer Science 2007-05-23 Daniel Lehmann , Menachem Magidor , Karl Schlechta

A typical IR system that delivers and stores information is affected by problem of matching between user query and available content on web. Use of Ontology represents the extracted terms in form of network graph consisting of nodes, edges,…

Information Retrieval · Computer Science 2017-03-23 Gagandeep Singh Narula , Vishal Jain

Preferences are a pivotal component in practical reasoning, especially in tasks that involve decision-making over different options or courses of action that could be pursued. In this work, we focus on repairing and querying inconsistent…

Databases · Computer Science 2024-05-28 Nina Pardal , Santiago Cifuentes , Edwin Pin , Maria Vanina Martinez , Sergio Abriola

The intricate hierarchical structure of syntax is fundamental to the intricate and systematic nature of human language. This study investigates the premise that language models, specifically their attention distributions, can encapsulate…

Computation and Language · Computer Science 2023-12-27 Buvarp Gohsh , Woods Ali , Anders Michael

The question whether an ontology can safely be replaced by another, possibly simpler, one is fundamental for many ontology engineering and maintenance tasks. It underpins, for example, ontology versioning, ontology modularization,…

Artificial Intelligence · Computer Science 2018-04-24 Elena Botoeva , Boris Konev , Carsten Lutz , Vladislav Ryzhikov , Frank Wolter , Michael Zakharyaschev

Inconsistent values are commonly encountered in real-world applications, which can negatively impact data analysis and decision-making. While existing research primarily focuses on identifying the smallest removal set to resolve…

Data Structures and Algorithms · Computer Science 2025-12-23 Haoda Li , Jiahui Chen , Yu Sun , Shaoxu Song , Haiwei Zhang , Xiaojie Yuan

In this paper, we explore the issue of inconsistency handling in DatalogMTL, an extension of Datalog with metric temporal operators. Since facts are associated with time intervals, there are different manners to restore consistency when…

Logic in Computer Science · Computer Science 2025-05-16 Meghyn Bienvenu , Camille Bourgaux , Atefe Khodadaditaghanaki

We introduce and study several notions of approximation for ontology-mediated queries based on the description logics ALC and ALCI. Our approximations are of two kinds: we may (1) replace the ontology with one formulated in a tractable…

Artificial Intelligence · Computer Science 2022-07-01 Anneke Haga , Carsten Lutz , Leif Sabellek , Frank Wolter