Abstract
We present a semantics for Probabilistic Description Logics that is based on the distribution semantics for Probabilistic Logic Programming. The semantics, called DISPONTE, allows to express assertional probabilistic statements. We also present two systems for computing the probability of queries to probabilistic knowledge bases: BUNDLE and TRILL. BUNDLE is based on the Pellet reasoner while TRILL exploits the declarative Prolog language. Both algorithms compute a propositional Boolean formula that represents the set of explanations to the query. BUNDLE builds a formula in Disjunctive Normal Form in which each disjunct corresponds to an explanation while TRILL computes a general Boolean pinpointing formula using the techniques proposed by Baader and PeƱaloza. Both algorithms then build a Binary Decision Diagram (BDD) representing the formula and compute the probability from the BDD using a dynamic programming algorithm. We also present experiments comparing the performance of BUNDLE and TRILL.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
Baader, F., Horrocks, I., Sattler, U.: Description logics. In: Handbook of Knowledge Representation, chap. 3, pp. 135ā179. Elsevier, Amsterdam (2008)
Baader, F., PeƱaloza, R.: Automata-based axiom pinpointing. J. Autom. Reasoning 45(2), 91ā129 (2010)
Baader, F., PeƱaloza, R.: Axiom pinpointing in general tableaux. J. Log. Comput. 20(1), 5ā34 (2010)
Bacchus, F.: Representing and Reasoning with Probabilistic Knowledge - A Logical Approach to Probabilities. MIT Press, Cambridge (1990)
Beckert, B., Posegga, J.: leantap: Lean tableau-based deduction. J. Autom. Reasoning 15(3), 339ā358 (1995)
Bellodi, E., Lamma, E., Riguzzi, F., Albani, S.: A distribution semantics for probabilistic ontologies. In: International Workshop on Uncertainty Reasoning for the Semantic Web. CEUR Workshop Proceedings, vol. 778. Sun SITE Central Europe (2011)
Darwiche, A., Marquis, P.: A knowledge compilation map. J. Artif. Intell. Res. 17, 229ā264 (2002)
De Raedt, L., Kimmig, A., Toivonen, H.: ProbLog: a probabilistic Prolog and its application in link discovery. In: International Joint Conference on Artificial Intelligence, pp. 2462ā2467 (2007)
Faizi, I.: A description logic prover in prolog, Bachelorās thesis, Informatics Mathematical Modelling, Technical University of Denmark (2011)
Gomes, C.P., Sabharwal, A., Selman, B.: Model counting. In: Biere, A. (ed.) Handbook of Satisfiability. IOS Press, Amsterdam (2008)
Haarslev, V., Hidde, K., Mƶller, R., Wessel, M.: The racerpro knowledge representation and reasoning system. Semant. Web 3(3), 267ā277 (2012)
Halaschek-Wiener, C., Kalyanpur, A., Parsia, B.: Extending tableau tracing for ABox updates. Technical report, University of Maryland (2006)
Halpern, J.Y.: An analysis of first-order logics of probability. Artif. Intell. 46(3), 311ā350 (1990)
Herchenrƶder, T.: Lightweight semantic web oriented reasoning in prolog: tableaux inference for description logics. Masterās thesis, School of Informatics, University of Edinburgh (2006)
Hitzler, P., Krƶtzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. CRC Press, Boca Raton (2009)
Hustadt, U., Motik, B., Sattler, U.: Deciding expressive description logics in the framework of resolution. Inf. Comput. 206(5), 579ā601 (2008)
Kalyanpur, A.: Debugging and repair of OWL ontologies. Ph.D. thesis, The Graduate School of the University of Maryland (2006)
Kalyanpur, A., Parsia, B., Horridge, M., Sirin, E.: Finding all justifications of OWL DL entailments. In: Aberer, K., et al. (eds.) ISWC/ASWC 2007. LNCS, vol. 4825, pp. 267ā280. Springer, Heidelberg (2007)
Kalyanpur, A., Parsia, B., Sirin, E., Hendler, J.A.: Debugging unsatisfiable classes in OWL ontologies. J. Web Sem. 3(4), 268ā293 (2005)
Klinov, P.: Pronto: a non-monotonic probabilistic description logic reasoner. In: Bechhofer, S., Hauswirth, M., Hoffmann, J., Koubarakis, M. (eds.) ESWC 2008. LNCS, vol. 5021, pp. 822ā826. Springer, Heidelberg (2008)
Klinov, P., Parsia, B.: Optimization and evaluation of reasoning in probabilistic description logic: towards a systematic approach. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 213ā228. Springer, Heidelberg (2008)
Klinov, P., Parsia, B.: A hybrid method for probabilistic satisfiability. In: BjĆørner, N., Sofronie-Stokkermans, V. (eds.) CADE 2011. LNCS, vol. 6803, pp. 354ā368. Springer, Heidelberg (2011)
LukĆ”csy, G., Szeredi, P.: Efficient description logic reasoning in prolog: the dlog system. TPLP 9(3), 343ā414 (2009)
Lukasiewicz, T.: Expressive probabilistic description logics. Artif. Int. 172(6ā7), 852ā883 (2008)
Meissner, A.: An automated deduction system for description logic with alcn language. Studia z Automatyki i Informatyki 28ā29, 91ā110 (2004)
Nilsson, N.J.: Probabilistic logic. Artif. Intell. 28(1), 71ā87 (1986)
Patel-Schneider, P.F., Horrocks, I., Bechhofer, S.: Tutorial on OWL (2003)
Poole, D.: The Independent Choice Logic for modelling multiple agents under uncertainty. Artif. Intell. 94(1ā2), 7ā56 (1997)
Poole, D.: Probabilistic horn abduction and Bayesian networks. Artif. Intell. 64(1), 81ā129 (1993)
Reiter, R.: A theory of diagnosis from first principles. Artif. Intell. 32(1), 57ā95 (1987)
Ricca, F., Gallucci, L., Schindlauer, R., DellāArmi, T., Grasso, G., Leone, N.: Ontodlv: an asp-based system for enterprise ontologies. J. Log. Comput. 19(4), 643ā670 (2009)
Riguzzi, F.: Extended semantics and inference for the Independent Choice Logic. Log. J. IGPL 17(6), 589ā629 (2009)
Riguzzi, F., Bellodi, E., Lamma, E.: Probabilistic Datalog+/- under the distribution semantics. In: Kazakov, Y., Lembo, D., Wolter, F. (eds.) International Workshop on Description Logics (2012)
Riguzzi, F., Bellodi, E., Lamma, E., Zese, R.: Computing instantiated explanations inĀ OWLĀ DL. In: Baldoni, M., Baroglio, C., Boella, G., Micalizio, R. (eds.) AI*IA 2013. LNCS, vol. 8249, pp. 397ā408. Springer, Heidelberg (2013)
Riguzzi, F., Bellodi, E., Lamma, E., Zese, R.: Probabilistic description logics under the distribution semantics. Semant. Web J. (to appear, 2014)
Riguzzi, F., Lamma, E., Bellodi, E., Zese, R.: Epistemic and statistical probabilistic ontologies. In: Uncertainty Reasoning for the Semantic Web. CEUR Workshop Proceedings, vol. 900, pp. 3ā14. Sun SITE Central Europe (2012)
Sang, T., Beame, P., Kautz, H.A.: Performing bayesian inference by weighted model counting. In: Proceedings of AAAI, pp. 475ā482. AAAI Press/The MIT Press, Palo Alto, Pittsburgh, 9ā13 July 2005
Sato, T.: A statistical learning method for logic programs with distribution semantics. In: International Conference on Logic Programming, pp. 715ā729. MIT Press (1995)
Sato, T., Kameya, Y.: Parameter learning of logic programs for symbolic-statistical modeling. J. Artif. Intell. Res. 15, 391ā454 (2001)
Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: International Joint Conference on Artificial Intelligence, pp. 355ā362. Morgan Kaufmann (2003)
Schmidt-SchauĆ, M., Smolka, G.: Attributive concept descriptions with complements. Artif. Intell. 48(1), 1ā26 (1991)
Shearer, R., Motik, B., Horrocks, I.: Hermit: A highly-efficient owl reasoner. In: OWLED (2008)
Sirin, E., Parsia, B., Cuenca-Grau, B., Kalyanpur, A., Katz, Y.: Pellet: a practical OWL-DL reasoner. J. Web Sem. 5(2), 51ā53 (2007)
Vassiliadis, V., Wielemaker, J., Mungall, C.: Processing owl2 ontologies using thea: an application of logic programming. In: International Workshop on OWL: Experiences and Directions. CEUR Workshop Proceedings, vol. 529. CEUR-WS.org (2009)
Vennekens, J., Denecker, M., Bruynooghe, M.: CP-logic: a language of causal probabilistic events and its relation to logic programming. Theory Pract. Log. Program. 9(3), 245ā308 (2009)
Vennekens, J., Verbaeten, S., Bruynooghe, M.: Logic programs with annotated disjunctions. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol. 3132, pp. 431ā445. Springer, Heidelberg (2004)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
Ā© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Zese, R., Bellodi, E., Lamma, E., Riguzzi, F., Aguiari, F. (2014). Semantics and Inference for Probabilistic Description Logics. In: Bobillo, F., et al. Uncertainty Reasoning for the Semantic Web III. URSW URSW URSW 2012 2011 2013. Lecture Notes in Computer Science(), vol 8816. Springer, Cham. https://doi.org/10.1007/978-3-319-13413-0_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-13413-0_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-13412-3
Online ISBN: 978-3-319-13413-0
eBook Packages: Computer ScienceComputer Science (R0)