activity
20162026
most citedFirst Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics

44 citations · 62 across the 20 of their papers we have counts for

collaborators
Showing cs.AIShow all

6 papers · 1 filter

cs.AI2026

Answering Path Queries under Linear and Guarded Existential Rules

Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier +1

Ontology-mediated query answering is concerned with the problem of answering queries over knowledge bases consisting of a database instance and an ontology. While most work in the…

cs.AI2026

Inferring High-Level Events from Timestamped Data: Complexity and Medical Applications

Yvon K. Awuklu, Meghyn Bienvenu, Katsumi Inoue +2

In this paper, we develop a novel logic-based approach to detecting high-level temporally extended events from timestamped data and background knowledge. Our framework employs logi…

cs.AI2025

Data Complexity of Querying Description Logic Knowledge Bases under Cost-Based Semantics

Meghyn Bienvenu, Quentin Manière

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,…

cs.AI2025

Tractable Responsibility Measures for Ontology-Mediated Query Answering

Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade

Recent work on quantitative approaches to explaining query answers employs responsibility measures to assign scores to facts in order to quantify their respective contributions to…

cs.AI2024

Shapley Value Computation in Ontology-Mediated Query Answering

Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade

The Shapley value was originally introduced in cooperative game theory as a wealth distribution mechanism. It has since found use in knowledge representation and databases for the…

cs.AI2020★ 44 cited

First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics

Meghyn Bienvenu, Peter Hansen, Carsten Lutz +1

We study FO-rewritability of conjunctive queries in the presence of ontologies formulated in a description logic between EL and Horn-SHIF, along with related query containment prob…