Knowledge Graphs

Exercise 6.5 - Taxonomic Reasoning

Consider the following statements.

  1. George is a Marine.
  2. George is a chaplain.
  3. Marine is a beer drinker.
  4. A chaplain is not a beer drinker.
  5. A beer drinker is overweight.
  6. A Marine is not overweight.

a. Which statement must you disallow to maintain consistency?
b. What are the alternative set of statements that might be true?
c. What conclusions you can always draw regardless of which statement you disallow?
d. What conclusions can you draw some of the times from these statements?