Marie-Laure Mugnier

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

2021

Characterizing Boundedness in Chase Variants.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2021

Parallelisable Existential Rules: a Story of Pieces.

[BibT_eX]

[DOI]

Maxime Buron

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

2020

Obi-Wan: Ontology-Based RDF Integration of Heterogeneous Data.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2020

Data Access With Horn Ontologies: Where Description Logics Meet Existential Rules.

[BibT_eX]

[DOI]

Künstliche Intell., 2020

Revisiting RDF storage layouts for efficient query answering.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Scalable Semantic Web Knowledge Base Systems co-located with 19th International Semantic Web Conference (ISWC 2020), 2020

Ontology-Based RDF Integration of Heterogeneous Data.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Extending Database Technology, 2020

2019

Oblivious and Semi-Oblivious Boundedness for Existential Rules.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

A Single Approach to Decide Chase Termination on Linear Existential Rules.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Database Theory, 2019

Reformulation-Based Query Answering for RDF Graphs with RDFS Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - 16th International Conference, 2019

2018

Reasoning on Data Workshop Chairs' Welcome and Organization.

[BibT_eX]

[DOI]

Catherine Roussey

Pierre Senellart

Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018

On the k-Boundedness for Existential Rules.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018

2017

Ontology-Mediated Query Answering for Key-Value Stores.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Answering Conjunctive Regular Path Queries over Guarded Existential Rules.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

On Bounded Positive Existential Rules.

[BibT_eX]

[DOI]

Federico Ulliana

Proceedings of the 29th International Workshop on Description Logics, 2016

Ontology-Mediated Queries for NOSQL Databases.

[BibT_eX]

[DOI]

Marie-Christine Rousset

Federico Ulliana

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Sound, complete and minimal UCQ-rewriting for existential rules.

[BibT_eX]

[DOI]

Semantic Web, 2015

Graal: A Toolkit for Query Answering with Existential Rules.

[BibT_eX]

[DOI]

Proceedings of the Rule Technologies: Foundations, Tools, and Applications, 2015

Datalog+, RuleML and OWL 2: Formats and Translations for Existential Rules.

[BibT_eX]

[DOI]

Proceedings of the RuleML 2015 Challenge, 2015

Query Rewriting for Existential Rules with Compiled Preorder.

[BibT_eX]

[DOI]

Mélanie König

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Combining Existential Rules and Transitivity: Next Steps.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014

Worst-case Optimal Query Answering for Greedy Sets of Existential Rules and Their Subclasses.

[BibT_eX]

[DOI]

CoRR, 2014

Extending Acyclicity Notions for Existential Rules (\emph{long version}).

[BibT_eX]

[DOI]

CoRR, 2014

Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation.

[BibT_eX]

[DOI]

CoRR, 2014

An Introduction to Ontology-Based Query Answering with Existential Rules.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web. Reasoning on the Web in the Big Data Era, 2014

Conceptual Graphs Are Also Graphs.

[BibT_eX]

[DOI]

Proceedings of the Graph-Based Representation and Reasoning, 2014

Extending Acyclicity Notions for Existential Rules.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013

Visual reasoning with graph-based mechanisms: the good, the better and the best.

[BibT_eX]

[DOI]

Madalina Croitoru

Knowl. Eng. Rev., 2013

An artificial intelligence-based approach to deal with argumentation applied to food quality in a public health policy.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2013

Kiabora: An Analyzer of Existential Rule Bases.

[BibT_eX]

[DOI]

Swan Rocher

Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

On the Exploration of the Query Rewriting Space with Existential Rules.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

Sound, Complete, and Minimal Query Rewriting for Existential Rules.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

2012

On the complexity of entailment in existential conjunctive first-order logic with atomic negation.

[BibT_eX]

[DOI]

Geneviève Simonet

Inf. Comput., 2012

Ontology-Based Query Answering with Existential Rules.

[BibT_eX]

[DOI]

Proceedings of the Rules on the Web: Research and Applications, 2012

A Sound and Complete Backward Chaining Algorithm for Existential Rules.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

