 | 2012 |
| 13 |  | Chan Le Duc,
Myriam Lamolle,
Olivier Curé:
An ExpSpace Tableau-based Algorithm for SHOIQ.
Description Logics 2012 |
| 2011 |
| 12 |  | Olivier Curé,
Robin Hecht,
Chan Le Duc,
Myriam Lamolle:
Data Integration over NoSQL Stores Using Access Path Based Mappings.
DEXA (1) 2011: 481-495 |
| 11 |  | Chan Le Duc,
Myriam Lamolle,
Olivier Curé:
A Tableaux-Based Algorithm for SHIQ\mathcal{SHIQ} with Transitive Closure of Roles in Concept and Role Inclusion Axioms.
ESWC (1) 2011: 367-381 |
| 10 |  | Olivier Curé,
Chan Le Duc,
Myriam Lamolle:
OWL2 based Data Cleansing Using Conditional Exclusion Dependencies.
OWLED 2011 |
| 2010 |
| 9 |  | Chan Le Duc,
Myriam Lamolle:
Decidability of Description Logics with Transitive Closure of Roles in Concept and Role Inclusion Axioms.
Description Logics 2010 |
| 8 |  | Chan Le Duc,
Myriam Lamolle,
Antoine Zimmermann:
An API for Distributed Reasoning on Networked Ontologies with Alignments.
KEOD 2010: 295-304 |
| 7 |  | 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: 120-129 |
| 2009 |
| 6 |  | Chan Le Duc:
Decidability of SHI with Transitive Closure of Roles.
ESWC 2009: 368-383 |
| 5 |  | Mathieu d'Aquin,
Jérôme Euzenat,
Chan Le Duc,
Holger Lewen:
Sharing and reusing aligned ontologies with cupboard.
K-CAP 2009: 179-180 |
| 2008 |
| 4 |  | Antoine Zimmermann,
Chan Le Duc:
Reasoning with a Network of Aligned Ontologies.
RR 2008: 43-57 |
| 2006 |
| 3 |  | 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): 239-273 (2006) |
| 2003 |
| 2 |  | Chan Le Duc,
Nhan Le Thanh:
On the Problems of Representing Least Common Subsumer and Computing Approximation in DLs.
Description Logics 2003 |
| 1 |  | Chan Le Duc,
Nhan Le Thanh:
Combining Revision Production Rules and Description Logics.
KES 2003: 89-98 |