Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/simeonhristov99/icy
Ontology about ice cream types developed with Protégé.
https://github.com/simeonhristov99/icy
icecream ontology protege
Last synced: about 2 months ago
JSON representation
Ontology about ice cream types developed with Protégé.
- Host: GitHub
- URL: https://github.com/simeonhristov99/icy
- Owner: SimeonHristov99
- License: mit
- Created: 2023-01-03T16:06:57.000Z (about 2 years ago)
- Default Branch: main
- Last Pushed: 2023-01-24T22:19:32.000Z (almost 2 years ago)
- Last Synced: 2023-12-16T16:11:42.908Z (about 1 year ago)
- Topics: icecream, ontology, protege
- Language: TeX
- Homepage:
- Size: 2.82 MB
- Stars: 1
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# icy
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.
## Requirements
- [X] At least 15 concepts (classes):
- [X] Atomic concepts;
- [X] Composed concepts (by EXISTS, FILLS, ALL, AND).
- [X] At least 10 properties with suitable domain and range.
- [X] Functional;
- [X] Transitive;
- [X] Inverse;
- [X] Make them 10.
- [X] At least 15 **individuals** (instances).
- [X] Examples of reasoning over the knowledge base:
- [X] KB |= (c → e) - at least 1;
- [X] KB |= (c ⊑ d) - at least 1;
- [X] Classification - at least 1.
## Plan of Attack
- [X] Write down the requirements.
- [X] Write a pitch (pdf file).
- [X] Add first version of documentation.
- [X] Add table with classes.
- [X] Add table with object properties.
- [X] Add table with data properties.
- [X] Fix problem with `isTraditional` data property.
- [X] Update concept table.
- [X] Make 10 more named ice creams.
- [X] Make 10 individuals based in the new named ice creams.
- [X] Assign proper values for their properties.
- [X] Update the concept table.
- [X] Create the table with the individuals.
- [X] Give examples of reasoning: individual is class (KB |= (c → e)).
- [X] Give examples of reasoning: class is subclass of class (KB |= (c ⊑ d)).
- [X] Give examples of reasoning: classification.
- [X] DL query.
- [X] SPARQL query.
- [X] Visualize.
- [X] Future improvements.
## Resources
### Main
- [Wikipedia Article on Ice Cream](https://en.wikipedia.org/wiki/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)](https://www.researchgate.net/publication/272829948_A_Practical_Guide_To_Building_OWL_Ontologies_Using_Protege_4_and_CO-ODE_Tools_Edition_13)
### Additional
- [Step by step creation of ontology](https://www.youtube.com/watch?v=NnzAyFTCdyE)
- [Exercises from book (part 1)](https://www.youtube.com/watch?v=1wVeD2PutOA)
- [Exercises from book (part 2)](https://www.youtube.com/watch?v=mb_A3HTkk18)
- [Exercises from book (part 3)](https://www.youtube.com/watch?v=Ukwbj71yweA)
- [Exercises from book (part 4)](https://www.youtube.com/watch?v=V3QSmd3519s)
- [Exercises from book (part 5)](https://www.youtube.com/watch?v=uwJTBzS4Ss0)
- [Exercises from book (part 6)](https://www.youtube.com/watch?v=TLsCX5tDZKI)
- [Visualize ontology](https://www.youtube.com/watch?v=bpjMYBc98bk)
- [Querying ontology](https://www.youtube.com/watch?v=7a-WQQiJaYs)
- [Ontology example 2](https://www.youtube.com/watch?v=leO7__ZonbQ)
- [Ontology example 3](https://www.youtube.com/watch?v=R9ERlUgvgwM&list=PLea0WJq13cnAfCC0azrCyquCN_tPelJN1&index=1)
- [How to create (direct) instances](https://www.youtube.com/watch?v=LQ4iW3PO36E)
- [ChatGPT](https://openai.com/blog/chatgpt/)