18.3 Earth, fire, water, air: Question
Exercise: Earth, fire, water, air
The Greek philosopher Empedocles developed a theory of physical elements. He believed that everything was made up of four elements:
He furthermore believed that each of these was a mixture of one property from each of the following two sets of properties:
Each of the elements was made up as follows:
Draw a lattice depicting the type hierarchy that arises from these eight categories. It must have the properties cold, hot, moist, and dry at the top. At the bottom, it must have the four elements earth, fire, water, and air, and these must inherit from the four properties. Remember that multiple inheritance is possible. Also remember to include the two types Entity and Absurdity in the lattice.
Also, write a linear representation of the type hierarchy in the syntax of Prolog+CG.
Click to see an answer.
Prev: Exercise: Man, boy, girl, Woman
Up: 18 Ontology
Next: A larger ontology