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.

Example 5: BRCA.owl
This ontology models the risk factors of breast cancer depending on many factors such as age and drugs taken.
For example, you can ask about the lifetime risk of breast cancer of Helen by asking whether Helen belongs to the class "WomanUnderLifetimeBRCRIsk"

Example 6: PerformedMusicOntology.owl
The Performed Music Ontology was developed as an extension of the BIBFRAME ontology for generalized bibliographic description to provide more specialized modeling in the performed music domain. It is aimed at both general and archival collections of performed music, whether sound recordings or video.
For more details see the GitHub page of the project and its homepage.
For example, you can ask if a live performance (class LivePerformance) is a performance (class Performance)...
But, wait! Really? Clearly, a live performance is a performance! Or not?

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