A Generic Querying Algorithm for Greedy Sets of Existential Rules.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Existential Rules: A Graph-Based View - (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Datalog in Academia and Industry - Second International Workshop, 2012

2011

On rules with existential variables: Walking the decidability line.

[BibT_eX]

[DOI]

Artif. Intell., 2011

Ontological Query Answering with Existential Rules.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 5th International Conference, 2011

Towards Farsighted Dependencies for Existential Rules.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 5th International Conference, 2011

Walking the Complexity Lines for Generalized Guarded Existential Rules.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Supporting Argumentation Systems by Graph Representation and Computation.

[BibT_eX]

[DOI]

Proceedings of the Graph Structures for Knowledge Representation and Reasoning, 2011

A Theoretical and Experimental Comparison of Algorithms for the Containment of Conjunctive Queries with Negation.

[BibT_eX]

[DOI]

Khalil Ben Mohamed

Proceedings of the Database and Expert Systems Applications, 2011

2010

Walking the Decidability Line for Rules with Existential Variables.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Translations between RDF(S) and Conceptual Graphs.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Structures: From Information to Intelligence, 2010

Containment of Conjunctive Queries with Negation: Algorithms and Experiments.

[BibT_eX]

[DOI]

Khalil Ben Mohamed

Proceedings of the Database and Expert Systems Applications, 21th International Conference, 2010

Deduction in Existential Conjunctive First-Order Logic: An Algorithm and Experiments.

[BibT_eX]

[DOI]

Khalil Ben Mohamed

Proceedings of the Artificial Intelligence: Methodology, 2010

2009

Graph-based Knowledge Representation - Computational Foundations of Conceptual Graphs.

[BibT_eX]

[DOI]

Advanced Information and Knowledge Processing, Springer, ISBN: 978-1-84800-286-9, 2009

Introducing reasoning into an industrial knowledge management tool.

[BibT_eX]

[DOI]

Olivier Carloni

Appl. Intell., 2009

Extending Decidable Cases for Rules with Existential Variables.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Conceptual Graph Rules and Equivalent Rules: A Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Structures: Leveraging Semantic Technologies, 2009

2008

An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Structures: Knowledge Visualization and Reasoning, 2008

Griwes: Generic Model and Preliminary Specifications for a Graph-Based Knowledge Representation Toolkit.

[BibT_eX]

[DOI]

Olivier Corby

Rose Dieng-Kuntz

Catherine Faron-Zucker

Proceedings of the Conceptual Structures: Knowledge Visualization and Reasoning, 2008

DL-SR: a Lite DL with Expressive Rules: Preliminary Results.

[BibT_eX]

[DOI]

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

2007

On querying simple conceptual graphs with negation.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2007

Some Algorithmic Improvements for the Containment Problem of Conjunctive Queries with Negation.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 2007

2006

Introducing Graph-Based Reasoning into a Knowledge Management Tool: An Industrial Case Study.

[BibT_eX]

[DOI]

Olivier Carloni

Proceedings of the Advances in Applied Artificial Intelligence, 2006

Simple Conceptual Graphs with Atomic Negation and Difference.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Structures: Inspiration and Application, 2006

Introduction de raisonnement dans un outil de gestion des connaissances basé sur les Topic Maps.

[BibT_eX]

[DOI]

Olivier Carloni

Proceedings of the IC 2006: Ingénierie des connaissances 2006 (Proceedings of the 17th French Knowledge Engineering Conference), 2006

Mapping Contexts to Vocabularies to Represent Intentions.

[BibT_eX]

[DOI]

Rallou Thomopoulos

Proceedings of the 2nd International Workshop on Contexts and Ontologies: Theory, 2006

2004

Concept Types and Coreference in Simple Conceptual Graphs.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Structures at Work: 12th International Conference on Conceptual Structures, 2004

2002

Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2002

2001

The SG Family: Extensions of Simple Conceptual Graphs.

[BibT_eX]

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000

Knowledge Representation and Reasonings Based on Graph Homomorphism.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Structures: Logical, 2000

1999

A Pure Graph-Based Solution to the SCG-1 Initiative.

[BibT_eX]

[DOI]

David Genest

Proceedings of the Conceptual Structures: Standards and Practices, 1999

1998

Logic for Nested Graphs.

[BibT_eX]

[DOI]

Anne Preller

Comput. Intell., 1998

Nested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics.

[BibT_eX]

Geneviève Simonet

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

1997

Positive Nested Conceptual Graphs.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Structures: Fulfilling Peirce's Dream, 1997

1996

Sound and Complete Forward and backward Chainingd of Graph Rules.

[BibT_eX]

[DOI]

Eric Salvat

Proceedings of the Conceptual Structures: Knowledge Representation as Interlingua, 1996

1995

On generalization/specialization for conceptual graphs.

[BibT_eX]

[DOI]

J. Exp. Theor. Artif. Intell., 1995

1994

Proposal for a Monotonic Multiple Inheritance Linearization.

[BibT_eX]

[DOI]

Proceedings of the Ninth Annual Conference on Object-Oriented Programming Systems, 1994

1993

Characterization and Algorithmic Recognition of Canonical Conceptual Graphs.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Graphs for Knowledge Representation, 1993

1992

Monotonic Conflict Resolution Mechanisms for Inheritance.

[BibT_eX]

[DOI]

Proceedings of the Seventh Annual Conference on Object-Oriented Programming Systems, 1992

Polynomial Algorithms for Projection and Matching.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Structures: Theory and Implementation, 1992

Specialization: Where Do the Difficulties Occur?

[BibT_eX]

[DOI]