Providing a Proof-Theoretical Basis for Explanation: A Case Study on UML and ALCQI Reasoning
In this article we argue in favour of Natural Deduction Systems as a basis for formal proof explanations. We illustrate our choice presenting a Natural Deduction for ALCQI and use it to help explain UML reasoning.
uml alcqi natural deduction alc description logics proof theory sequent calculus