Ontology about ice cream types developed with Protégé.
This project was made when taking the coarse "Knowledge Representation and Reasoning" at FMI as part of my Masters degree.
- At least 15 concepts (classes):
- Atomic concepts;
- Composed concepts (by EXISTS, FILLS, ALL, AND).
- At least 10 properties with suitable domain and range.
- Functional;
- Transitive;
- Inverse;
- Make them 10.
- At least 15 individuals (instances).
- Examples of reasoning over the knowledge base:
- KB |= (c → e) - at least 1;
- KB |= (c ⊑ d) - at least 1;
- Classification - at least 1.
- Write down the requirements.
- Write a pitch (pdf file).
- Add first version of documentation.
- Add table with classes.
- Add table with object properties.
- Add table with data properties.
- Fix problem with
isTraditional
data property. - Update concept table.
- Make 10 more named ice creams.
- Make 10 individuals based in the new named ice creams.
- Assign proper values for their properties.
- Update the concept table.
- Create the table with the individuals.
- Give examples of reasoning: individual is class (KB |= (c → e)).
- Give examples of reasoning: class is subclass of class (KB |= (c ⊑ d)).
- Give examples of reasoning: classification.
- DL query.
- SPARQL query.
- Visualize.
- Future improvements.
- Wikipedia Article on Ice Cream
- Matthew Horridge. A Practical Guide To Building OWL Ontologies Using Protégé 4 and CO-ODE Tools Edition 1.3 (I refer to this as "book" in the additional resources)
- Step by step creation of ontology
- Exercises from book (part 1)
- Exercises from book (part 2)
- Exercises from book (part 3)
- Exercises from book (part 4)
- Exercises from book (part 5)
- Exercises from book (part 6)
- Visualize ontology
- Querying ontology
- Ontology example 2
- Ontology example 3
- How to create (direct) instances
- ChatGPT