Pronto: A non-monotonic probabilistic description logic reasoner

Abstract

The demonstration presents Pronto - a prototype of a non-monotonic probabilistic reasoner for very expressive Description Logics. Pronto is built on top of the OWL DL reasoner Pellet, and is capable of performing default probabilistic reasoning in the Semantic Web. It can handle uncertainty in terminological and assertional DL axioms. The demonstration covers Pronto's features and capabilities as well as current challenges and limitations. It describes how an involved realistic problem of breast cancer risk assessment can be formalized in terms of probabilistic reasoning in Pronto. As an important outcome, it is anticipated that attendees should learn and better understand the potential of ontology based approaches to modeling problems involving reasoning under uncertainty. © 2008 Springer-Verlag Berlin Heidelberg.