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. © 2010 Springer-Verlag.

Bozzato, L., Ferrari, M., Fiorentini, C., Fiorino, G. (2010). A Decidable Constructive Description Logic. In Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings (pp.51-63). Berlin/Heidelberg : Springer Berlin / Heidelberg [10.1007/978-3-642-15675-5_7].

A Decidable Constructive Description Logic

FIORINO, GUIDO GIUSEPPE
2010

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. © 2010 Springer-Verlag.
slide + paper
Constructive Description Logics; Tableaux Systems; ALC logic
English
JELIA 2010
2010
Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings
978-3-642-15674-8
2010
6341
51
63
none
Bozzato, L., Ferrari, M., Fiorentini, C., Fiorino, G. (2010). A Decidable Constructive Description Logic. In Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings (pp.51-63). Berlin/Heidelberg : Springer Berlin / Heidelberg [10.1007/978-3-642-15675-5_7].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/22205
Citazioni
  • Scopus 7
  • ???jsp.display-item.citation.isi??? 3
Social impact