English
Related papers

Related papers: Querying and Repairing Inconsistent Prioritized Kn…

200 papers

From an inconsistent database non-trivial arguments may be constructed both for a proposition, and for the contrary of that proposition. Therefore, inconsistency in a logical database causes uncertainty about which conclusions to accept.…

Artificial Intelligence · Computer Science 2013-08-12 Morten Elvang-Gøransson , Paul J. Krause , John Fox

Knowledge Bases (KBs) contain a wealth of structured information about entities and predicates. This paper focuses on set-valued predicates, i.e., the relationship between an entity and a set of entities. In KBs, this information is often…

Databases · Computer Science 2020-03-27 Shrestha Ghosh , Simon Razniewski , Gerhard Weikum

In real-world applications, knowledge bases consisting of all the information at hand for a specific domain, along with the current state of affairs, are bound to contain contradictory data coming from different sources, as well as data…

Logic in Computer Science · Computer Science 2014-01-08 Paulo Shakarian , Gerardo I. Simari , Marcelo A. Falappa

Question Answering (QA) over Knowledge Base (KB) aims to automatically answer natural language questions via well-structured relation information between entities stored in knowledge bases. In order to make KBQA more applicable in actual…

Computation and Language · Computer Science 2020-07-28 Bin Fu , Yunqi Qiu , Chengguang Tang , Yang Li , Haiyang Yu , Jian Sun

We study the computational complexity of problems that arise in abstract argumentation in the context of dynamic argumentation, minimal change, and aggregation. In particular, we consider the following problems where always an argumentation…

Data Structures and Algorithms · Computer Science 2014-02-26 Eun Jung Kim , Sebastian Ordyniak , Stefan Szeider

Operational consistent query answering (CQA) is a recent framework for CQA based on revised definitions of repairs, which are built by applying a sequence of operations (e.g., fact deletions) starting from an inconsistent database until we…

Databases · Computer Science 2023-12-14 Marco Calautti , Ester Livshits , Andreas Pieris , Markus Schneider

During the past few decades, knowledge bases (KBs) have experienced rapid growth. Nevertheless, most KBs still suffer from serious incompletion. Researchers proposed many tasks such as knowledge base completion and relation prediction to…

Computation and Language · Computer Science 2019-04-23 Zihao Fu , Yankai Lin , Zhiyuan Liu , Wai Lam

Since 2005, significant progress has been made in the problem of Consistent Query Answering (CQA) with respect to primary keys. In this problem, the input is a database instance that may violate one or more primary key constraints. A repair…

Databases · Computer Science 2022-03-28 Miika Hannula , Jef Wijsen

We investigate the problem of identifying database repairs for missing tuples in query answers. We show that when the query is part of the input - the combined complexity setting - determining whether or not a repair exists is…

Databases · Computer Science 2026-01-13 Jesse Comer , Val Tannen

Recent advances in deep learning have greatly propelled the research on semantic parsing. Improvement has since been made in many downstream tasks, including natural language interface to web APIs, text-to-SQL generation, among others.…

Computation and Language · Computer Science 2022-10-25 Yu Gu , Vardaan Pahuja , Gong Cheng , Yu Su

In this work, answer-set programs that specify repairs of databases are used as a basis for solving computational and reasoning problems about causes for query answers from databases.

Databases · Computer Science 2017-06-27 Leopoldo Bertossi

In several different applications, including data transformation and entity resolution, rules are used to capture aspects of knowledge about the application at hand. Often, a large set of such rules is generated automatically or…

Artificial Intelligence · Computer Science 2020-11-03 Phokion G. Kolaitis , Lucian Popa , Kun Qian

We propose a new approach for modeling and reconciling conflicting data cleaning actions. Such conflicts arise naturally in collaborative data curation settings where multiple experts work independently and then aim to put their efforts…

Databases · Computer Science 2024-03-14 Yilin Xia , Shawn Bowers , Lan Li , Bertram Ludäscher

While transformers demonstrate impressive performance on many knowledge intensive (KI) tasks, their ability to serve as implicit knowledge bases (KBs) remains limited, as shown on several slot-filling, question-answering (QA), fact…

Computation and Language · Computer Science 2022-03-21 Nic Jedema , Thuy Vu , Manish Gupta , Alessandro Moschitti

In the context of ontology-mediated querying with description logics (DLs), we study the data complexity of queries in which selected predicates can be closed (OMQCs). We provide a non-uniform analysis, aiming at a classification of the…

Logic in Computer Science · Computer Science 2023-06-22 Carsten Lutz , Inanc Seylan , Frank Wolter

Knowledge Base Question Answering (KBQA) challenges models to bridge the gap between natural language and strict knowledge graph schemas by generating executable logical forms. While Large Language Models (LLMs) have advanced this field,…

Computation and Language · Computer Science 2026-01-12 Xin Sun , Zhongqi Chen , Xing Zheng , Qiang Liu , Shu Wu , Bowen Song , Zilei Wang , Weiqiang Wang , Liang Wang

Knowledge bases (KBs) and text often contain complementary knowledge: KBs store structured knowledge that can support long range reasoning, while text stores more comprehensive and timely knowledge in an unstructured way. Separately…

Computation and Language · Computer Science 2021-06-04 Vardaan Pahuja , Yu Gu , Wenhu Chen , Mehdi Bahrami , Lei Liu , Wei-Peng Chen , Yu Su

We study the data complexity of consistent query answering (CQA) on databases that may violate the primary key constraints. A repair is a maximal subset of the database satisfying the primary key constraints. For a Boolean query q, the…

Databases · Computer Science 2023-10-31 Paraschos Koutris , Xiating Ouyang , Jef Wijsen

We extend answer set semantics to deal with inconsistent programs (containing classical negation), by finding a ``best'' answer set. Within the context of inconsistent programs, it is natural to have a partial order on rules, representing a…

Logic in Computer Science · Computer Science 2007-05-23 Davy Van Nieuwenborgh , Dirk Vermeir

Enriching existing medical terminology knowledge bases (KBs) is an important and never-ending work for clinical research because new terminology alias may be continually added and standard terminologies may be newly renamed. In this paper,…

Computation and Language · Computer Science 2019-09-04 Jiaying Zhang , Zhixing Zhang , Huanhuan Zhang , Zhiyuan Ma , Yangming Zhou , Ping He
‹ Prev 1 3 4 5 6 7 10 Next ›