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.owlThis 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.owlThis 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.owlThe 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.owlThis 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 email@example.com