Training:PhD Course on Computational Ontologies @ University of Bologna 2011/Toys and dolls
From Odp
(Difference between revisions)
Line 17: | Line 17: | ||
* 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 (hint: owl:hasKey) | ||
- | * Clara is sister of Lalu's, Lalu is daughter of Aldo's, therefore Clara is | + | * 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 | ||
Revision as of 11:06, 4 May 2011
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: 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
Then, complete the ontology by adding inverse, symmetric, and transitive properties.
Solutions: