publication venue for Toward Short and Structural $\mathcal{ALC}$ -Reasoning Explanations: A Sequent Calculus Approach 2008