Sebastian Brandt, Anni-Yasmin Turhan, Ralf Küsters. Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles. In Moshe Y. Vardi, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings. Volume 2850 of Lecture Notes in Computer Science, pages 122-136, Springer, 2003. [doi]
Abstract is missing.