SHOIQ with Transitive Closure of Roles Is Decidable

Chan Le Duc, Myriam Lamolle, Olivier Curé. SHOIQ with Transitive Closure of Roles Is Decidable. In Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch, editors, Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013. Volume 1014 of CEUR Workshop Proceedings, pages 735-746, CEUR-WS.org, 2013. [doi]

Abstract

Abstract is missing.