Pattern - Enumeration

This wizard creates a pattern known as an "Enumeration".

This pattern describes a set of values that can hold for a particular property and are used in a restriction to describe a particular feature of a class.

This is an alternative representation of the Value Partition pattern, but in an enumeration, the possible values are represented by a set of individuals, so no sub-partitioning is possible.

The property created should only be used in restrictions that have a filler of one of the individuals in the Enumeration.

eg Enumeration Spiciness has subclasses spiciness-hot and spiciness-mild

or "All references to spiciness must be hot or mild"

The wizard will create:

You can find the new Enumeration under the Pattern class