Towards Reusable Explanation Services in Protege. - Yevgeny Kazakov; Pavel Klinov; Alexander Stupnikov (Description Logics, 2017)