Scheele, StephanStephanScheele0000-0003-0787-3181Mendler, MichaelMichaelMendler2019-09-192016-05-252008https://fis.uni-bamberg.de/handle/uniba/6173This 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.eng004510Towards Constructive Description Logics for Abstraction and Refinementotherurn:nbn:de:bvb:473-opus4-101153