Marie-Laure Mugnier

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 39

Top Topics

Query Answering

Top Venues

Description Logics

Publications

Elie Najm, Marie-Laure Mugnier, Christian Gary, Jean-François Baget, Raphael Métral, Léo Garcia
Integrating data and knowledge to support the selection of service plant species in agroecology. Comput. Electron. Agric. 217 (2024)
Michel Leclère, Marie-Laure Mugnier, Guillaume Pérution-Kihli
Query Rewriting with Disjunctive Existential Rules and Mappings. KR (2023)
Michel Leclère, Marie-Laure Mugnier, Guillaume Pérution-Kihli
Query Rewriting with Disjunctive Existential Rules and Mappings. CoRR (2023)
Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph
Bounded Treewidth and the Infinite Core Chase: Complications and Workarounds toward Decidable Querying. PODS (2023)
Olivier Rodriguez, Federico Ulliana, Marie-Laure Mugnier
Scalable Reasoning on Document Stores via Instance-Aware Query Rewriting. Proc. VLDB Endow. 16 (11) (2023)
David Carral, Lucas Larroque, Marie-Laure Mugnier, Michaël Thomazo
Normalisations of Existential Rules: Not so Innocuous! KR (2022)
Elie Najm, Jean-François Baget, Marie-Laure Mugnier
Rule-Based Data Access: A Use-case in Agroecology. RuleML+RR (Companion) (2022)
David Carral, Lucas Larroque, Marie-Laure Mugnier, Michaël Thomazo
Normalisations of Existential Rules: Not so Innocuous! CoRR (2022)
Maxime Buron, Marie-Laure Mugnier, Michaël Thomazo
Parallelisable Existential Rules: a Story of Pieces. KR (2021)
Maxime Buron, Marie-Laure Mugnier, Michaël Thomazo
Parallelisable Existential Rules: a Story of Pieces. CoRR (2021)
Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana
Characterizing Boundedness in Chase Variants. Theory Pract. Log. Program. 21 (1) (2021)
Marie-Laure Mugnier
Data Access With Horn Ontologies: Where Description Logics Meet Existential Rules. Künstliche Intell. 34 (4) (2020)
Pierre Bourhis, Michel Leclère, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana, Lily Gallois
Oblivious and Semi-Oblivious Boundedness for Existential Rules. CoRR (2020)
Maxime Buron, François Goasdoué, Ioana Manolescu, Marie-Laure Mugnier
Obi-Wan: Ontology-Based RDF Integration of Heterogeneous Data. Proc. VLDB Endow. 13 (12) (2020)
Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana
Characterizing Boundedness in Chase Variants. CoRR (2020)
Maxime Buron, François Goasdoué, Ioana Manolescu, Marie-Laure Mugnier
Ontology-Based RDF Integration of Heterogeneous Data. EDBT (2020)
Maxime Buron, François Goasdoué, Ioana Manolescu, Tayeb Merabti, Marie-Laure Mugnier
Revisiting RDF storage layouts for efficient query answering. SSWS@ISWC (2020)
Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana
A Single Approach to Decide Chase Termination on Linear Existential Rules. ICDT (2019)
Pierre Bourhis, Michel Leclère, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana, Lily Gallois
Oblivious and Semi-Oblivious Boundedness for Existential Rules. IJCAI (2019)
Maxime Buron, François Goasdoué, Ioana Manolescu, Marie-Laure Mugnier
Reformulation-Based Query Answering for RDF Graphs with RDFS Ontologies. ESWC (2019)
Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana
On the k-Boundedness for Existential Rules. RuleML+RR (2018)
Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana
A Single Approach to Decide Chase Termination on Linear Existential Rules. CoRR (2018)
Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana
A Single Approach to Decide Chase Termination on Linear Existential Rules. Description Logics (2018)
Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana
On the k-Boundedness for Existential Rules. CoRR (2018)
Marie-Laure Mugnier, Catherine Roussey, Pierre Senellart
Reasoning on Data Workshop Chairs' Welcome and Organization. WWW (Companion Volume) (2018)
Meghyn Bienvenu, Pierre Bourhis, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana
Ontology-Mediated Query Answering for Key-Value Stores. IJCAI (2017)
Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Michaël Thomazo
Answering Conjunctive Regular Path Queries over Guarded Existential Rules. IJCAI (2017)
Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia
Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis. JELIA (2016)
Michel Leclère, Marie-Laure Mugnier, Federico Ulliana
On Bounded Positive Existential Rules. Description Logics (2016)
Marie-Laure Mugnier, Marie-Christine Rousset, Federico Ulliana
Ontology-Mediated Queries for NOSQL Databases. AAAI (2016)
Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia
A General Modifier-based Framework for Inconsistency-Tolerant Query Answering. CoRR (2016)
Marie-Laure Mugnier, Marie-Christine Rousset, Federico Ulliana
Ontology-Mediated Queries for NOSQL Databases. Description Logics (2016)
Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia
A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering. KR (2016)
Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Swan Rocher, Clément Sipieter
Graal: A Toolkit for Query Answering with Existential Rules. RuleML (2015)
Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Swan Rocher
Combining Existential Rules and Transitivity: Next Steps. IJCAI (2015)
Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Swan Rocher
Combining Existential Rules and Transitivity: Next Steps. CoRR (2015)
Mélanie König, Michel Leclère, Marie-Laure Mugnier
Query Rewriting for Existential Rules with Compiled Preorder. IJCAI (2015)
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
Sound, complete and minimal UCQ-rewriting for existential rules. Semantic Web 6 (5) (2015)
Jean-François Baget, Alain Gutierrez, Michel Leclère, Marie-Laure Mugnier, Swan Rocher, Clément Sipieter
Datalog+, RuleML and OWL 2: Formats and Translations for Existential Rules. Challenge+DC@RuleML (2015)
Jean-François Baget, Fabien Garreau, Marie-Laure Mugnier, Swan Rocher
Extending Acyclicity Notions for Existential Rules (\emph{long version}). CoRR (2014)
Marie-Laure Mugnier, Michaël Thomazo
An Introduction to Ontology-Based Query Answering with Existential Rules. Reasoning Web (2014)
Sebastian Rudolph, Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier
Worst-case Optimal Query Answering for Greedy Sets of Existential Rules and Their Subclasses. CoRR (2014)
Michel Chein, Marie-Laure Mugnier
Conceptual Graphs Are Also Graphs. ICCS (2014)
Jean-François Baget, Fabien Garreau, Marie-Laure Mugnier, Swan Rocher
Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation. CoRR (2014)
Jean-François Baget, Fabien Garreau, Marie-Laure Mugnier, Swan Rocher
Extending Acyclicity Notions for Existential Rules. ECAI (2014)
Michel Chein, Marie-Laure Mugnier, Madalina Croitoru
Visual reasoning with graph-based mechanisms: the good, the better and the best. Knowl. Eng. Rev. 28 (3) (2013)
Jean-Rémi Bourguet, Rallou Thomopoulos, Marie-Laure Mugnier, Joël Abécassis
An artificial intelligence-based approach to deal with argumentation applied to food quality in a public health policy. Expert Syst. Appl. 40 (11) (2013)
Michel Leclère, Marie-Laure Mugnier, Swan Rocher
Kiabora: An Analyzer of Existential Rule Bases. RR (2013)
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
Sound, Complete and Minimal UCQ-Rewriting for Existential Rules. CoRR (2013)
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
Sound, Complete, and Minimal Query Rewriting for Existential Rules. IJCAI (2013)
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
On the Exploration of the Query Rewriting Space with Existential Rules. RR (2013)
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
A Sound and Complete Backward Chaining Algorithm for Existential Rules. RR (2012)
Marie-Laure Mugnier
Ontology-Based Query Answering with Existential Rules. RuleML (2012)
Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph
A Generic Querying Algorithm for Greedy Sets of Existential Rules. KR (2012)
Marie-Laure Mugnier, Geneviève Simonet, Michaël Thomazo
On the complexity of entailment in existential conjunctive first-order logic with atomic negation. Inf. Comput. 215 (2012)
Marie-Laure Mugnier
Existential Rules: A Graph-Based View - (Extended Abstract). Datalog (2012)
Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph, Michaël Thomazo
Walking the Complexity Lines for Generalized Guarded Existential Rules. IJCAI (2011)
Jérôme Fortin, Rallou Thomopoulos, Jean-Rémi Bourguet, Marie-Laure Mugnier
Supporting Argumentation Systems by Graph Representation and Computation. GKR (2011)
Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier
A Theoretical and Experimental Comparison of Algorithms for the Containment of Conjunctive Queries with Negation. DEXA (1) (2011)
Jean-François Baget, Marie-Laure Mugnier
Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints CoRR (2011)
Jean-François Baget, Marie-Laure Mugnier, Michaël Thomazo
Towards Farsighted Dependencies for Existential Rules. RR (2011)
Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat
On rules with existential variables: Walking the decidability line. Artif. Intell. 175 (9-10) (2011)
Marie-Laure Mugnier
Ontological Query Answering with Existential Rules. RR (2011)
Jean-François Baget, Madalina Croitoru, Alain Gutierrez, Michel Leclère, Marie-Laure Mugnier
Translations between RDF(S) and Conceptual Graphs. ICCS (2010)
Jean-François Baget, Michel Leclère, Marie-Laure Mugnier
Walking the Decidability Line for Rules with Existential Variables. KR (2010)
Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier
Containment of Conjunctive Queries with Negation: Algorithms and Experiments. DEXA (2) (2010)
Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier
Deduction in Existential Conjunctive First-Order Logic: An Algorithm and Experiments. AIMSA (2010)
Marie-Laure Mugnier
Conceptual Graph Rules and Equivalent Rules: A Synthesis. ICCS (2009)
Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat
Extending Decidable Cases for Rules with Existential Variables. IJCAI (2009)
Olivier Carloni, Michel Leclère, Marie-Laure Mugnier
Introducing reasoning into an industrial knowledge management tool. Appl. Intell. 31 (3) (2009)
Michel Leclère, Marie-Laure Mugnier
An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation. ICCS (2008)
Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat
DL-SR: a Lite DL with Expressive Rules: Preliminary Results. Description Logics (2008)
Jean-François Baget, Olivier Corby, Rose Dieng-Kuntz, Catherine Faron-Zucker, Fabien Gandon, Alain Giboin, Alain Gutierrez, Michel Leclère, Marie-Laure Mugnier, Rallou Thomopoulos
Griwes: Generic Model and Preliminary Specifications for a Graph-Based Knowledge Representation Toolkit. ICCS (2008)
Michel Leclère, Marie-Laure Mugnier
Some Algorithmic Improvements for the Containment Problem of Conjunctive Queries with Negation. ICDT (2007)
Marie-Laure Mugnier, Michel Leclère
On querying simple conceptual graphs with negation. Data Knowl. Eng. 60 (3) (2007)
Olivier Carloni, Michel Leclère, Marie-Laure Mugnier
Introducing Graph-Based Reasoning into a Knowledge Management Tool: An Industrial Case Study. IEA/AIE (2006)
Michel Leclère, Marie-Laure Mugnier
Simple Conceptual Graphs with Atomic Negation and Difference. ICCS (2006)
Olivier Carloni, Michel Leclère, Marie-Laure Mugnier
Introduction de raisonnement dans un outil de gestion des connaissances basé sur les Topic Maps. Actes d'IC (2006)
Rallou Thomopoulos, Marie-Laure Mugnier, Michel Leclère
Mapping Contexts to Vocabularies to Represent Intentions. C&O@ECAI (2006)
Michel Chein, Marie-Laure Mugnier
Concept Types and Coreference in Simple Conceptual Graphs. ICCS (2004)
Jean-François Baget, Marie-Laure Mugnier
Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints. J. Artif. Intell. Res. 16 (2002)
Jean-François Baget, Marie-Laure Mugnier
The SG Family: Extensions of Simple Conceptual Graphs. IJCAI (2001)
Marie-Laure Mugnier
Knowledge Representation and Reasonings Based on Graph Homomorphism. ICCS (2000)
Jean-François Baget, David Genest, Marie-Laure Mugnier
A Pure Graph-Based Solution to the SCG-1 Initiative. ICCS (1999)
Anne Preller, Marie-Laure Mugnier, Michel Chein
Logic for Nested Graphs. Comput. Intell. 14 (3) (1998)
Michel Chein, Marie-Laure Mugnier, Geneviève Simonet
Nested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics. KR (1998)
Michel Chein, Marie-Laure Mugnier
Positive Nested Conceptual Graphs. ICCS (1997)
Eric Salvat, Marie-Laure Mugnier
Sound and Complete Forward and backward Chainingd of Graph Rules. ICCS (1996)
Marie-Laure Mugnier
On generalization/specialization for conceptual graphs. J. Exp. Theor. Artif. Intell. 7 (3) (1995)
Roland Ducournau, Michel Habib, Marianne Huchard, Marie-Laure Mugnier
Proposal for a Monotonic Multiple Inheritance Linearization. OOPSLA (1994)
Marie-Laure Mugnier, Michel Chein
Characterization and Algorithmic Recognition of Canonical Conceptual Graphs. ICCS (1993)
Michel Chein, Marie-Laure Mugnier
Specialization: Where Do the Difficulties Occur? Workshop on Conceptual Graphs (1992)
Roland Ducournau, Michel Habib, Marianne Huchard, Marie-Laure Mugnier
Monotonic Conflict Resolution Mechanisms for Inheritance. OOPSLA (1992)
Marie-Laure Mugnier, Michel Chein
Polynomial Algorithms for Projection and Matching. Workshop on Conceptual Graphs (1992)