BUNDLE: A Reasoner for Probabilistic Ontologies

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 $\mathcal{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-$\mathcal{SHIQ}$(D).

[1]  David Poole,et al.  The Independent Choice Logic for Modelling Multiple Agents Under Uncertainty , 1997, Artif. Intell..

[2]  Umberto Straccia,et al.  Managing uncertainty and vagueness in description logics for the Semantic Web , 2008, J. Web Semant..

[3]  Diego Calvanese,et al.  On the interaction between ISA and cardinality constraints , 1994, Proceedings of 1994 IEEE 10th International Conference on Data Engineering.

[4]  Thomas Lukasiewicz,et al.  Expressive probabilistic description logics , 2008, Artif. Intell..

[5]  S. Rahman.  Reliability Engineering and System Safety , 2011 .

[6]  Luc De Raedt,et al.  ProbLog: A Probabilistic Prolog and its Application in Link Discovery , 2007, IJCAI.

[7]  Fabrizio Riguzzi,et al.  Expectation maximization over binary decision diagrams for probabilistic logic programs , 2013, Intell. Data Anal..

[8]  Ian Horrocks,et al.  Description Logics , 2008, Handbook of Knowledge Representation.

[9]  Pavel Klinov.  Pronto: A Non-monotonic Probabilistic Description Logic Reasoner , 2008, ESWC.

[10]  Leslie G. Valiant,et al.  The Complexity of Enumeration and Reliability Problems , 1979, SIAM J. Comput..

[11]  Gert Smolka,et al.  Attributive Concept Descriptions with Complements , 1991, Artif. Intell..

[12]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[13]  Pierre Marquis,et al.  A Knowledge Compilation Map , 2002, J. Artif. Intell. Res..

[14]  Nils J. Nilsson,et al.  Probabilistic Logic * , 2022 .

[15]  Pavel Klinov,et al.  Optimization and Evaluation of Reasoning in Probabilistic Description Logic: Towards a Systematic Approach , 2008, International Semantic Web Conference.

[16]  Christophe Bérenguer,et al.  A practical comparison of methods to assess sum-of-products , 2003, Reliab. Eng. Syst. Saf..

[17]  Ehud Shapiro,et al.  Third International Conference on Logic Programming , 1986 .

[18]  Taisuke Sato,et al.  A Statistical Learning Method for Logic Programs with Distribution Semantics , 1995, ICLP.

[19]  Beate Bollig,et al.  Improving the Variable Ordering of OBDDs Is NP-Complete , 1996, IEEE Trans. Computers.

[20]  Evelina Lamma,et al.  Parameter Learning for Probabilistic Ontologies , 2013, RR.

[21]  Fabrizio Riguzzi,et al.  Extended semantics and inference for the Independent Choice Logic , 2009, Log. J. IGPL.

[22]  Luc De Raedt,et al.  On the implementation of the probabilistic logic programming language ProbLog , 2010, Theory and Practice of Logic Programming.

[23]  Fabrizio Riguzzi,et al.  Experimentation of an expectation maximization algorithm for probabilistic logic programs , 2012, Intelligenza Artificiale.

[24]  Umberto Straccia,et al.  Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs , 2008, Reasoning Web.

[25]  Stefan Schlobach,et al.  Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies , 2003, IJCAI.

[26]  Bijan Parsia,et al.  Finding All Justifications of OWL DL Entailments , 2007, ISWC/ASWC.

[27]  Bijan Parsia,et al.  Explaining Inconsistencies in OWL Ontologies , 2009, SUM.

[28]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[29]  Shaul Markovitch,et al.  Learning to Order BDD Variables in Verification , 2011, J. Artif. Intell. Res..

[30]  Evelina Lamma,et al.  Epistemic and Statistical Probabilistic Ontologies , 2012, URSW.

[31]  Steffen Staab,et al.  The Semantic Web - ISWC 2008, 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings , 2008, SEMWEB.

[32]  Krzysztof R. Apt,et al.  Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[33]  Maurice Bruynooghe,et al.  Logic programs with annotated disjunctions , 2004, NMR.

[34]  Yoshitaka Kameya,et al.  Parameter Learning of Logic Programs for Symbolic-Statistical Modeling , 2001, J. Artif. Intell. Res..

[35]  Aditya Kalyanpur,et al.  Debugging and Repair of OWL Ontologies , 2006 .

[36]  Lorenza Saitta,et al.  Classification: From expert to ensemble to crowd , 2014, Intelligenza Artificiale.

[37]  Lora Aroyo,et al.  The Semantic Web: Research and Applications , 2009, Lecture Notes in Computer Science.

[38]  Jeff Z. Pan,et al.  An Argument-Based Approach to Using Multiple Ontologies , 2009, SUM.