BUNDLE – AI@UNIFE (original) (raw)

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 try BUNDLE online at bundle.ml.unife.it

Download

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.

Manual

Click here to see the online manual.

Older Versions

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.

Issues

Report an issue

Bibliography

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. Reasoning with probabilistic ontologies. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, Buenos Aires, Argentina, 25-31 July 2015, pages 4310-4316, Palo Alto, California USA, 2015. © International Joint Conferences on Artificial Intelligence, AAAI Press / International Joint Conferences on Artificial Intelligence. [ bib | .pdf ]

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 ]

Fabrizio Riguzzi, Evelina Lamma, Elena Bellodi, and Riccardo Zese. Semantics and inference for probabilistic ontologies. In Popularize Artificial Intelligence. In Proceedings of the AI*IA Workshop and Prize for Celebrating 100th Anniversary of Alan Turing’s Birth (PAI 2012), Rome, Italy, June 15, 2012, number 860 in CEUR Workshop Proceedings, pages 41-46, Aachen, Germany, 2012. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]

Fabrizio Riguzzi, Elena Bellodi, and Evelina Lamma. Probabilistic Datalog+/- under the distribution semantics. In Proceedings of the 25th International Workshop on Description Logics (DL2012), Roma, Italy, 7-10 June 2012, number 846 in CEUR Workshop Proceedings, Aachen, Germany, 2012. © by the authors, 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 Europ_e. [ bib | .pdf | .pdf ]