Uncertainty in description logics: a lattice-based approach

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 to express that a sentence is not just true or false, but certain to some degree, which is taken from a certainty lattice.