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.
Example 5: BRCA.owlThis 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.owlThe 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?