Chan Le Duc

ORCID

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 11

Top Venues

University of Nice Sophia Antipolis, France (PHD)

Education History

University of Nice Sophia Antipolis, France

PHD

Publications

Rodrigo Albarrán, Chan Le Duc
Based Knowledge Base Under Category Semantics. MICAI (1) (2023)
Ludovic Brieulle, Chan Le Duc, Pascal Vaillant
Reasoning in the Description Logic ALC under Category Semantics. CoRR (2022)
Ludovic Brieulle, Chan Le Duc, Pascal Vaillant
Reasoning in the Description Logic ALC under Category Semantics (Extended Abstract). Description Logics (2022)
Chan Le Duc
Category-theoretical Semantics of the Description Logic ALC (extended version). CoRR (2021)
Chan Le Duc
Category-theoretical Semantics of the Description Logic ALC. Description Logics (2021)
Jérémy Lhez, Chan Le Duc, Thinh Dong, Myriam Lamolle
Decentralized Reasoning on a Network of Aligned Ontologies with Link Keys. ISWC (1) (2019)
Jérémy Lhez, Chan Le Duc, Thinh Dong, Myriam Lamolle
Decentralized Reasoning on a Network of Aligned Ontologies with Link Keys. OM@ISWC (2019)
Thinh Dong, Chan Le Duc, Myriam Lamolle
OntoRev : un moteur de révision d'ontologies OWL(OntoRev: A revision engine for OWL ontologies). CNIA+RJCIA (2018)
Thinh Dong, Myriam Lamolle, Chan Le Duc, Philippe Bonnot
Moteur de révision d'ontologie en SHIQ. Ingénierie des Systèmes d Inf. 23 (2) (2018)
Thinh Dong, Chan Le Duc, Myriam Lamolle
Tableau-based revision for expressive description logics with individuals. J. Web Semant. 45 (2017)
Aurélien Bossard, Mario Cataldi, Myriam Lamolle, Chan Le Duc
Évaluation et Prédiction de la Centralité de Groupes de Recherche dans un Réseau de Collaborations Scientifiques. EGC (2016)
Thinh Dong, Chan Le Duc, Philippe Bonnot, Myriam Lamolle
Tableau-based revision in SHIQ. Description Logics (2015)
Azziz Anghour, Myriam Lamolle, Thinh Dong, Chan Le Duc, Guylain Delmas
Apprentissage de gestes techniques par une architecture multimedia ontologique. CAL (2015)
Myriam Lamolle, Ludovic Menet, Chan Le Duc
Incremental checking of Master Data Management model based on contextual graphs. Enterp. Inf. Syst. 9 (7) (2015)
Thinh Dong, Chan Le Duc, Philippe Bonnot, Myriam Lamolle
TBoxes. LPAR (2015)
Chan Le Duc, Myriam Lamolle, Olivier Curé
A Decision Procedure for SHOIQ with Transitive Closure of Roles. ISWC (1) (2013)
Chan Le Duc, Myriam Lamolle, Olivier Curé
SHOIQ with Transitive Closure of Roles Is Decidable. Description Logics (2013)
Olivier Curé, Fadhela Kerdjoudj, David Faye, Chan Le Duc, Myriam Lamolle
On The Potential Integration of an Ontology-Based Data Access Approach in NoSQL Stores. Int. J. Distributed Syst. Technol. 4 (3) (2013)
Olivier Curé, Myriam Lamolle, Chan Le Duc
Ontology Based Data Integration Over Document and Column Family Oriented NOSQL. CoRR (2013)
Chan Le Duc, Myriam Lamolle, Antoine Zimmermann, Olivier Curé
DRAOn: A Distributed Reasoner for Aligned Ontologies. ORE (2013)
Myriam Lamolle, Chan Le Duc, Ludovic Menet
Conception de profils UML pour la Gestion de Données de Référence. CAL (2012)
Olivier Curé, Fadhela Kerdjoudj, David Faye, Chan Le Duc, Myriam Lamolle
On the Potential Integration of an Ontology-Based Data Access Approach in NoSQL Stores. EIDWT (2012)
Chan Le Duc, Myriam Lamolle, Olivier Curé
An ExpSpace Tableau-based Algorithm for SHOIQ. Description Logics (2012)
Olivier Curé, Robin Hecht, Chan Le Duc, Myriam Lamolle
Data Integration over NoSQL Stores Using Access Path Based Mappings. DEXA (1) (2011)
Olivier Curé, Chan Le Duc, Myriam Lamolle
OWL2 based Data Cleansing Using Conditional Exclusion Dependencies. OWLED (2011)
Chan Le Duc, Myriam Lamolle, Olivier Curé
\mathcal{SHIQ} with Transitive Closure of Roles in Concept and Role Inclusion Axioms. ESWC (1) (2011)
Chan Le Duc, Myriam Lamolle, Antoine Zimmermann
An API for Distributed Reasoning on Networked Ontologies with Alignments. KEOD (2010)
Chan Le Duc, Myriam Lamolle
Decidability of Description Logics with Transitive Closure of Roles in Concept and Role Inclusion Axioms. Description Logics (2010)
Ludovic Menet, Myriam Lamolle, Chan Le Duc
Incremental Validation of Models in a MDE Approach Applied to the Modeling of Complex Data Structures. OTM Workshops (2010)
Mathieu d'Aquin, Jérôme Euzenat, Chan Le Duc, Holger Lewen
Sharing and reusing aligned ontologies with cupboard. K-CAP (2009)
Chan Le Duc
Decidability of SHI with Transitive Closure of Roles. ESWC (2009)
Antoine Zimmermann, Chan Le Duc
Reasoning with a Network of Aligned Ontologies. RR (2008)
Chan Le Duc, Nhan Le Thanh, Marie-Christine Rousset
A Compact Representation for Least Common Subsumers in the description logic ALE. AI Commun. 19 (3) (2006)
Chan Le Duc, Nhan Le Thanh
Combining Revision Production Rules and Description Logics. KES (2003)
Chan Le Duc, Nhan Le Thanh
On the Problems of Representing Least Common Subsumer and Computing Approximation in DLs. Description Logics (2003)

Chan Le Duc.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Chan Le Duc