Meghyn Bienvenu

18 papers · 2013–2026 · 2 conferences · across top CS/AI conferences

Achievements

🐣 Hot Topic Early Bird 🌉 Interdisciplinary Bridge 🐝 Cross-Pollinator (5) 🌍 Conference Polyglot (2) 🏃 Academic Marathon (12) 🧭 Keyword Pioneer 🏆 Keyword Champion (3) 🔥 Unstoppable (7) 💎 Century Club (17) 🚀 Conference Pioneer 📈 Trend Setter

Conferences

IJCAI (17) AAAI (1)

Top co-authors

Marie-Laure Mugnier (3) Quentin Manière (3) Michaël Thomazo (3) Pierre Bourhis (2) Magdalena Ortiz (2) Camille Bourgaux (2) Carsten Lutz (2) Mantas Šimkus (2) Frank Wolter (2) Jean-François Baget (2)

Keywords

query answering (5) description logic (5) data complexity (3) ontology-mediated query answering (3) knowledge base (3) first-order logic (2) knowledge representation (2) shapley value (1) probabilistic query evaluation (1) conjunctive query (1) ontology-based data access (1) inconsistency-tolerant query answering (1) existential rule (1) entity resolution (1) conflict resolution (1) logical rule (1) metric temporal logic (1) inconsistency handling (1) description logics (1) inconsistent datum (1)

Papers

Data Complexity of Querying Description Logic Knowledge Bases Under Cost-Based Semantics AAAI 2026

Inconsistency Handling in DatalogMTL IJCAI 2025

Shapley Value Computation in Ontology-Mediated Query Answering (Extended Abstract) IJCAI 2025

REPLACE: A Logical Framework for Combining Collective Entity Resolution and Repairing IJCAI 2023

Cardinality Queries over DL-Lite Ontologies IJCAI 2021

Answering Counting Queries over DL-Lite Ontologies IJCAI 2020

Mixed-World Reasoning with Existential Rules under Active-Domain Semantics IJCAI 2019

Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking Mappings into Account IJCAI 2018

Ontology-Mediated Query Answering for Key-Value Stores IJCAI 2017

Answering Conjunctive Regular Path Queries over Guarded Existential Rules IJCAI 2017

Ontology-Mediated Query Answering: Harnessing Knowledge to Get More from Data IJCAI 2016

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

Query-Driven Repairing of Inconsistent DL-Lite Knowledge Bases IJCAI 2016

Combining Existential Rules and Transitivity: Next Steps IJCAI 2015

Conjunctive Regular Path Queries in Lightweight Description Logics IJCAI 2013

Tractable Approximations of Consistent Query Answering for Robust Ontology-Based Data Access IJCAI 2013

Tractable Queries for Lightweight Description Logics IJCAI 2013

First-Order Rewritability of Atomic Queries in Horn Description Logics IJCAI 2013