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

This section presents some simple examples of ontologies.
If you want, you can try them with BUNDLE directly from here

Example 1: crime_and_punishment.owl
This KB states that if you killed someone then you are a nihilist and whoever is a nihilist is a "great man", represented by concept "GreatMan" (TBox).
It also states that Raskolnikov killed Alyona and Lizaveta (ABox).
The KB entails that Raskolnikov is a "great man" (but are we sure about that?).

Example 2: peoplePets.owl
This KB states that individuals that own an animal which is a pet are pet owners, represented by the concept PetOwner (TBox).
Moreover, Kevin owns the animals Fluffy and Tom, which are cats (ABox).
Finally, the TBox also states that cats are pets.
Therefore, from this KB Kevin results to be a pet owner.

Example 3: father_oe.owl
The KB represents several people and their fatherhood and motherhood relationships (ABox).
Possible queries could be whether Martin has child Heinz, or why the individuals belongs to the concept Person.

Example 4: pizza.owl
This KB represents two different types of pizza: the (wonderful) margherita and the Hawaiian pizza.
Both belong to the concept Pizza, while the latter is also a food containing pineapple, thus it belongs to the concept PineappleFood as well (ABox).
Moreover, it states that something that is both a Pizza and a food containing pineapple is a blasphemy.
Because Hawaiian pizza is a blasphemy.
We're kidding... maybe.

© Copyright Jessica Bertolasi, Emanuele Bianchi, ML@UniFE - University of Ferrara
All Rights Reserved.

Contact us at ml@unife.it