English
Related papers

Related papers: Tractable Responsibility Measures for Ontology-Med…

200 papers

The Shapley value, originating from cooperative game theory, has been employed to define responsibility measures that quantify the contributions of database facts to obtaining a given query answer. For non-numeric queries, this is done by…

Databases · Computer Science 2026-01-19 Meghyn Bienvenu , Diego Figueira , Pierre Lafourcade

We contribute to the recent line of work on responsibility measures that quantify the contributions of database facts to obtaining a query result. In contrast to existing work which has almost exclusively focused on monotone queries, here…

Databases · Computer Science 2026-03-30 Meghyn Bienvenu , Diego Figueira , Pierre Lafourcade

We study the complexity of answer counting for ontology-mediated queries and for querying under constraints, considering conjunctive queries and unions thereof (UCQs) as the query language and guarded TGDs as the ontology and constraint…

Databases · Computer Science 2024-02-14 Cristina Feier , Carsten Lutz , Marcin Przybyłko

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

In ontology-mediated querying, description logic (DL) ontologies are used to enrich incomplete data with domain knowledge which results in more complete answers to queries. However, the evaluation of ontology-mediated queries (OMQs) over…

Databases · Computer Science 2020-07-30 Pablo Barcelo , Cristina Feier , Carsten Lutz , Andreas Pieris

Weighted model integration (WMI) is a very appealing framework for probabilistic inference: it allows to express the complex dependencies of real-world hybrid scenarios where variables are heterogeneous in nature (both continuous and…

Artificial Intelligence · Computer Science 2019-10-01 Zhe Zeng , Fanqi Yan , Paolo Morettin , Antonio Vergari , Guy Van den Broeck

In recent years, the Shapley value has emerged as a general game-theoretic measure for assessing the contribution of a tuple to the result of a database query. We study the complexity of calculating the Shapley value of a tuple for an…

Databases · Computer Science 2025-09-18 Christoph Standke , Benny Kimelfeld

In ontology-mediated query answering, access to incomplete data sources is mediated by a conceptual layer constituted by an ontology. To correctly compute answers to queries, it is necessary to perform complex reasoning over the constraints…

Databases · Computer Science 2022-08-17 Christian Alrabbaa , Stefan Borgwardt , Patrick Koopmann , Alisa Kovtunova

Ontology-mediated query answering (OMQA) is a promising approach to data access and integration that has been actively studied in the knowledge representation and database communities for more than a decade. The vast majority of work on…

Logic in Computer Science · Computer Science 2020-09-22 Meghyn Bienvenu , Quentin Manière , Michaël Thomazo

Counting the number of answers to conjunctive queries is a fundamental problem in databases that, under standard assumptions, does not have an efficient solution. The issue is inherently #P-hard, extending even to classes of acyclic…

Databases · Computer Science 2024-09-12 Hubie Chen , Gianluigi Greco , Stefan Mengel , Francesco Scarcello

Quantifying the inconsistency of a database is motivated by various goals including reliability estimation for new datasets and progress indication in data cleaning. Another goal is to attribute to individual tuples a level of…

Databases · Computer Science 2023-06-22 Ester Livshits , Benny Kimelfeld

The set of answers to a query may be very large, potentially overwhelming users when presented with the entire set. In such cases, presenting only a small subset of the answers to the user may be preferable. A natural requirement for this…

Databases · Computer Science 2024-08-06 Marcelo Arenas , Timo Camillo Merkl , Reinhard Pichler , Cristian Riveros

We investigate the data complexity of answering queries mediated by metric temporal logic ontologies under the event-based semantics assuming that data instances are finite timed words timestamped with binary fractions. We identify classes…

Logic in Computer Science · Computer Science 2019-07-02 Vladislav Ryzhikov , Przemyslaw Andrzej Walega , Michael Zakharyaschev

We introduce and study several notions of approximation for ontology-mediated queries based on the description logics ALC and ALCI. Our approximations are of two kinds: we may (1) replace the ontology with one formulated in a tractable…

Artificial Intelligence · Computer Science 2022-07-01 Anneke Haga , Carsten Lutz , Leif Sabellek , Frank Wolter

Ontology-based data access is concerned with querying incomplete data sources in the presence of domain-specific knowledge provided by an ontology. A central notion in this setting is that of an ontology-mediated query, which is a database…

Databases · Computer Science 2013-06-07 Meghyn Bienvenu , Balder ten Cate , Carsten Lutz , Frank Wolter

Semantic similarity measures (SSMs) are widely used in biomedical research but remain underutilized in pharmacovigilance. This study evaluates six ontology-based SSMs for clustering MedDRA Preferred Terms (PTs) in drug safety data. Using…

Computation and Language · Computer Science 2025-04-15 Jeffery L Painter , François Haguinet , Gregory E Powell , Andrew Bate

Recent studies have examined the computational complexity of computing Shapley additive explanations (also known as SHAP) across various models and distributions, revealing their tractability or intractability in different settings.…

Machine Learning · Computer Science 2025-02-19 Reda Marzouk , Shahaf Bassan , Guy Katz , Colin de la Higuera

While pre-trained language models (LMs) have brought great improvements in many NLP tasks, there is increasing attention to explore capabilities of LMs and interpret their predictions. However, existing works usually focus only on a certain…

Computation and Language · Computer Science 2022-07-29 Yaozong Shen , Lijie Wang , Ying Chen , Xinyan Xiao , Jing Liu , Hua Wu

One of the main current challenges in Educational Data Mining and Learning Analytics is the portability or transferability of predictive models obtained for a particular course so that they can be applied to other different courses. To…

Artificial Intelligence · Computer Science 2024-10-11 Javier Lopez Zambrano , Juan A. Lara , Cristobal Romero

The constraint satisfaction probem (CSP) is a well-acknowledged framework in which many combinatorial search problems can be naturally formulated. The CSP may be viewed as the problem of deciding the truth of a logical sentence consisting…

Logic in Computer Science · Computer Science 2007-05-23 Hubie Chen
‹ Prev 1 2 3 10 Next ›