Bdds for Uncertain reasoNing on Description Logic thEories
BUNDLE is an algorithm for reasoning on probabilistic ontologies following the DISPONTE semantics

Ontology Setting

Choose your ontology file

You can also type your ontology right here or modify an existing one

Query Setting

Made with ❤ by ML@UniFE with the help of Jessica Bertolasi, Emanuele Bianchi
© Copyright ML@UniFE - University of Ferrara
All Rights Reserved.

Contact us at ml@unife.it