Victor Gutierrez-Basulto, Jean Christoph Jung, Carsten Lutz and Lutz Schröder (2017) "Probabilistic Description Logics for Subjective Uncertainty", Volume 58, pages 1-66

PDF | PostScript | doi:10.1613/jair.5222

We propose a family of probabilistic description logics (DLs) that are derived in a principled way from Halpern’s probabilistic first-order logic. The resulting probabilistic DLs have a two-dimensional semantics similar to temporal DLs and are well-suited for representing subjective probabilities. We carry out a detailed study of reasoning in the new family of logics, concentrating on probabilistic extensions of the DLs ALC and EL, and showing that the complexity ranges from PTime via ExpTime and 2ExpTime to undecidable.

Click here to return to Volume 58 contents list