18.1 Exercise: Man, boy, girl, Woman: Question

Exercise: Exercise: Man, boy, girl, Woman

Suppose we have these categories in an ontology:

   Entity > Adult, Juvenile, Male, Female.

Then consider the following definitions:

  • A Man is an Adult Male
  • A Boy is a Juvenile Male
  • A Girl is a Juvenile Female
  • A Woman is an Adult Female

Draw a lattice containing these eight categories:

  • Adult
  • Juvenile
  • Male
  • Female
  • Man
  • Boy
  • Girl
  • Woman

where the relationships among them are shown. 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: 18 Ontology
Up: 18 Ontology
Next: Earth, fire, water, air