A Modular Inference System for Probabilistic Description Logics

  • Giuseppe Cota
  • Fabrizio Riguzzi
  • Riccardo Zese
  • Elena Bellodi
  • Evelina Lamma
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11142)


While many systems exist for reasoning with Description Logics knowledge bases, very few of them are able to cope with uncertainty. BUNDLE is a reasoning system, exploiting an underlying non-probabilistic reasoner (Pellet), able to perform inference w.r.t. Probabilistic Description Logics. In this paper, we report on a new modular version of BUNDLE that can use other OWL (non-probabilistic) reasoners and various approaches to perform probabilistic inference. BUNDLE can now be used as a standalone desktop application or as a library in OWL API-based applications that need to reason over Probabilistic Description Logics. Due to the introduced modularity, BUNDLE performance now strongly depends on the method and OWL reasoner chosen to obtain the set of justifications. We provide an evaluation on several datasets as the inference settings vary.


Probabilistic Description Logic Semantic Web Reasoner OWL Library 



This work was supported by the “GNCS-INdAM”.


  1. 1.
    Baader, F., Horrocks, I., Sattler, U.: Description logics, chap. 3, pp. 135–179. Elsevier, Amsterdam (2008)Google Scholar
  2. 2.
    Baader, F., Peñaloza, R., Suntisrivaraporn, B.: Pinpointing in the description logic \(\cal{EL}^+\). In: Hertzberg, J., Beetz, M., Englert, R. (eds.) KI 2007. LNCS (LNAI), vol. 4667, pp. 52–67. Springer, Heidelberg (2007). Scholar
  3. 3.
    Demir, E., Cary, M.P., Paley, S., Fukuda, K., Lemer, C., Vastrik, I., Wu, G., D’Eustachio, P., Schaefer, C., Luciano, J.: The BioPax community standard for pathway data sharing. Nat. Biotechnol. 28(9), 935–942 (2010)CrossRefGoogle Scholar
  4. 4.
    Ding, Z., Peng, Y.: A probabilistic extension to ontology language OWL. In: 37th Hawaii International Conference on System Sciences (HICSS-37 2004), CD-ROM/Abstracts Proceedings, 5–8 January 2004, Big Island, HI, USA. IEEE Computer Society (2004)Google Scholar
  5. 5.
    Horridge, M., Bechhofer, S.: The OWL API: a Java API for OWL ontologies. Semant. Web 2(1), 11–21 (2011)Google Scholar
  6. 6.
    Horridge, M., Parsia, B., Sattler, U.: The OWL explanation workbench: a toolkit for working with justifications for entailments in OWL ontologies (2009)Google Scholar
  7. 7.
    Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible \(\cal{SROIQ}\). In: Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning, vol. 6, pp. 57–67. AAAI Press (2006).
  8. 8.
    Jaeger, M.: Probabilistic reasoning in terminological logics. In: Doyle, J., Sandewall, E., Torasso, P. (eds.) 4th International Conference on Principles of Knowledge Representation and Reasoning, pp. 305–316. Morgan Kaufmann (1994)Google Scholar
  9. 9.
    Kalyanpur, A.: Debugging and repair of OWL ontologies. Ph.D. thesis, The Graduate School of the University of Maryland (2006)Google Scholar
  10. 10.
    Kimmig, A., Demoen, B., De Raedt, L., Costa, V.S., Rocha, R.: On the implementation of the probabilistic logic programming language ProbLog. Theory Pract. Log. Prog. 11(2–3), 235–262 (2011)MathSciNetCrossRefGoogle Scholar
  11. 11.
    Klinov, P., Parsia, B.: Optimization and evaluation of reasoning in probabilistic description logic: towards a systematic approach. In: Sheth, A., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 213–228. Springer, Heidelberg (2008). Scholar
  12. 12.
    Koller, D., Levy, A.Y., Pfeffer, A.: P-CLASSIC: a tractable probabilistic description logic. In: Kuipers, B., Webber, B.L. (eds.) Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, AAAI 1997, 27–31 July 1997, Providence, Rhode Island, pp. 390–397. AAAI Press/The MIT Press (1997)Google Scholar
  13. 13.
    Lehmann, J., Isele, R., Jakob, M., Jentzsch, A., Kontokostas, D., Mendes, P.N., Hellmann, S., Morsey, M., van Kleef, P., Auer, S., Bizer, C.: DBpedia - a large-scale, multilingual knowledge base extracted from Wikipedia. Semant. Web 6(2), 167–195 (2015)Google Scholar
  14. 14.
    Lukasiewicz, T.: Expressive probabilistic description logics. Artif. Intell. 172(6–7), 852–883 (2008)MathSciNetCrossRefGoogle Scholar
  15. 15.
    Lutz, C., Schröder, L.: Probabilistic description logics for subjective uncertainty. In: Lin, F., Sattler, U., Truszczynski, M. (eds.) 12th International Conference on Principles of Knowledge Representation and Reasoning (KR 2010), pp. 393–403. AAAI Press, Menlo Park (2010)Google Scholar
  16. 16.
    Nagypál, G., Deswarte, R., Oosthoek, J.: Applying the semantic web: the VICODI experience in creating visual contextualization for history. Lit. Linguist. Comput. 20(3), 327–349 (2005)Google Scholar
  17. 17.
    Reiter, R.: A theory of diagnosis from first principles. Artif. Intell. 32(1), 57–95 (1987)MathSciNetCrossRefGoogle Scholar
  18. 18.
    Riguzzi, F., Bellodi, E., Lamma, E., Zese, R.: Probabilistic description logics under the distribution semantics. Semant. Web 6(5), 447–501 (2015). Scholar
  19. 19.
    Riguzzi, F., Bellodi, E., Lamma, E., Zese, R.: Reasoning with probabilistic ontologies. In: Yang, Q., Wooldridge, M. (eds.) 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), pp. 4310–4316. AAAI Press, Palo Alto (2015)Google Scholar
  20. 20.
    Sato, T.: A statistical learning method for logic programs with distribution semantics. In: Sterling, L. (ed.) ICLP 1995, pp. 715–729. MIT Press (1995)Google Scholar
  21. 21.
    Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Gottlob, G., Walsh, T. (eds.) Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI 2003, Acapulco, Mexico, 9–15 August 2003, pp. 355–362. Morgan Kaufmann Publishers Inc., San Francisco (2003)Google Scholar
  22. 22.
    Shearer, R., Motik, B., Horrocks, I.: HermiT: a highly-efficient OWL reasoner. In: OWL: Experiences and Direction, vol. 432, p. 91 (2008)Google Scholar
  23. 23.
    Sirin, E., Parsia, B., Cuenca-Grau, B., Kalyanpur, A., Katz, Y.: Pellet: a practical OWL-DL reasoner. J. Web Semant. 5(2), 51–53 (2007)CrossRefGoogle Scholar
  24. 24.
    Tsarkov, D., Horrocks, I.: FaCT++ description logic reasoner: system description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 292–297. Springer, Heidelberg (2006). Scholar
  25. 25.
    W3C: OWL 2 web ontology language, December 2012.
  26. 26.
    Zese, R.: Probabilistic semantic web: reasoning and learning, studies on the semantic web, vol. 28. IOS Press, Amsterdam (2017).,
  27. 27.
    Zese, R., Bellodi, E., Riguzzi, F., Cota, G., Lamma, E.: Tableau reasoning for description logics and its extension to probabilities. Ann. Math. Artif. Intell. 82(1–3), 101–130 (2018). Scholar

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

  1. 1.Dipartimento di IngegneriaUniversity of FerraraFerraraItaly
  2. 2.Dipartimento di Matematica e InformaticaUniversity of FerraraFerraraItaly

Personalised recommendations