Description Logics over Lattices
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems.
Abstract:
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.