Options
Towards Constructive Description Logics for Abstraction and Refinement
Scheele, Stephan; Mendler, Michael (2008): „Towards Constructive Description Logics for Abstraction and Refinement“. Bamberg: opus.
Faculty/Professorship:
Author:
Publisher Information:
Year of publication:
2008
Pages:
Language:
English
Licence:
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.
GND Keywords:
Intuitionistische Logik
DDC Classification:
RVK Classification:
Type:
Verschiedenartige Texte
published:
May 25, 2016
Permalink
https://fis.uni-bamberg.de/handle/uniba/6173