Providing a Proof-Theoretical Basis for Explanation: A Case Study on UML and ALCQI Reasoning
Alexandre Rademaker, Edward Hermann Hæusler · 2015
Abstract: 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.