Uncertainty in description logic programs

It is generally accepted that knowledge based systems would be smarter if they can manage uncertainty. In this paper we extend Description Log-ics, 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 pro-gramming, in which the management of uncertainty is based on so-called annotation terms