Probabilistic Default Reasoning with Conditional Constraints
Annals of Mathematics and Artificial Intelligence
Pronto: a non-monotonic probabilistic description logic reasoner
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Tractable Reasoning with Bayesian Description Logics
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Using non-monotonic reasoning to manage uncertainty in railway asset diagnostics
Expert Systems with Applications: An International Journal
Pronto: a non-monotonic probabilistic description logic reasoner
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
Trends and issues in description logics frameworks for image interpretation
SETN'10 Proceedings of the 6th Hellenic conference on Artificial Intelligence: theories, models and applications
Design and validation of a light inference system to support embedded context reasoning
Personal and Ubiquitous Computing
BUNDLE: a reasoner for probabilistic ontologies
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
A self-learning nurse call system
Computers in Biology and Medicine
| Hi-index | 0.00 |
The demonstration presents Pronto - a prototype of a nonmonotonic 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.