Uncertainty and description logic programs over lattices

It is generally accepted that knowledge based systems would be smarter if they can manage uncertainty. In this paper we extend Description Logics, well-known logics for managing structured knowledge, towards the management of uncertainty. We allow (i) to express that a sentence is not just true or false, but certain to some degree, which is taken from a certainty lattice; and (ii) combine the logic with annotated logic programming, in which the management of uncertainty is based on so-called annotation terms.