Uncertainty in Description Logics: a Lattice-based Approach
Proceedings of the 10th International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems, (IPMU-04).
Abstract:
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.