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
From page
3016
To page
3042
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)
Record number
2661634
Link To Document