JUCS - Journal of Universal Computer Science 16(20): 3016-3042, doi: 10.3217/jucs-016-20-3016
Providing a Proof-Theoretical Basis for Explanation: A Case Study on UML and ALCQI Reasoning
expand article infoAlexandre Rademaker‡, Edward Hermann Haeusler‡
‡ PUC-Rio, Rio de Janeiro, Brazil

Corresponding author: Alexandre Rademaker ( arademaker@inf.puc-rio.br )

© Alexandre Rademaker, Edward Haeusler.
This article is freely available under the J.UCS Open Content License.
Citation: Rademaker A, Haeusler EH (2010) Providing a Proof-Theoretical Basis for Explanation: A Case Study on UML and ALCQI Reasoning. JUCS - Journal of Universal Computer Science 16(20): 3016-3042. https://doi.org/10.3217/jucs-016-20-3016
Open Access
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.
Keywords
ALC, Description Logics, UML, ALCQI, Proof Theory, Sequent Calculus, natural deduction