CSE 663, Fall 2008

Ontology Problem

(From Brachman & Levesque 2003: p. 44, #1)

Last Update: 16 September 2008

Note: NEW or UPDATED material is highlighted

Consider the following KB:

  1. Tony, Mike, and John belong to the Alpine Club.

  2. Every member of the Alpine Club who is not a skier is a mountain climber.

  3. Mountain climbers do not like rain, and anyone who does not like snow is not a skier.

  4. Mike dislikes whatever Tony likes, and likes whatever Tony dislikes.
Question: Ontology of the Alpine-Club World [PDF]

Copyright © 2003-2008 by William J. Rapaport (rapaport@cse.buffalo.edu)