Towards Constructive Description Logics for Abstraction and Refinement



Professorship/Faculty: Professur für Grundlagen der Informatik 
Author(s): Scheele, Stephan M. ; Mendler, Michael
Publisher Information: Bamberg : opus
Year of publication: 2008
Pages / Size: 61 S. : Ill.
Series ; Volume: Bamberger Beiträge zur Wirtschaftsinformatik und Angewandten Informatik  ; 77
Language(s): English
Licence: German Act on Copyright 
URN: urn:nbn:de:bvb:473-opus4-101153
Document Type: Other
Abstract: 
This work explores some aspects of a new and natural semantical dimension that can be accommodated within the syntax of description logics which opens up when passing from the classical truth-value interpretation to a constructive interpretation. We argue that such a strengthened interpretation is essential to represent applications with partial information adequately and to achieve consistency under abstraction as well as robustness under refinement. We introduce a constructive version of ALC, called cALC, for which we give a sound and complete Hilbert axiomatisation and a Gentzen tableau calculus showing finite model property and decidability.
SWD Keywords: Intuitionistische Logik ; Online-Publikation
DDC Classification: 004 Computer science 
510 Mathematics 
RVK Classification: SK 130   
URI: https://fis.uni-bamberg.de/handle/uniba/6173
Release Date: 21. May 2014

File SizeFormat  
BBWIAI77ScheeleCALC2008se_A3a.pdf2.59 MBAdobe PDFView/Open