Title of article :
Providing a Proof-Theoretical Basis for Explanation: A Case Study on UML and ALCQI Reasoning
Author/Authors :
Rademaker, Alexandre PUC-Rio, Brazil , Haeusler, Edward Hermann PUC-Rio, Brazil
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
Journal title :
Journal of J.UCS (Journal of Universal Computer Science)
Journal title :
Journal of J.UCS (Journal of Universal Computer Science)
