BUNDLE: A Reasoner for Probabilistic Ontologies
Web Reasoning and Rule Systems: 7th International Conference, RR 2013, Mannheim, Germany, volume 7994 of Lecture Notes in Computer Science, Springer, Heidelberg, (2013)DOI: 10.1007/978-3-642-39666-3_14
Abstract
Representing uncertain information is very important for modeling real world domains. Recently, the DISPONTE semantics has been proposed for probabilistic description logics. In DISPONTE, the axioms of a knowledge base can be annotated with a set of variables and a real number between 0 and 1. This real number represents the probability of each version of the axiom in which the specified variables are instantiated. In this paper we present the algorithm BUNDLE for computing the probability of queries from DISPONTE knowledge bases that follow the ALC semantics. BUNDLE exploits an underlying DL reasoner, such as Pellet, that is able to return explanations for queries. The explanations are encoded in a Binary Decision Diagram from which the probability of the query is computed. The experiments performed by applying BUNDLE to probabilistic knowledge bases show that it can handle ontologies of realistic size and is competitive with the system PRONTO for the probabilistic description logic P-SHIQ(D).
