hal-00793443v1Communication dans un congrès Chan Le Duc. Decidability of SHI with transitive closure of roles Lora Aroyo, Paolo Traverso, Fabio Ciravegna, Philipp Cimiano, Tom Heath, Eero Hyvönen, Riichiro Mizoguchi, Marta Sabou, Elena Simperl. Proc. 6th european semantic web conference (ESWC), Jun 2009, Heraklion, Greece. Springer Verlag, 5554, pp.368-383, 2009, Lecture notes in computer science. <10.1007/978-3-642-02121-3_29>