Chan Le Duc

According to our database, Chan Le Duc authored at least 35 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Reasoning in DL-Lite_R Based Knowledge Base Under Category Semantics.

Rodrigo Albarrán, Chan Le Duc

Proceedings of the Advances in Computational Intelligence, 2023

2022

Reasoning in the Description Logic ALC under Category Semantics.

Ludovic Brieulle, Chan Le Duc, Pascal Vaillant

CoRR, 2022

Reasoning in the Description Logic ALC under Category Semantics (Extended Abstract).

Ludovic Brieulle, Chan Le Duc, Pascal Vaillant

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

2021

Category-theoretical Semantics of the Description Logic ALC (extended version).

Chan Le Duc

CoRR, 2021

Category-theoretical Semantics of the Description Logic ALC.

Chan Le Duc

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

2019

Decentralized Reasoning on a Network of Aligned Ontologies with Link Keys.

Jérémy Lhez, Chan Le Duc, Thinh Dong, Myriam Lamolle

Proceedings of the Semantic Web - ISWC 2019, 2019

2018

Moteur de révision d'ontologie en SHIQ.

Thinh Dong, Myriam Lamolle, Chan Le Duc, Philippe Bonnot

Ingénierie des Systèmes d Inf., 2018

OntoRev : un moteur de révision d'ontologies OWL(OntoRev: A revision engine for OWL ontologies).

Thinh Dong, Chan Le Duc, Myriam Lamolle

Proceedings of the Actes de la Conférence Nationale d'Intelligence Artificielle et Rencontres des Jeunes Chercheurs en Intelligence Artificielle (CNIA+RJCIA 2018), 2018

2017

Tableau-based revision for expressive description logics with individuals.

Thinh Dong, Chan Le Duc, Myriam Lamolle

J. Web Semant., 2017

2016

Évaluation et Prédiction de la Centralité de Groupes de Recherche dans un Réseau de Collaborations Scientifiques.

Aurélien Bossard, Mario Cataldi, Myriam Lamolle, Chan Le Duc

Proceedings of the 16ème Journées Francophones Extraction et Gestion des Connaissances, 2016

2015

Incremental checking of Master Data Management model based on contextual graphs.

Myriam Lamolle, Ludovic Menet, Chan Le Duc

Enterp. Inf. Syst., 2015

Tableau-Based Revision over <i>SHIQ</i> TBoxes.

Thinh Dong, Chan Le Duc, Philippe Bonnot, Myriam Lamolle

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

Tableau-based revision in SHIQ.

Thinh Dong, Chan Le Duc, Philippe Bonnot, Myriam Lamolle

Proceedings of the 28th International Workshop on Description Logics, 2015

Apprentissage de gestes techniques par une architecture multimedia ontologique.

Azziz Anghour, Myriam Lamolle, Thinh Dong, Chan Le Duc, Guylain Delmas

Proceedings of the Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2015 et MODA 2015, 2015

2013

On The Potential Integration of an Ontology-Based Data Access Approach in NoSQL Stores.

Olivier Curé, Fadhela Kerdjoudj, David C. Faye, Chan Le Duc, Myriam Lamolle

Int. J. Distributed Syst. Technol., 2013

Ontology Based Data Integration Over Document and Column Family Oriented NOSQL.

Olivier Curé, Myriam Lamolle, Chan Le Duc

CoRR, 2013

A Decision Procedure for SHOIQ with Transitive Closure of Roles.

Chan Le Duc, Myriam Lamolle, Olivier Curé

Proceedings of the Semantic Web - ISWC 2013, 2013

DRAOn: A Distributed Reasoner for Aligned Ontologies.

Chan Le Duc, Myriam Lamolle, Antoine Zimmermann, Olivier Curé

Proceedings of the Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), 2013

SHOIQ with Transitive Closure of Roles Is Decidable.

Chan Le Duc, Myriam Lamolle, Olivier Curé

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012

An ExpSpace Tableau-based Algorithm for SHOIQ.

Chan Le Duc, Myriam Lamolle, Olivier Curé

Proceedings of the 2012 International Workshop on Description Logics, 2012

Conception de profils UML pour la Gestion de Données de Référence.

Myriam Lamolle, Chan Le Duc, Ludovic Menet

Proceedings of the 6ème Conférence francophone sur les Architectures Logicielles, 2012

Methodological Guidelines for Matching Ontologies.

Jérôme Euzenat, Chan Le Duc

Proceedings of the Ontology Engineering in a Networked World., 2012

2011

OWL2 based Data Cleansing Using Conditional Exclusion Dependencies.

Olivier Curé, Chan Le Duc, Myriam Lamolle

Proceedings of the 8th International Workshop on OWL: Experiences and Directions (OWLED 2011), 2011

A Tableaux-Based Algorithm for <i>SHIQ</i>\mathcal{SHIQ} with Transitive Closure of Roles in Concept and Role Inclusion Axioms.

Chan Le Duc, Myriam Lamolle, Olivier Curé

Proceedings of the Semantic Web: Research and Applications, 2011

Data Integration over NoSQL Stores Using Access Path Based Mappings.

Olivier Curé, Robin Hecht, Chan Le Duc, Myriam Lamolle

Proceedings of the Database and Expert Systems Applications, 2011

2010

Incremental Validation of Models in a MDE Approach Applied to the Modeling of Complex Data Structures.

Ludovic Menet, Myriam Lamolle, Chan Le Duc

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010 Workshops, 2010

An API for Distributed Reasoning on Networked Ontologies with Alignments.

Chan Le Duc, Myriam Lamolle, Antoine Zimmermann

Proceedings of the KEOD 2010, 2010

Decidability of Description Logics with Transitive Closure of Roles in Concept and Role Inclusion Axioms.

Chan Le Duc, Myriam Lamolle

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

2009

Sharing and reusing aligned ontologies with cupboard.

Mathieu d'Aquin, Jérôme Euzenat, Chan Le Duc, Holger Lewen

Proceedings of the 5th International Conference on Knowledge Capture (K-CAP 2009), 2009

Decidability of SHI with Transitive Closure of Roles.

Chan Le Duc

Proceedings of the Semantic Web: Research and Applications, 2009

2008

Reasoning with a Network of Aligned Ontologies.

Antoine Zimmermann, Chan Le Duc

Proceedings of the Web Reasoning and Rule Systems, Second International Conference, 2008

2006

A Compact Representation for Least Common Subsumers in the description logic ALE.

Chan Le Duc, Nhan Le Thanh, Marie-Christine Rousset

AI Commun., 2006

2004

Transformation d'ontologies basées sur la logique de description : Application dans le commerce électronique. (Description logic-based ontology transformations : application in e-commerce).

Chan Le Duc

PhD thesis, 2004

2003

Combining Revision Production Rules and Description Logics.

Chan Le Duc, Nhan Le Thanh

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2003

On the Problems of Representing Least Common Subsumer and Computing Approximation in DLs.

Chan Le Duc, Nhan Le Thanh

Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003