Training:PhD Course on Computational Ontologies @ University of Bologna 2011/Toys and dolls
From Odp
(Difference between revisions)
| Line 19: | Line 19: | ||
* Clara is sister of Lalu's, Lalu is daughter of Aldo's, therefore Clara is daughter of Aldo's | * Clara is sister of Lalu's, Lalu is daughter of Aldo's, therefore Clara is daughter of Aldo's | ||
* Toy is a generic class | * Toy is a generic class | ||
| + | * Clara played with Emily only for one month | ||
Then, complete the ontology by adding inverse, symmetric, and transitive properties. | Then, complete the ontology by adding inverse, symmetric, and transitive properties. | ||
Revision as of 01:51, 21 November 2012
| Tutorial | Training:PhD Course on Computational Ontologies @ University of Bologna 2011 |
|---|---|
| Title | Toys and dolls |
Problem:
Design an ontology based on the following sentences:
- Dolls are a kind of toy
- Young women are young persons and female
- A young person cannot be both a young man and a young woman
- Young persons are either young men or young women
- Most famous dolls are Lenore and Emily
- Young women play with some doll
- Young women play with only most famous dolls
- Young men play with at least one toy
- Clara is a young woman
- Clara and Laura are different individuals
- Lalu is the same person as Laura
- To dress a toy is a special case of playing, where the toy is a doll
- Only Lenore is a doll having Emily as a doll (hint: use owl:hasKey)
- Clara is sister of Lalu's, Lalu is daughter of Aldo's, therefore Clara is daughter of Aldo's
- Toy is a generic class
- Clara played with Emily only for one month
Then, complete the ontology by adding inverse, symmetric, and transitive properties.
Solutions:
