DESCRIPTION LOGICS OVER LATTICES
Umberto Straccia · International Journal of Uncertainty Fuzziness and Knowledge-Based Systems · 2006
It is generally accepted that knowledge based systems would be smarter if they could manage uncertainty and/or imprecision. In this paper we extend Description Logics, well-known logics for managing structured knowledge, allowing to express that a sentence is not just true or false, but true to some degree, which is taken from a certainty lattice.