Decidability of SHI with Transitive Closure of Roles

Chan Le Duc. Decidability of SHI with Transitive Closure of Roles. In Lora Aroyo, Paolo Traverso, Fabio Ciravegna, Philipp Cimiano, Tom Heath, Eero Hyvönen, Riichiro Mizoguchi, Eyal Oren, Marta Sabou, Elena Paslaru Bontas Simperl, editors, The Semantic Web: Research and Applications, 6th European Semantic Web Conference, ESWC 2009, Heraklion, Crete, Greece, May 31-June 4, 2009, Proceedings. Volume 5554 of Lecture Notes in Computer Science, pages 368-383, Springer, 2009. [doi]

Abstract

Abstract is missing.