Semantics foundations for constructive description logics.

In this work we present our contributions to the study of semantics foundations for constructive description logics. In particular, we propose a Kripke style semantics for the basic description logic ALC, and we give a sound and complete tableau calculus for this semantics. Then we exploit an information term semantics for description logics to formalize an action language for ALC. Finally, we define a semantics for ALC which is directly inspired by the Kripke style semantics for intuitionistic modal logics and we give a sound and complete tableau calculus for this semantics