Ontologies

Design components

Define class properties

  • May be mutually entailing (5.1). Example: "A hasProducer B" ↔ "B hasProduct A".
  • Property or class? Choice not obvious.

Define class and general property value constraints

  • Value type, including instance.
  • Value range (including uniform value).
  • Value default (5.2).
  • Range of instance-valued property.
  • Limits on cardinality.