Stanislav Ustymenko, Daniel G. Schwartz. Dynamic Reasoning for Description Logic Terminologies. In Atefeh Farzindar, Vlado Keselj, editors, Advances in Artificial Intelligence, 23rd Canadian Conference on Artificial Intelligence, Canadian, AI 2010, Ottawa, Canada, May 31 - June 2, 2010. Proceedings. Volume 6085 of Lecture Notes in Computer Science, pages 340-343, Springer, 2010. [doi]
Abstract is missing.