Training:PhD Course on Computational Ontologies @ University of Bologna 2011/Toys and dolls
From Odp
< Training:PhD Course on Computational Ontologies @ University of Bologna 2011(Difference between revisions)
Current revision (18:29, 25 November 2012) (view source) |
|||
| (6 intermediate revisions not shown.) | |||
| Line 4: | Line 4: | ||
|Problem=Design an ontology based on the following sentences: | |Problem=Design an ontology based on the following sentences: | ||
| - | * Dolls are a kind of | + | * Dolls are a kind of toy |
* Young women are young persons and female | * Young women are young persons and female | ||
* A young person cannot be both a young man and a young woman | * A young person cannot be both a young man and a young woman | ||
* Young persons are either young men or young women | * Young persons are either young men or young women | ||
* Most famous dolls are Lenore and Emily | * Most famous dolls are Lenore and Emily | ||
| - | * Young women play with some doll | + | * Young women play with some doll |
* Young women play with only most famous dolls | * Young women play with only most famous dolls | ||
* Young men play with at least one toy | * Young men play with at least one toy | ||
| Line 16: | Line 16: | ||
* Lalu is the same person as Laura | * Lalu is the same person as Laura | ||
* To dress a toy is a special case of playing, where the toy is a doll | * 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: owl:hasKey) | + | * Only Lenore is a doll having Emily as a doll. Minnie has Emily as a doll (hint: use owl:hasKey) |
| - | * Clara is sister of Lalu's, Lalu 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 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. | ||
Current revision
| 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. Minnie has 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:
