English
Related papers

Related papers: Harmless but Useful: Beyond Separable Equality Con…

200 papers

Knowledge graph construction typically relies either on predefined ontologies or on schema-free extraction. Ontology-driven pipelines enforce consistent typing but require costly schema design and maintenance, whereas schema-free methods…

Artificial Intelligence · Computer Science 2026-04-07 Mohammad Sadeq Abolhasani , Yang Ba , Yixuan He , Rong Pan

Environmental, Social, and Governance (ESG) metric knowledge is inherently structured, connecting industries, reporting frameworks, metric categories, metrics, and calculation models through compositional dependencies, yet in practice this…

Artificial Intelligence · Computer Science 2026-01-27 Mingqin Yu , Fethi Rabhi , Boming Xia , Zhengyi Yang , Felix Tan , Qinghua Lu

In this paper we introduce a new class of tuple-generating dependencies (TGDs) called triangularly-guarded TGDs, which are TGDs with certain restrictions on the atomic derivation track embedded in the underlying rule set. We show that…

Artificial Intelligence · Computer Science 2018-04-20 Vernon Asuncion , Yan Zhang

Recently, the topic-grounded dialogue (TGD) system has become increasingly popular as its powerful capability to actively guide users to accomplish specific tasks through topic-guided conversations. Most existing works utilize side…

Computation and Language · Computer Science 2024-06-05 Shixuan Fan , Wei Wei , Xiaofei Wen , Xianling Mao , Jixiong Chen , Dangyang Chen

Matching dependencies (MDs) have been recently introduced as declarative rules for entity resolution (ER), i.e. for identifying and resolving duplicates in relational instance $D$. A set of MDs can be used as the basis for a possibly…

Databases · Computer Science 2011-12-30 Jaffer Gardezi , Leopoldo Bertossi

Retrieval-Augmented Large Language Models (LLMs), which incorporate the non-parametric knowledge from external knowledge bases into LLMs, have emerged as a promising approach to enhancing response accuracy in several tasks, such as…

Computation and Language · Computer Science 2024-03-29 Soyeong Jeong , Jinheon Baek , Sukmin Cho , Sung Ju Hwang , Jong C. Park

Recent pretrained language models "solved" many reading comprehension benchmarks, where questions are written with access to the evidence document. However, datasets containing information-seeking queries where evidence documents are…

Computation and Language · Computer Science 2021-06-08 Akari Asai , Eunsol Choi

Query evaluation on probabilistic databases is generally intractable (#P-hard). Existing dichotomy results have identified which queries are tractable (or safe), and connected them to tractable lineages. In our previous work, using…

Databases · Computer Science 2023-04-14 Antoine Amarilli , Pierre Bourhis , Pierre Senellart

The paper is focused on temporal logics for the description of the behaviour of real-time pushdown reactive systems. The paper is motivated to bridge tractable logics specialized for expressing separately dense-time real-time properties and…

Logic in Computer Science · Computer Science 2019-11-20 Laura Bozzelli , Aniello Murano , Adriano Peron

Edge-labeled graphs are widely used to describe relationships between entities in a database. Given a query subgraph that represents an example of what the user is searching for, we study the problem of efficiently searching for similar…

Databases · Computer Science 2020-05-12 Zhaoyang Shao , Davood Rafiei , Themis Palpanas

In ontology-based data access (OBDA), the classical database is enhanced with an ontology in the form of logical assertions generating new intensional knowledge. A powerful form of such logical assertions is the tuple-generating…

Artificial Intelligence · Computer Science 2018-08-03 Vernon Asuncion , Yan Zhang , Heng Zhang , Yun Bai , Weisheng Si

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

We study the question of when we can provide direct access to the k-th answer to a Conjunctive Query (CQ) according to a specified order over the answers in time logarithmic in the size of the database, following a preprocessing step that…

Databases · Computer Science 2022-11-30 Nofar Carmeli , Nikolaos Tziavelis , Wolfgang Gatterbauer , Benny Kimelfeld , Mirek Riedewald

Text-to-SQL systems allow non-SQL experts to interact with relational databases using natural language. However, their tendency to generate executable SQL for ambiguous, out-of-scope, or unanswerable queries introduces a hidden risk, as…

Databases · Computer Science 2025-12-29 Jasmin Saxer , Isabella Maria Aigner , Luise Linzmeier , Andreas Weiler , Kurt Stockinger

The chase procedure is a fundamental algorithmic tool in database theory with a variety of applications. A key problem concerning the chase procedure is all-instances termination: for a given set of tuple-generating dependencies (TGDs), is…

Databases · Computer Science 2019-07-09 Tomasz Gogacz , Jerzy Marcinkowski , Andreas Pieris

The chase is a widely implemented approach to reason with tuple-generating dependencies (tgds), used in data exchange, data integration, and ontology-based query answering. However, it is merely a semi-decision procedure, which may fail to…

Databases · Computer Science 2024-03-29 Philipp Hanisch , Markus Krötzsch

To alleviate the problem of structured databases' limited coverage, recent task-oriented dialogue systems incorporate external unstructured knowledge to guide the generation of system responses. However, these usually use word or sentence…

Computation and Language · Computer Science 2022-12-13 Yue Feng , Gerasimos Lampouras , Ignacio Iacobacci

While dense biomedical embeddings achieve strong performance, their black-box nature limits their utility in clinical decision-making. Recent question-based interpretable embeddings represent text as binary answers to natural-language…

Computation and Language · Computer Science 2026-03-04 Yixuan Tang , Zhenghong Lin , Yandong Sun , Wynne Hsu , Mong Li Lee , Anthony K. H. Tung

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

In this paper, we propose the use of epistemic dependencies to express data protection policies in Controlled Query Evaluation (CQE), which is a form of confidentiality-preserving query answering over ontologies and databases. The resulting…

Artificial Intelligence · Computer Science 2024-05-07 Gianluca Cima , Domenico Lembo , Lorenzo Marconi , Riccardo Rosati , Domenico Fabio Savo