Balder ten Cate, Enrico Franconi, Inanç Seylan. Beth Definability in Expressive Description Logics. In Toby Walsh, editor, IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011. pages 1099-1106, IJCAI/AAAI, 2011. [doi]
Abstract is missing.