Description logics over lattices

It is generally accepted that knowledge based systems would be smarter if they could manage uncertainty and/or imprecision. In this paper we extend Description Logics, well-known logics for managing structured knowledge, allowing to express that a sentence is not just true or false, but true to some degree, which is taken from a certainty lattice.