291 citations
- Centre National de la Recherche ScientifiqueFR222 papers
- Université de MontpellierFR183 papers
- Institut national de recherche en sciences et technologies du numériqueFR39 papers
- Université Montpellier 233 papers
- Data Management (Italy)IT24 papers
- Institut National Polytechnique de ToulouseFR24 papers
- Université Paul-Valéry MontpellierFR17 papers
- École Normale Supérieure de LyonFR16 papers
- Centre de Coopération Internationale en Recherche Agronomique pour le DéveloppementFR15 papers
- National and Kapodistrian University of AthensGR15 papers
- Lyon 1 UniversitéFR11 papers
- UMR Botanique et Modélisation de l’Architecture des Plantes et des végétationsFR11 papers
22 papers · 1 filter
Abstractions of Queries in Ontology-Based Data Access
Michel Leclère, Marie-Laure Mugnier, Guillaume Pérution-Kihli
In ontology-based data access (OBDA), multiple data sources are integrated via mappings to an ontology. We consider an OBDA setting based on existential rules and the certain answe…
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…
Finite Groundings for ASP with Functions: A Journey through Consistency
Lukas Gerlach, David Carral, Markus Hecher
Answer set programming (ASP) is a logic programming formalism used in various areas of artificial intelligence like combinatorial problem solving and knowledge representation and r…
Characterizing Boundedness in Chase Variants
Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier +1
Existential rules are a positive fragment of first-order logic that generalizes function-free Horn rules by allowing existentially quantified variables in rule heads. This family o…
Distance-Based Approaches to Repair Semantics in Ontology-based Data Access
César Prouté, Bruno Yun, Madalina Croitoru
In the presence of inconsistencies, repair techniques thrive to restore consistency by reasoning with several repairs. However, since the number of repairs can be large, standard i…
On the k-Boundedness for Existential Rules
Stathis Delivorias, Michel Leclere, Marie-Laure Mugnier +1
The chase is a fundamental tool for existential rules. Several chase variants are known, which differ on how they handle redundancies possibly caused by the introduction of nulls.…