Chan Le Duc

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