SHOIQ with Transitive Closure of Roles Is Decidable - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Chan Le Duc' in GoogleThis author has not been identified. Look up 'Myriam Lamolle' in GoogleThis author has not been identified. Look up 'Olivier Curé' in Google

runs on WebDSL