By Loris Bozzato Università degli Studi dell’Insubria (Varese) 12 gennaio 2011 Abstract In this work we present the decidable constructive description logic KALC: the logic is based on a Kripke-style semantics for the language of the description logic ALC and…