|
|
|
|
Providing a Proof-Theoretical Basis for Explanation: A Case Study on UML and ALCQI Reasoning
|
|
|
|
|
|
|
|
نویسنده
|
Rademaker Alexandre ,Haeusler Edward Hermann
|
|
منبع
|
journal of universal computer science - 2010 - دوره : 16 - شماره : 20 - صفحه:3016 -3042
|
|
چکیده
|
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
|
|
کلیدواژه
|
ALC ,Description Logics ,UML ,ALCQI ,Proof Theory ,Sequent Calculus ,Natural Deduction
|
|
آدرس
|
PUC-Rio, Brazil, PUC-Rio, Brazil
|
|
پست الکترونیکی
|
hermann@inf.puc-rio.br
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Authors
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|