Michel Leclère

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 14

Top Topics

Existentially Quantified

Query Rewriting

Top Venues

Description Logics

Publications

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)
Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana
Characterizing Boundedness in Chase Variants. Theory Pract. Log. Program. 21 (1) (2021)
Pierre Bourhis, Michel Leclère, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana, Lily Gallois
Oblivious and Semi-Oblivious Boundedness for Existential Rules. CoRR (2020)
Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana
Characterizing Boundedness in Chase Variants. CoRR (2020)
Guillaume Pérution-Kihli, Sarah Guiziou, Federico Ulliana, Michel Leclère, Jérôme Bonnet
Boolean Recombinase-Based Devices. TPNC (2019)
Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana
A Single Approach to Decide Chase Termination on Linear Existential Rules. ICDT (2019)
Michel Chein, Alain Gutierrez, Michel Leclère
A General Framework to Build and Assess the Quality of Authority Links. K-CAP (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)
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)
Michel Leclère, Marie-Laure Mugnier, Federico Ulliana
On Bounded Positive Existential Rules. Description Logics (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)
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)
Manuel Atencia, Michel Chein, Madalina Croitoru, Jérôme David, Michel Leclère, Nathalie Pernelle, Fatiha Saïs, François Scharffe, Danai Symeonidou
Defining Key Semantics for the RDF Datasets: Experiments and Evaluations. ICCS (2014)
Michel Chein, Madalina Croitoru, Michel Leclère, Nathalie Pernelle, Fatiha Saïs, Danai Symeonidou
Définition de la sémantique des clés dans le web sémantique : un point de vue théorique. IC (2014)
Léa Guizol, Madalina Croitoru, Michel Leclère
Aggregation Semantics for Link Validity. SGAI Conf. (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)
Michel Chein, Michel Leclère, Yann Nicolas
SudocAD: A Knowledge-Based System for the Author Linkage Problem. KSE (1) (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)
Madalina Croitoru, Léa Guizol, Michel Leclère
On Link Validity in Bibliographic Knowledge Bases. IPMU (1) (2012)
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, Michel Leclère, Marie-Laure Mugnier, Eric Salvat
On rules with existential variables: Walking the decidability line. Artif. Intell. 175 (9-10) (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)
Nicolas Moreau, Michel Leclère, Madalina Croitoru
Distinguishing Answers in Conceptual Graph Knowledge Bases. 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, Nicolas Moreau
Différentes notions de réponses pour un système d'interrogation de bases de graphes. Actes d'IC (2008)
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, Nicolas Moreau
Query-Answering CG Knowledge Bases. ICCS (2008)
Nicolas Moreau, Michel Leclère, Michel Chein, Alain Gutierrez
Formal and graphical annotations for digital objects. SADPI (2007)
Nicolas Moreau, Michel Leclère, Michel Chein, Alain Gutierrez
Annotation formelle graphique de documents multimédia. Actes d'IC (2007)
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)
Frédéric Fürst, Michel Leclère, Francky Trichet
Operationalizing Domain Ontologies: A Method and a Tool. ECAI (2004)
Frédéric Fürst, Michel Leclère, Francky Trichet
Ontological Engineering and Mathematical Knowledge Management: A Formalization of Projective Geometry. Ann. Math. Artif. Intell. 38 (1-3) (2003)
Michel Bourse, Michel Leclère, Francky Trichet, Mounira Harzallah
CommOnCV: competency@ontology.cv. WWW (Posters) (2003)
Francky Trichet, Michel Leclère
A Framework for Building Competency-Based Systems Dedicated to Human Resource Management. ISMIS (2003)
Frédéric Fürst, Michel Leclère, Francky Trichet
TooCoM: a Tool to Operationalize an Ontology with the Conceptual Graph Model. EON (2003)
Frédéric Fürst, Michel Leclère, Francky Trichet
Construction d'une ontologie opérationnelle : un retour d'expérience. EGC (2002)
Mounira Harzallah, Michel Leclère, Francky Trichet
CommOnCV: modelling the competencies underlying a curriculum vitae. SEKE (2002)
Michel Leclère, Bruno Tixier, Francky Trichet
Capitaliser et partager des connaissances : une approche fondée sur l'exploitation d'un système à base de connaissances de type tâche/méthode. EGC (2001)
Michel Leclère
Reasoning with Type Definitions. ICCS (1997)
Michel Leclère
Diverses problématiques de classification dans le modèle des graphes conceptuels. LMO (1994)