Bdds for Uncertain reasoNing on Description Logic thEories.
BUNDLE is an algorithm for reasoning on probabilistic ontologies following the DISPONTE semantics, applying the distribution semantics to Description Logics.
You can download the latest version from bitbucket here, where you can find both stable and development version.
BUNDLE is constantly under development, if you find some errors please report to us. You can also use and download stable versions tagged here.
Moreover, BUNDLE is available in the Maven Central Repository and a BUNDLE image is deployed in Docker Hub. Details here.
For older version and help refer to the Wiki page.
Note to BUNDLE 1.3 – OWLAPI v 3.4.10 version
This version computes instantiated explanation of queries. It exploits OWL API 3.4.10. Newer versions compute non-instantiated explanations.
For downloading it, click here, select “BUNDLE-OWLAPI-3-4-10.zip” and then click on File > Save.
Datasets
For downloading the datasets for testing BUNDLE, click here, select “datasets.zip” and then click on File > Save.
The BRCA ontology models breast cancer risk assessment. It is available for download together with the licence file here.
Giuseppe Cota, Fabrizio Riguzzi, Riccardo Zese, Elena Bellodi, and Evelina Lamma. A Modular Inference System for Probabilistic Description Logics. In Scalable Uncertainty Management. Springer International Publishing, 2018. pages 78-92. [bib | DOI | .pdf]
Riccardo Zese. Probabilistic Semantic Web, volume 28 of Studies on the Semantic Web. IOS Press, 2017. [ bib | DOI | http ]
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, and Riccardo Zese. Probabilistic description logics under the distribution semantics. Semantic Web – Interoperability, Usability, Applicability, 6(5):447-501, 2015. [ bib | DOI | .pdf ]
Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, and Fabiano Aguiari. Semantics and inference for probabilistic description logics. In Uncertainty Reasoning for the Semantic Web III, volume 8816 of Lecture Notes in Computer Science, pages 79-99. Springer International Publishing, 2014. The original publication is available at http://www.springerlink.com. [ bib | DOI | .pdf ]
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, and Riccardo Zese. BUNDLE: A reasoner for probabilistic ontologies. In Proceedings of the 7th International Conference on Web Reasoning and Rule Systems, Mannheim, Germany, 27-29 July 2013, vol. 7994 in LNCS, pages 183–197. Springer (2013).
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, and Riccardo Zese. Probabilistic Description Logics under the Distribution Semantics. Technical Report ML-01, University of Ferrara, 2013. [ .pdf ]
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, and Riccardo Zese. Epistemic and statistical probabilistic ontologies. In Proceedings of the 8th International Workshop on Uncertainty Reasoning for the Semantic Web, Boston, US, 11 November 2012, number 900 in CEUR Workshop Proceedings, pages 1-12, Aachen, Germany, 2012. Sun SITE Central Europe. [ bib | .pdf | .pdf ]
Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, and Simone Albani. A distribution semantics for probabilistic ontologies. In Proceedings ot the 7th International Workshop on Uncertainty Reasoning for the Semantic Web, Bonn, Germany, 23 October, 2011, number 778 in CEUR Workshop Proceedings, Aachen, Germany, 2011. Sun SITE Central Europe. [ bib | .pdf | .pdf ]
