Uncertainty and Description Logic Programs over Lattices

In Capturing Intelligence: Fuzzy Logic and the Semantic Web.

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.