| Publication type: |
Article in Proceedings |
| Author: |
Carsten Lutz, Lutz Schröder |
| Editor: |
Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski |
| Title: |
Probabilistic Description Logics for Subjective Uncertainty |
| Book / Collection title: |
Principles of Knowledge Representation and Reasoning (KR 2010) |
| Page(s): |
393 – 403 |
| Year published: |
2010 |
| Publisher: |
AAAI Press, Menlo Park, CA |
| Abstract: |
We propose a new family of probabilistic description logics
(DLs) that, in contrast to most existing approaches, are derived in a principled way from Halpern’s probabilistic first-order logic. The resulting probabilistic DLs have a two-dimensional semantics similar to certain popular combinations of DLs with temporal logic and are well-suited for capturing subjective probabilities. Our main contribution is a detailed study of the complexity of reasoning in the new family
of probabilistic DLs, showing that it ranges from PTIME for
weak variants based on the lightweight DL EL to undecidable
for some expressive variants based on the DL ALC. |
| PDF Version: |
http://www.informatik.uni-bremen.de/~lschrode/papers/probDL.pdf |
| Keywords: |
probabilistic description logic EL ALC |
| Status: |
Reviewed |
| Last updated: |
07. 10. 2010 |
