Lab 3

1
Lab 3

• Copy the 3 OWL documents from the lab02 directory
• In produce.owl, create a class Citrus which is
  defined as all Fruits which are either Oranges or
  Grapefruits (notenot an enumeration, which would
  be for instances!)
• In appliance.owl, modify the Juicer class so that
  instead of simply being defined as a subclass of
  everything which is an Appliance and can make a
  Juicer obsolete, now every Appliance which can
  make a Juicer obsolete must be a Juicer (hintuse
  intersectionOf).
• In appliance.owl, modify one Class to show that
  there are no Juicers which are both GearJuicers
  and CentrifugalJuicers

2
Lab 3 (cont'd)

• Challenge define rpm, a new FunctionalProperty,
  which can be a Property for anything which is
  either a CentrifugalJuicer or a GearJuicer.
  Remember, simply listing ltrdfsdomain/gt lines
  for both Classes defines a property which is only
  applicable to items which are instances of both.
  And we know there are no such items, since the
  two classes are disjoint. (Hintan rdfsdomain
  element can have as a value an anonymous Class!)