Probabilistic Description Logic Programs

Conference item

Towards sophisticated representation and reasoning techniques that allow for probabilistic uncertainty in the Rules, Logic, and Proof layers of the Semantic Web, we present probabilistic description logic programs (or pdl-programs), which are a combination of description logic programs (or dl-programs) under the answer set semantics and the well-founded semantics with Poole's independent choice logic.We show that query processing in such pdl-programs can be reduced to computing all answer sets of dl-programs and solving linear optimization problems, and to computing the well-founded model of dl-programs, respectively. Furthermore, we show that the answer set semantics of pdl-programs is a refinement of the well-founded semantics of pdl-programs.

Authors: Lukasiewicz, T

• Publisher: Springer
• Host title: Proceedings of the 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty‚ ECSQARU 2005‚ Barcelona‚ Spain‚ July 6−8‚ 2005
• Volume: 3571
• Publication date: 2005-01-01
• ISBN: 3540273263