|
Scalable Reasoning on Document Stores via Instance-Aware Query Rewriting
Olivier Rodriguez
,
Federico Ulliana
,
Marie-Laure Mugnier
BDA 2023 - 39e Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2023, Montpellier, France
Communication dans un congrès
lirmm-04305822
v1
|
|
InteGraal: a Tool for Data-Integration and Reasoning on Heterogeneous and Federated Sources
Jean-François Baget
,
Pierre Bisquert
,
Michel Leclère
,
Marie-Laure Mugnier
,
Guillaume Pérution-Kihli
et al.
BDA 2023 - 39e Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2023, Montpellier, France
Communication dans un congrès
lirmm-04304601
v1
|
|
Query Rewriting with Disjunctive Existential Rules and Mappings
Michel Leclère
,
Marie-Laure Mugnier
,
Guillaume Pérution-Kihli
KR 2023 - 20th International Conference on Principles of Knowledge Representation and Reasoning, Sep 2023, Rhodes, Greece. pp.429-439, ⟨10.24963/kr.2023/42⟩
Communication dans un congrès
lirmm-04272014
v1
|
|
Bounded Treewidth and the Infinite Core Chase: Complications and Workarounds toward Decidable Querying
Jean-François Baget
,
Marie-Laure Mugnier
,
Sebastian Rudolph
SIGMOD/PODS 2023 - International Conference on Management of Data, Jul 2023, Seattle, WA, United States. pp.291-302, ⟨10.1145/3584372.3588659⟩
Communication dans un congrès
lirmm-04320944
v1
|
|
Query Rewriting with Disjunctive Existential Rules and Mappings
Michel Leclère
,
Marie-Laure Mugnier
,
Guillaume Pérution-Kihli
BDA 2023 - 39e Conférence sur la Gestion de Données - Principes, Technologies et Applications, Oct 2023, Montpellier, France. ⟨10.48550/arXiv.2306.05973⟩
Communication dans un congrès
lirmm-04272033
v1
|
|
Normalisations of Existential Rules: Not so Innocuous!
David Carral
,
Lucas Larroque
,
Michaël Thomazo
,
Marie-Laure Mugnier
BDA 2023 - 39e Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2023, Montpellier, France
Communication dans un congrès
lirmm-04315377
v1
|
|
Rule-Based Data Access: A Use Case in Agroecology
Elie Najm
,
Jean-François Baget
,
Marie-Laure Mugnier
RuleML+RR 2022 - 16th International Rule Challenge, Sep 2022, Berlin, Germany
Communication dans un congrès
lirmm-03785968
v1
|
|
Parallelisable Existential Rules: a Story of Pieces
Maxime Buron
,
Marie-Laure Mugnier
,
Michaël Thomazo
BDA 2022 - 38ème journée "Gestion de Données – Principes, Technologies et Applications", Oct 2022, Clermont-Ferrand, France
Communication dans un congrès
hal-03896402
v1
|
|
Normalisations of Existential Rules: Not so Innocuous!
David Carral
,
Lucas Larroque
,
Marie-Laure Mugnier
,
Michaël Thomazo
KR 2022 - 19th International Conference on Principles of Knowledge Representation and Reasoning, Jul 2022, HaÏfa, Israel. pp.102-111, ⟨10.24963/kr.2022/11⟩
Communication dans un congrès
lirmm-03762686
v1
|
|
Parallelisable Existential Rules: a Story of Pieces
Maxime Buron
,
Marie-Laure Mugnier
,
Michaël Thomazo
KR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning, Nov 2021, Virtual, Vietnam. pp.163-173, ⟨10.24963/kr.2021/16⟩
Communication dans un congrès
hal-03405745
v1
|
|
Obi-Wan: Ontology-Based RDF Integration of Heterogeneous Data
Maxime Buron
,
François Goasdoué
,
Ioana Manolescu
,
Marie-Laure Mugnier
VLDB 2020 - 46th International Conference on Very Large Data Bases, Aug 2020, Tokyo, Japan
Communication dans un congrès
hal-02921434
v1
|
|
Revisiting RDF storage layouts for efficient query answering
Maxime Buron
,
François Goasdoué
,
Ioana Manolescu
,
Tayeb Merabti
,
Marie-Laure Mugnier
SSWS 2020 - 13th International Workshop on Scalable Semantic Web Knowledge Base Systems, Nov 2020, Athène, Greece. pp.17-32
Communication dans un congrès
hal-02921457
v1
|
|
Ontology-Based RDF Integration of Heterogeneous Data
Maxime Buron
,
François Goasdoué
,
Ioana Manolescu
,
Marie-Laure Mugnier
EDBT 2020 - 23rd International Conference on Extending Database Technology, Mar 2020, Copenhagen, Denmark. pp.299-310, ⟨10.5441/002/edbt.2020.27⟩
Communication dans un congrès
hal-02446427
v1
|
|
Oblivious and Semi-Oblivious Boundedness for Existential Rules
Pierre Bourhis
,
Michel Leclère
,
Marie-Laure Mugnier
,
Sophie Tison
,
Federico Ulliana
et al.
IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. pp.1581-1587, ⟨10.24963/ijcai.2019/219⟩
Communication dans un congrès
lirmm-02148142
v1
|
|
A Single Approach to Decide Chase Termination on Linear Existential Rules
Michel Leclère
,
Marie-Laure Mugnier
,
Michaël Thomazo
,
Federico Ulliana
Communication dans un congrès
lirmm-02148200
v1
|
|
Reformulation-based query answering for RDF graphs with RDFS ontologies
Maxime Buron
,
François Goasdoué
,
Ioana Manolescu
,
Marie-Laure Mugnier
Communication dans un congrès
hal-02051413
v1
|
|
Rewriting-Based Query Answering for Semantic Data Integration Systems
Maxime Buron
,
François Goasdoué
,
Ioana Manolescu
,
Marie-Laure Mugnier
BDA: Gestion de Données – Principes, Technologies et Applications, Oct 2018, Bucarest, Romania
Communication dans un congrès
hal-01927282
v1
|
|
A Single Approach to Decide Chase Termination on Linear Existential Rules
Michel Leclère
,
Marie-Laure Mugnier
,
Michaël Thomazo
,
Federico Ulliana
31st International Workshop on Description Logics (DL), Oct 2018, Tempe, United States
Communication dans un congrès
lirmm-01892353
v1
|
|
On the k-Boundedness for Existential Rules
Stathis Delivorias
,
Michel Leclère
,
Marie-Laure Mugnier
,
Federico Ulliana
Communication dans un congrès
lirmm-01921140
v1
|
|
Reasoning on Data Workshop Chairs' Welcome and Organization
Marie-Laure Mugnier
,
Catherine Roussey
,
Pierre Senellart
Communication dans un congrès
hal-02608565
v1
|
|
Answering Conjunctive Regular Path Queries over Guarded Existential Rules
Jean-François Baget
,
Meghyn Bienvenu
,
Marie-Laure Mugnier
,
Michaël Thomazo
IJCAI: International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia
Communication dans un congrès
lirmm-01632224
v1
|
|
Ontology-Mediated Query Answering for Key-Value Stores
Meghyn Bienvenu
,
Pierre Bourhis
,
Marie-Laure Mugnier
,
Sophie Tison
,
Federico Ulliana
IJCAI: International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia
Communication dans un congrès
lirmm-01632090
v1
|
|
Ontology-Mediated Queries for NOSQL Databases
Marie-Laure Mugnier
,
Marie-Christine Rousset
,
Federico Ulliana
DL: Description Logics, Apr 2016, Cape Town, South Africa. pp.1051-1057
Communication dans un congrès
lirmm-01375093
v1
|
|
Ontology-Mediated Queries for NOSQL Databases
Marie-Laure Mugnier
,
Marie-Christine Rousset
,
Federico Ulliana
AAAI Conference on Artificial Intelligence, Feb 2016, Phoenix, United States. pp.1051-1057
Communication dans un congrès
lirmm-01242913
v1
|
|
A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering
Jean-François Baget
,
Salem Benferhat
,
Zied Bouraoui
,
Madalina Croitoru
,
Marie-Laure Mugnier
et al.
KR: Principles of Knowledge Representation and Reasoning, Apr 2016, Cape Town, South Africa. pp.513-516
Communication dans un congrès
lirmm-01328690
v1
|
|
Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis
Jean-François Baget
,
Salem Benferhat
,
Zied Bouraoui
,
Madalina Croitoru
,
Marie-Laure Mugnier
et al.
Communication dans un congrès
lirmm-01412864
v1
|
|
Combining Existential Rules and Transitivity: Next Steps
Jean-François Baget
,
Meghyn Bienvenu
,
Marie-Laure Mugnier
,
Swan Rocher
IJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.2720-2726
Communication dans un congrès
hal-01171846
v1
|
|
Query Rewriting for Existential Rules with Compiled Preorder
Mélanie König
,
Michel Leclère
,
Marie-Laure Mugnier
IJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.3006-3112
Communication dans un congrès
lirmm-01164851
v1
|
|
Datalog+, RuleML and OWL 2: Formats and Translations for Existential Rules
Jean-François Baget
,
Alain Gutierrez
,
Michel Leclère
,
Marie-Laure Mugnier
,
Swan Rocher
et al.
RuleML: Web Rule Symposium, Aug 2015, Berlin, Germany
Communication dans un congrès
hal-01172069
v1
|
|
Graal: A Toolkit for Query Answering with Existential Rules
Jean-François Baget
,
Michel Leclère
,
Marie-Laure Mugnier
,
Swan Rocher
,
Clément Sipieter
Communication dans un congrès
hal-01172063
v1
|
|
An Introduction to Ontology-Based Query Answering with Existential Rules
Marie-Laure Mugnier
,
Michaël Thomazo
Communication dans un congrès
lirmm-01089990
v1
|
|
Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation
Jean-François Baget
,
Fabien Garreau
,
Marie-Laure Mugnier
,
Swan Rocher
NMR: Non-Monotonic Reasoning, Jul 2014, Vienna, Austria
Communication dans un congrès
lirmm-01097136
v1
|
|
Conceptual Graphs are Also Graphs
Michel Chein
,
Marie-Laure Mugnier
Communication dans un congrès
lirmm-01090141
v1
|
|
Extending Acyclicity Notions for Existential Rules
Jean-François Baget
,
Fabien Garreau
,
Marie-Laure Mugnier
,
Swan Rocher
Communication dans un congrès
hal-01092757
v1
|
|
On the Exploration of the Query Rewriting Space with Existential Rules
Mélanie König
,
Michel Leclère
,
Marie-Laure Mugnier
,
Michaël Thomazo
Communication dans un congrès
lirmm-00838806
v1
|
|
Kiabora: An Analyzer of Existential Rule Bases
Michel Leclère
,
Marie-Laure Mugnier
,
Swan Rocher
Communication dans un congrès
istex
lirmm-00934018
v1
|
|
Sound, Complete, and Minimal Query Rewriting for Existential Rules
Mélanie König
,
Michel Leclère
,
Marie-Laure Mugnier
,
Michaël Thomazo
IJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China
Communication dans un congrès
lirmm-00838791
v1
|
|
Supporting Argumentation Systems by Graph Representation and Computation
Jérôme Fortin
,
Rallou Thomopoulos
,
Jean-Rémi Bourguet
,
Marie-Laure Mugnier
GKR 2011 - 2nd International Workshop of Graph Structures for Knowledge Representation and Reasoning, Jul 2011, Barcelona, Spain. pp.119-136, ⟨10.1007/978-3-642-29449-5_5⟩
Communication dans un congrès
lirmm-00768328
v1
|
|
A Sound and Complete Backward Chaining Algorithm for Existential Rules
Mélanie König
,
Michel Leclère
,
Marie-Laure Mugnier
,
Michaël Thomazo
Communication dans un congrès
lirmm-00764341
v3
|
|
Ontology-Based Query Answering with Existential Rules
Marie-Laure Mugnier
RuleML: Web Rule Symposium, Aug 2012, Montpellier, France. pp.16
Communication dans un congrès
lirmm-00763475
v1
|
|
A Generic Querying Algorithm for Greedy Sets of Existential Rules
Michaël Thomazo
,
Jean-François Baget
,
Marie-Laure Mugnier
,
Sebastian Rudolph
KR: Representation and Reasoning, Jun 2012, Rome, Italy. pp.096-106
Communication dans un congrès
lirmm-00763518
v1
|
|
Notions de dépendances pour les règles Existentielles
Jean-François Baget
,
Marie-Laure Mugnier
,
Michaël Thomazo
JIAF'11: Journées de l'Intelligence Artificielle Fondamentale, Jun 2011, Lyon, France. pp.12-21
Communication dans un congrès
lirmm-00618090
v1
|
|
A Theoretical and Experimental Comparison of Algorithms for Containment of Conjunctive Queries with Negation
Khalil Ben Mohamed
,
Michel Leclère
,
Marie-Laure Mugnier
DEXA 2011 - 22nd International Conference on Database and Expert Systems Applications, Aug 2011, Toulouse, France. pp.466-480, ⟨10.1007/978-3-642-23088-2_35⟩
Communication dans un congrès
istex
lirmm-00618779
v1
|
|
Towards Farsighted Dependencies for Existential Rules
Jean-François Baget
,
Marie-Laure Mugnier
,
Michaël Thomazo
Communication dans un congrès
lirmm-00618329
v1
|
|
Walking the Complexity Lines for Generalized Guarded Existential Rules
Jean-François Baget
,
Marie-Laure Mugnier
,
Sebastian Rudolph
,
Michaël Thomazo
IJCAI: International Joint Conference on Artificial Intelligence, Jul 2011, Barcelona, Spain. pp.712-717
Communication dans un congrès
lirmm-00618081
v1
|
|
Ontological Query Answering with Existential Rules
Marie-Laure Mugnier
Communication dans un congrès
lirmm-00618296
v1
|
|
Déduction dans le fragment existentiel conjonctif de la logique du premier ordre : algorithme et expérimentations
Khalil Ben Mohamed
,
Michel Leclère
,
Marie-Laure Mugnier
RFIA: Reconnaissance des Formes et Intelligence Artificielle, Jan 2010, Caen, France
Communication dans un congrès
lirmm-00537824
v1
|
|
Containment of Conjunctive Queries with Negation: Algorithms and Experiments
Khalil Ben Mohamed
,
Michel Leclère
,
Marie-Laure Mugnier
DEXA 2010 - 21st International Conference on Database and Expert Systems Applications, Aug 2010, Bilbao, Spain. pp.330-345, ⟨10.1007/978-3-642-15251-1_27⟩
Communication dans un congrès
istex
lirmm-00537832
v1
|
|
Walking the Decidability Line for Rules with Existential Variables
Jean-François Baget
,
Michel Leclère
,
Marie-Laure Mugnier
KR: Principles of Knowledge Representation and Reasoning, May 2010, Toronto, Canada. pp.466-476
Communication dans un congrès
lirmm-00535780
v1
|
|
Translations between RDF(S) and Conceptual Graphs
Jean-François Baget
,
Madalina Croitoru
,
Michel Leclère
,
Marie-Laure Mugnier
ICCS: International Conference on Conceptual Structures, Jul 2010, Kuching, Sarawak, Malaysia. pp.28-41
Communication dans un congrès
lirmm-00537334
v1
|
|
Deduction in Existential Conjunctive First-Order Logic: an Algorithm and Experiments
Khalil Ben Mohamed
,
Michel Leclère
,
Marie-Laure Mugnier
AIMSA'10: International Conference on Artificial Intelligence: Methodology, Systems, Applications, Sep 2010, Varna, Bulgaria. pp.1-10, ⟨10.1007/978-3-642-15431-7_1⟩
Communication dans un congrès
istex
lirmm-00537836
v1
|
|
Logical, graph based knowledge representation with CoGui
Jean-François Baget
,
Michel Chein
,
Madalina Croitoru
,
Alain Gutierrez
,
Michel Leclère
et al.
GAOC: Graphes et Appariement d'Objets Complexes, Jan 2010, Hammamet, Tunisia. pp.15-25
Communication dans un congrès
lirmm-00537351
v1
|
|
Conceptual Graph Rules and Equivalent Rules: A Synthesis
Marie-Laure Mugnier
Communication dans un congrès
istex
lirmm-00410129
v1
|
|
RDF to Conceptual Graphs Translations
Jean-François Baget
,
Michel Chein
,
Madalina Croitoru
,
Jérôme Fortin
,
David Genest
et al.
CS-TIW: Conceptual Structures Tool Interoperability Workshop, Jul 2009, Moscow, Russia. pp.17
Communication dans un congrès
lirmm-00410621
v1
|
|
Extending Decidable Cases for Rules with Existential Variables
Jean-François Baget
,
Michel Leclère
,
Marie-Laure Mugnier
,
Eric Salvat
IJCAI: International Joint Conference on Artificial Intelligence, Jul 2009, Pasadena, CA, United States. pp.677-682
Communication dans un congrès
lirmm-00410130
v1
|
|
DL-SR: a Lite DL with Expressive Rules: Preliminary Results
Jean-François Baget
,
Michel Leclère
,
Marie-Laure Mugnier
,
Eric Salvat
DL: Description Logics, May 2008, Dresden, Germany
Communication dans un congrès
lirmm-00394383
v1
|
|
Griwes: Generic Model and Preliminary Specifications for a Graph-Based Knowledge Representation Toolkit
Jean-François Baget
,
Olivier Corby
,
Rose Dieng-Kuntz
,
Catherine Faron Zucker
,
Fabien Gandon
et al.
Communication dans un congrès
istex
lirmm-00389753
v2
|
|
De la déduction dans le fragment {Existe,Et,Neg} de la logique du premier ordre à SAT
Khalil Ben Mohamed
,
Michel Leclère
,
Marie-Laure Mugnier
Journées d'Intelligence Artificielle Fondamentale, Oct 2008, Angers, France
Communication dans un congrès
lirmm-00355290
v1
|
|
On Bounded Positive Existential Rules
Michel Leclère
,
Marie-Laure Mugnier
,
Federico Ulliana
DL: Description Logics, Apr 2016, Cape Town, South Africa. CEUR Workshop Proceedings
Communication dans un congrès
lirmm-01375091
v1
|
|
An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation
Michel Leclère
,
Marie-Laure Mugnier
Communication dans un congrès
istex
lirmm-00355493
v1
|
|
Some Algorithmic Improvments for the Containment Problem of Conjunctive Queries with Negation
Michel Leclère
,
Marie-Laure Mugnier
ICDT 2007 - 11th International Conference on Database Theory, Jan 2007, Barcelona, Spain. pp.404-418, ⟨10.1007/11965893_28⟩
Communication dans un congrès
lirmm-00135448
v1
|
|
Introducing Reasoning into a Knowledge Management Tool: An Industrial Case Study
Olivier Carloni
,
Marie-Laure Mugnier
,
Michel Leclère
IEA-AIE'06: Advances in Applied Artificial Intelligence, 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, Jun 2006, Annecy (France), pp.590-599
Communication dans un congrès
lirmm-00156532
v1
|
|
Simple Conceptual Graphs with Atomic Negation and Difference
Michel Leclère
,
Marie-Laure Mugnier
ICCS: International Conference on Conceptual Structures, Jul 2006, Aalborg, Denmark. pp.331-345
Communication dans un congrès
lirmm-00113160
v1
|
|
Mapping Contexts to Vocabularies to Represent Intentions
Rallou Thomopoulos
,
Marie-Laure Mugnier
,
Michel Leclère
ECAI: European Conference on Artificial Intelligence, Aug 2006, Riva del Garda, Italy. pp.44-46
Communication dans un congrès
lirmm-00112949
v1
|
|
Towards Benchmarks for Conceptual Graphs Tools
Jean-François Baget
,
Olivier Carloni
,
Michel Chein
,
David Genest
,
Alain Gutierrez
et al.
CS-TIW: Conceptual Structures Tool Interoperability Workshop, Jul 2006, Aalborg, Denmark. pp.72-86
Communication dans un congrès
lirmm-00112998
v1
|
|
Introduction de raisonnement dans un outil de gestion de connaissances basé sur les Topic Maps
Olivier Carloni
,
Michel Leclère
,
Marie-Laure Mugnier
IC@PFIA 2006 - 17es Journées francophones d'Ingénierie des Connaissances, Jun 2006, Nantes, France. pp.17-27
Communication dans un congrès
lirmm-00156561
v1
|
|
Concept Type and Coreference in Simple Conceptual Graphs
Michel Chein
,
Marie-Laure Mugnier
Communication dans un congrès
istex
lirmm-00108891
v1
|