A decidable constructive description logic

Authors:
Loris Bozzato;Mauro Ferrari;Camillo Fiorentini;Guido Fiorino
Affiliations:
DICOM, Univ. degli Studi dell'Insubria, Varese, Italy;DICOM, Univ. degli Studi dell'Insubria, Varese, Italy;DSI, Univ. degli Studi di Milano, Milano, Italy;DIMEQUANT, Univ. degli Studi di Milano-Bicocca, Milano, Italy
Venue:
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Year:
2010

Citing 4
Cited 2

The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications
Basic description logics

The description logic handbook
Towards Constructive DL for Abstraction and Refinement

Journal of Automated Reasoning
$\boldsymbol {\cal BC\!D\!L}$: Basic Constructive Description Logic

Journal of Automated Reasoning

Composition of semantic web services in a constructive description logic

RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models

Journal of Automated Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

Recently, there has been a growing interest in constructive reinterpretations of description logics. This has been motivated by the need to model in the DLs setting problems that have a consolidate tradition in constructive logics. In this paper we introduce a constructive description logic for the language of ALC based on the Kripke semantics for Intuitionistic Logic. Moreover we give a tableau calculus and we show that it is sound, complete and terminating.