English
Related papers

Related papers: Querying and Repairing Inconsistent Prioritized Kn…

200 papers

Relational knowledge bases (KBs) are commonly used to represent world knowledge in machines. However, while advantageous for their high degree of precision and interpretability, KBs are usually organized according to manually-defined…

Computation and Language · Computer Science 2021-09-13 Tara Safavi , Danai Koutra

Abduction is the task of computing a sufficient extension of a knowledge base (KB) that entails a conclusion not entailed by the original KB. It serves to compute explanations, or hypotheses, for such missing entailments. While this task…

Logic in Computer Science · Computer Science 2025-07-30 Anselm Haak , Patrick Koopmann , Yasir Mahmood , Anni-Yasmin Turhan

Reasoning with knowledge expressed in natural language and Knowledge Bases (KBs) is a major challenge for Artificial Intelligence, with applications in machine reading, dialogue, and question answering. General neural architectures that…

Machine Learning · Computer Science 2019-12-24 Pasquale Minervini , Matko Bošnjak , Tim Rocktäschel , Sebastian Riedel , Edward Grefenstette

The quality of ontologies and their alignments is crucial for developing high-quality semantics-based applications. Traditional debugging techniques repair ontology networks by removing unwanted axioms and mappings, but may thereby remove…

Artificial Intelligence · Computer Science 2024-07-29 Ying Li , Patrick Lambrix

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

This paper tackles the problem of the semantic gap between a document and a query within an ad-hoc information retrieval task. In this context, knowledge bases (KBs) have already been acknowledged as valuable means since they allow the…

Information Retrieval · Computer Science 2016-06-24 Gia-Hung Nguyen , Lynda Tamine , Laure Soulier , Nathalie Bricon-Souf

Knowledge and Action Bases (KABs) have been put forward as a semantically rich representation of a domain, using a DL KB to account for its static aspects, and actions to evolve its extensional part over time, possibly introducing new…

Artificial Intelligence · Computer Science 2015-06-05 Diego Calvanese , Marco Montali , Ario Santoso

Knowledge bases (KBs) are not static entities: new information constantly appears and some of the previous knowledge becomes obsolete. In order to reflect this evolution of knowledge, KBs should be expanded with the new knowledge and…

Artificial Intelligence · Computer Science 2020-01-28 Dmitriy Zheleznyakov , Evgeny Kharlamov , Werner Nutt , Diego Calvanese

To answer database queries over incomplete data the gold standard is finding certain answers: those that are true regardless of how incomplete data is interpreted. Such answers can be found efficiently for conjunctive queries and their…

Databases · Computer Science 2023-10-20 Amélie Gheerbrant , Leonid Libkin , Alexandra Rogova , Cristina Sirangelo

The deductive closure of an ideal knowledge base (KB) contains exactly the logical queries that the KB can answer. However, in practice KBs are both incomplete and over-specified, failing to answer some queries that have real-world answers.…

Machine Learning · Computer Science 2021-02-01 Haitian Sun , Andrew O. Arnold , Tania Bedrax-Weiss , Fernando Pereira , William W. Cohen

In this work we establish and point out connections between the notion of query-answer causality in databases and database repairs, model-based diagnosis in its consistency-based and abductive versions, and database updates through views.…

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

A relational database is inconsistent if it does not satisfy a given set of integrity constraints. Nevertheless, it is likely that most of the data in it is consistent with the constraints. In this paper we apply logic programming based on…

Databases · Computer Science 2007-05-23 Marcelo Arenas , Leopoldo Bertossi , Jan Chomicki

In the presence of inconsistencies, repair techniques thrive to restore consistency by reasoning with several repairs. However, since the number of repairs can be large, standard inconsistent tolerant semantics usually yield few answers. In…

Artificial Intelligence · Computer Science 2019-10-02 César Prouté , Bruno Yun , Madalina Croitoru

This paper presents and discusses several methods for reasoning from inconsistent knowledge bases. A so-called argumentative-consequence relation taking into account the existence of consistent arguments in favor of a conclusion and the…

Artificial Intelligence · Computer Science 2013-03-08 Salem Benferhat , Didier Dubois , Henri Prade

The generalization problem on KBQA has drawn considerable attention. Existing research suffers from the generalization issue brought by the entanglement in the coarse-grained modeling of the logical expression, or inexecutability issues due…

Artificial Intelligence · Computer Science 2023-06-27 Lingxi Zhang , Jing Zhang , Yanling Wang , Shulin Cao , Xinmei Huang , Cuiping Li , Hong Chen , Juanzi Li

Datasets often contain values that naturally reside in a metric space: numbers, strings, geographical locations, machine-learned embeddings in a Euclidean space, and so on. We study the computational complexity of repairing inconsistent…

Databases · Computer Science 2024-09-26 Youri Kaminsky , Benny Kimelfeld , Ester Livshits , Felix Naumann , David Wajc

We investigate the notion of sufficient explanation, and a sufficiency-degree as attribution score for database tuples in relation to query answering. We also investigate and exploit connections with database repairs as used for dealing…

Databases · Computer Science 2026-05-18 Leopoldo Bertossi , Nina Pardal

Structured knowledge bases (KBs) are a foundation of many intelligent applications, yet are notoriously incomplete. Language models (LMs) have recently been proposed for unsupervised knowledge base completion (KBC), yet, despite encouraging…

Computation and Language · Computer Science 2023-03-21 Blerta Veseli , Sneha Singhania , Simon Razniewski , Gerhard Weikum

In this article, we characterize in terms of analytic tableaux the repairs of inconsistent relational databases, that is databases that do not satisfy a given set of integrity constraints. For this purpose we provide closing and opening…

Databases · Computer Science 2007-05-23 Leopoldo Bertossi , Camilla Schwind

Inconsistency handling is an important issue in knowledge management. Especially in ontology engineering, logical inconsistencies may occur during ontology construction. A natural way to reason with an inconsistent ontology is to utilize…

Artificial Intelligence · Computer Science 2026-03-10 Keyu Wang , Site Li , Jiaye Li , Guilin Qi , Qiu Ji