Decidability of Description Logics with Transitive Closure of Roles in Concept and Role Inclusion Axioms

Chan Le Duc, Myriam Lamolle. Decidability of Description Logics with Transitive Closure of Roles in Concept and Role Inclusion Axioms. In Volker Haarslev, David Toman, Grant E. Weddell, editors, Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010. Volume 573 of CEUR Workshop Proceedings, CEUR-WS.org, 2010. [doi]

Abstract

Abstract is missing.