English
Related papers

Related papers: Querying and Repairing Inconsistent Prioritized Kn…

200 papers

In its traditional definition, a repair of an inconsistent database is a consistent database that differs from the inconsistent one in a "minimal way". Often, repairs are not equally legitimate, as it is desired to prefer one over another;…

Databases · Computer Science 2016-03-08 Benny Kimelfeld , Ester Livshits , Liat Peterfreund

We investigate practical algorithms for inconsistency-tolerant query answering over prioritized knowledge bases, which consist of a logical theory, a set of facts, and a priority relation between conflicting facts. We consider three…

Logic in Computer Science · Computer Science 2026-05-01 Meghyn Bienvenu , Camille Bourgaux

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 explore the use of answer set programming (ASP) and its extension with quantifiers, ASP(Q), for inconsistency-tolerant querying of prioritized data, where a priority relation between conflicting facts is exploited to define three notions…

Logic in Computer Science · Computer Science 2026-05-05 Meghyn Bienvenu , Camille Bourgaux , Robin Jean , Giuseppe Mazzotta

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

Repair-based semantics have been extensively studied as a means of obtaining meaningful answers to queries posed over inconsistent knowledge bases (KBs). While several works have considered how to exploit a priority relation between facts…

Logic in Computer Science · Computer Science 2025-11-25 Meghyn Bienvenu , Camille Bourgaux , Katsumi Inoue , Robin Jean

Repairing inconsistent knowledge bases is a task that has been assessed, with great advances over several decades, from within the knowledge representation and reasoning and the database theory communities. As information becomes more…

Databases · Computer Science 2023-07-14 Sergio Abriola , Santiago Cifuentes , Nina Pardal , Edwin Pin

The necessity to manage inconsistency in Description Logics Knowledge Bases (KBs) has come to the fore with the increasing importance gained by the Semantic Web, where information comes from different sources that constantly change their…

Artificial Intelligence · Computer Science 2025-08-06 Riccardo Zese , Evelina Lamma , Fabrizio Riguzzi

We study here the impact of priorities on conflict resolution in inconsistent relational databases. We extend the framework of repairs and consistent query answers. We propose a set of postulates that an extended framework should satisfy…

Databases · Computer Science 2007-05-23 Slawomir Staworko , Jan Chomicki

A consistent query answer in an inconsistent database is an answer obtained in every (minimal) repair. The repairs are obtained by resolving all conflicts in all possible ways. Often, however, the user is able to provide a preference on how…

Databases · Computer Science 2011-10-10 Slawomir Staworko , Jan Chomicki , Jerzy Marcinkowski

The inconsistency in prioritized knowledge base is because the assertions (ABoxes) come from several sources with different levels of reliability. We introduce the handling of this inconsistency problem to query inconsistent…

Logic in Computer Science · Computer Science 2019-12-09 Ghassen Hamdi , Abdelmoutia Telli , Mohamed Nazih Omri

The usefulness and usability of knowledge bases (KBs) is often limited by quality issues. One common issue is the presence of erroneous assertions, often caused by lexical or semantic confusion. We study the problem of correcting such…

Artificial Intelligence · Computer Science 2020-01-22 Jiaoyan Chen , Xi Chen , Ian Horrocks , Ernesto Jimenez-Ruiz , Erik B. Myklebus

In this paper, we study the data complexity of querying inconsistent weighted description logic (DL) knowledge bases under recently-introduced cost-based semantics. In a nutshell, the idea is to assign each interpretation a cost based upon…

Artificial Intelligence · Computer Science 2025-11-17 Meghyn Bienvenu , Quentin Manière

Description Logic Knowledge and Action Bases (KABs) have been recently introduced as a mechanism that provides a semantically rich representation of the information on the domain of interest in terms of a DL KB and a set of actions to…

Artificial Intelligence · Computer Science 2013-04-25 Diego Calvanese , Evgeny Kharlamov , Marco Montali , Ario Santoso , Dmitriy Zheleznyakov

In this paper, we address the problem of handling inconsistent data in Temporal Description Logic (TDL) knowledge bases. Considering the data part of the Knowledge Base as the source of inconsistency over time, we propose an ABox repair…

Artificial Intelligence · Computer Science 2021-08-31 Mourad Ouziri , Sabiha Tahrat , Salima Benbernou , Mourad Ouzirri

Traditional inconsistency-tolerent query answering in ontology-based data access relies on selecting maximal components of an ABox/database which are consistent with the ontology. However, some rules in ontologies might be unreliable if…

Artificial Intelligence · Computer Science 2016-02-19 Hai Wan , Heng Zhang , Peng Xiao , Haoran Huang , Yan Zhang

Given a knowledge base (KB) with a non-entailed fact, the ABox abduction problem asks for possible extensions of the KB that would entail this fact. This problem has many applications, ranging from diagnosis to explainability and repair.…

Logic in Computer Science · Computer Science 2026-05-05 Anselm Haak , Patrick Koopmann , Yasir Mahmood , Anni-Yasmin Turhan

A broad variety of knowledge-based applications such as recommender, expert, planning or configuration systems usually operate on the basis of knowledge represented by means of some logical language. Such a logical knowledge base (KB)…

Artificial Intelligence · Computer Science 2016-09-22 Patrick Rodler

Many AI applications rely on knowledge about a relevant real-world domain that is encoded by means of some logical knowledge base (KB). The most essential benefit of logical KBs is the opportunity to perform automatic reasoning to derive…

Artificial Intelligence · Computer Science 2016-05-20 Patrick Rodler

General-purpose knowledge bases (KBs) are a cornerstone of knowledge-centric AI. Many of them are constructed pragmatically from Web sources, and are thus far from complete. This poses challenges for the consumption as well as the curation…

Artificial Intelligence · Computer Science 2023-12-07 Simon Razniewski , Hiba Arnaout , Shrestha Ghosh , Fabian Suchanek
‹ Prev 1 2 3 10 Next ›