BUNDLE
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?
Example 6: biopax-level2.owl
BioPAX (Biological Pathway Exchange) enables the integration of diverse pathway resources by defining an open file format specification for the exchange of biological pathway data. By utilizing the BioPAX format, the problem of data integration reduces to a semantic mapping between the data models of each resource and the data model defined by BioPAX. Widespread adoption of BioPAX for data exchange will increase access to and uniformity of pathway data from varied sources, thus increasing the efficiency of computational pathway research. BioPAX Level 2, which is the example you can play with, expands the scope of BioPAX to include representation of molecular binding interactions, protein post-translational modifications, basic experimental descriptions, and hierarchical pathways.
More information, other versions, and levels can be found BioPAX homepage.
Example 6: GoodRelations.owl
GoodRelations is a standardized vocabulary (also known as "schema", "data dictionary", or "ontology") for product, price, store, and company data that can (1) be embedded into existing static and dynamic Web pages and that (2) can be processed by other computers. This increases the visibility of your products and services in the latest generation of search engines, recommender systems, and other novel applications.
It is used by e.g. Yahoo, SearchMonkey, and BestBuy, is supported by Google, Yahoo, Bing, and Yandex as part of their schema.org initiative. It was first presented by Martin Hepp in the paper:
Hepp, M. (2008). GoodRelations: An Ontology for Describing Products and Services Offers on the Web. In: Knowledge Engineering: Practice and Patterns. EKAW 2008. Lecture Notes in Computer Science, vol 5268. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87696-0_29.
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