English
Related papers

Related papers: CQE in Description Logics Through Instance Indisti…

200 papers

Releasing the result size of conjunctive queries and graph pattern queries under differential privacy (DP) has received considerable attention in the literature, but existing solutions do not offer any optimality guarantees. We provide the…

Databases · Computer Science 2021-12-28 Wei Dong , Ke Yi

The rapid development of large language models (LLMs) is redefining the landscape of human-computer interaction, and their integration into various user-service applications is becoming increasingly prevalent. However, transmitting user…

Computation and Language · Computer Science 2025-02-20 Guangwei Li , Yuansen Zhang , Yinggui Wang , Shoumeng Yan , Lei Wang , Tao Wei

We study confidentiality enforcement in ontologies under the Controlled Query Evaluation framework, where a policy specifies the sensitive information and a censor ensures that query answers that may compromise the policy are not returned.…

Artificial Intelligence · Computer Science 2015-04-27 Bernardo Cuenca Grau , Evgeny Kharlamov , Egor V. Kostylev , Dmitriy Zheleznyakov

Ontological queries are evaluated against an ontology rather than directly on a database. The evaluation and optimization of such queries is an intriguing new problem for database research. In this paper we discuss two important aspects of…

Databases · Computer Science 2011-12-05 Georg Gottlob , Giorgio Orsi , Andreas Pieris

The recently introduced series of description logics under the common moniker DL-Lite has attracted attention of the description logic and semantic web communities due to the low computational complexity of inference, on the one hand, and…

Logic in Computer Science · Computer Science 2014-01-16 Alessandro Artale , Diego Calvanese , Roman Kontchakov , Michael Zakharyaschev

Querying large datasets with incomplete and vague data is still a challenge. Ontology-based query answering extends standard database query answering by background knowledge from an ontology to augment incomplete data. We focus on…

Logic in Computer Science · Computer Science 2018-08-07 Rafael Peñaloza , Veronika Thost , Anni-Yasmin Turhan

Consistent Query Answering (CQA) is an inconsistency-tolerant approach to data access in knowledge bases and databases. The goal of CQA is to provide meaningful (consistent) answers to queries even in the presence of inconsistent…

Artificial Intelligence · Computer Science 2024-04-25 Lorenzo Marconi , Riccardo Rosati

We study the evaluation of ontology-mediated queries (OMQs) on databases of bounded cliquewidth from the viewpoint of parameterized complexity theory. As the ontology language, we consider the description logics $\mathcal{ALC}$ and…

Databases · Computer Science 2022-09-15 Carsten Lutz , Leif Sabellek , Lukas Schulze

We provide an ultimately fine-grained analysis of the data complexity and rewritability of ontology-mediated queries (OMQs) based on an EL ontology and a conjunctive query (CQ). Our main results are that every such OMQ is in AC0,…

Computational Complexity · Computer Science 2019-05-02 Carsten Lutz , Leif Sabellek

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

In-context learning (ICL) is an important capability of Large Language Models (LLMs), enabling these models to dynamically adapt based on specific, in-context exemplars, thereby improving accuracy and relevance. However, LLM's responses may…

Machine Learning · Computer Science 2023-10-03 Tong Wu , Ashwinee Panda , Jiachen T. Wang , Prateek Mittal

Matching Dependencies (MDs) are a relatively recent proposal for declarative entity resolution. They are rules that specify, given the similarities satisfied by values in a database, what values should be considered duplicates, and have to…

Databases · Computer Science 2013-05-28 Leopoldo Bertossi , Jaffer Gardezi

Conceptual dependencies (CDs) are particular kinds of key dependencies (KDs) and inclusion dependencies (IDs) that precisely characterize relational schemata modeled according to the main features of the Entity-Relationship (ER) model. An…

Databases · Computer Science 2013-12-10 Davide Martinenghi

We study a fitting problem inspired by ontology-mediated querying: given a collection of positive and negative examples of the form $(\mathcal{A},q)$ with $\mathcal{A}$ an ABox and $q$ a Boolean query, we seek an ontology $\mathcal{O}$ that…

Artificial Intelligence · Computer Science 2025-08-18 Maurice Funk , Marvin Grosser , Carsten Lutz

Representation of defeasible information is of interest in description logics, as it is related to the need of accommodating exceptional instances in knowledge bases. In this direction, in our previous works we presented a datalog…

Logic in Computer Science · Computer Science 2019-05-23 Loris Bozzato , Thomas Eiter , Luciano Serafini

The literature on ontology-mediated query answering (OMQA) has been shaped by two key results: first-order rewritability for DL-Lite, and PTime-hardness of data complexity for essentially every description logic beyond it. This has…

Logic in Computer Science · Computer Science 2026-05-14 Janos Arpasi , Bartosz Jan Bednarczyk , Magdalena Ortiz

A $\lambda$-calculus is introduced in which all programs can be evaluated in probabilistic polynomial time and in which there is sufficient structure to represent sequential cryptographic constructions and adversaries for them, even when…

Programming Languages · Computer Science 2024-10-24 Ugo Dal Lago , Zeinab Galal , Giulia Giusti

In-context learning (ICL) enables Large Language Models (LLMs) to adapt to new tasks with only a small set of examples at inference time, thereby avoiding task-specific fine-tuning. However, in-context examples may contain privacy-sensitive…

Machine Learning · Computer Science 2026-02-06 Rob Romijnders , Mohammad Mahdi Derakhshani , Jonathan Petit , Max Welling , Christos Louizos , Yuki M. Asano

Ontology-based query answering (OBQA) augments classical query answering in databases by domain knowledge encoded in an ontology. Systems for OBQA use the ontological knowledge to infer new information that is not explicitly given in the…

Logic in Computer Science · Computer Science 2020-03-24 Stefan Borgwardt , Veronika Thost

Conversational Question Simplification (CQS) aims to simplify self-contained questions into conversational ones by incorporating some conversational characteristics, e.g., anaphora and ellipsis. Existing maximum likelihood estimation (MLE)…

Computation and Language · Computer Science 2021-07-01 Zhongkun Liu , Pengjie Ren , Zhumin Chen , Zhaochun Ren , Maarten de Rijke , Ming Zhou