Interpolation Theorems for Some Extended Description Logics

Norihiro Kamide. Interpolation Theorems for Some Extended Description Logics. In Andreas König, Andreas Dengel, Knut Hinkelmann, Koichi Kise, Robert J. Howlett, Lakhmi C. Jain, editors, Knowlege-Based and Intelligent Information and Engineering Systems - 15th International Conference, KES 2011, Kaiserslautern, Germany, September 12-14, 2011, Proceedings, Part II. Volume 6882 of Lecture Notes in Computer Science, pages 246-255, Springer, 2011. [doi]

Abstract

Abstract is missing.