Domaine de recherche

• Représentation de connaissances et Raisonnement avec les Logiques de Description.
• Interopérabilité entre des ressources sémantiques.
• Ontologie et alignement d'ontologies pour le Web sémantique.
• Vérification de spécifications formelles basée sur les Logiques de Description et Modales.

Publications

Revue internationale

Chan Le Duc, Nhan Le Thanh et Marie-Christine Rousset. – « A Compact Representation for Least Common Subsumers in the Description Logic ALE. », The European Journal on Artificial Intelligence (AI Communications), Vol. 19 (2006), No. 3, p. 239-273.

Chapitre de livre

Celson Lima, Catarina Ferreira-da-Silva, Chan Le Duc et Alain Zarli. – « A Framework to Support Interoperability among Semantic Resources. », Interoperability of Enterprise Software and Applications (D. Konstantas, J-P Bourrieres, M. Leonard et N. Boudjlida éds.), Springer London, 2006, 87-98. book online

Conférences internationales

Mathieu d'Aquin, Jerome Euzenat, Chan Le Duc et Holger Lewen – « Sharing and Reusing Aligned Ontologies with Cupboard. », Demo, Proceeding of the Fifth International Conference on Knowledge Capture (K-CAP2009)., 2009,

Chan Le Duc – « Decidability of SHI with transitive closure of roles. », Proceeding of the 6th European Conference on Semantic Web (ESWC2009)., 2009,

Antoine Zimmermann et Chan Le Duc – « Reasoning with a network of aligned ontologies. », Proceeding of the 2nd International Conference on Web Reasoning and Rule systems (RR2008), 2008,

Chan Le Duc, Ludovic Apvrille et Sophie Coudert – « Verification of LOTOS Descriptions by using Description Logics (short paper). », Proceeding of the 14th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR2007), 2007,

Ludovic Apvrille, Sophie Coudert et Chan Le Duc – « A Framework for the Formal Verification of Infinite Systems. », Proceeding of the 18th IEEE International Symposium on Software Reliability Engineering (ISSRE2007), 2007,

Celson Lima, Catarina Ferreira-da-Silva, Pedro Sousa et Chan Le Duc. – « Interoperability among Semantic Resources in Construction: Is it Feasible ? », Proceedings of CIB W78's 22nd International Conference on Information Technology in Construction, 2005,

Celson Lima, Catarina Ferreira-da-Silva, Chan Le Duc et Alain Zarli. – « A Framework to Support Interoperability among Semantic Resources. », In Proceedings of INTEROP-ESA'05., 2005,

Chan Le Duc et Nhan Le Thanh. – « Combining Revision Production Rules and Description Logics. », Proceedings of the Seventh International Conference on Knowledge-Based Intelligent Information and Engineering Systems , 2003,

Ateliers

Chan Le Duc et Nhan Le Thanh. – « On the Problems of Computing Approximation and Representing Least Common Subsumer in Description Logics. », Proceeding of International Workshop on Description Logics, 2003,

Chan Le Duc, Nhan Le Thanh et Vu Viet Hoang. – « Révision et Règles de Révision - Application aux services d'inférence non-standard dans le système ONDIL. », Actes du 1^er Acte du Colloque CNR-IUT 04, 2004.

Thèse

Chan Le Duc – « Transformation d'Ontologies basées sur les Logiques de Description. Application dans le Commerce Electronique. », Thèse de doctorat, Université de Nice Sophia Antipolis , 2004.