Uncertainty in Description Logic Programs
Technical Report 2004-TR-01, ISTI-CNR, Pisa, ITALY.
Abstract:
We present a new family of representation languages, called \emph{Description Logic Programs} (DLPs) and DLPs with \emph{uncertainty} ($\mu$DLPs). The former combine the expressive power of description logics and disjunctive logic programs, while the latter are DLPs in which the management of uncertainty is based on so-called annotation terms, inspired by the generalized annotated logic programming framework~\cite{Kifer92}.