Birte Glimm, Yevgeny Kazakov. Classical Algorithms for Reasoning and Explanation in Description Logics. In Markus Krötzsch, Daria Stepanova 0001, editors, Reasoning Web. Explainable Artificial Intelligence - 15th International Summer School 2019, Bolzano, Italy, September 20-24, 2019, Tutorial Lectures. Volume 11810 of Lecture Notes in Computer Science, pages 1-64, Springer, 2019. [doi]
Abstract is missing.