Structure of class-expression

• A class-expression can be: class name, slot-constraint, and a boolean combination of class-expression using the following operators:

• AND: meat AND fish, defines the class whose instances are all those individuals that are instances of both the class meat and the class fish.

• OR: meat OR fish;

• NOT: NOT meat

• arbitrarily complex expression can be formed: NOT(meat OR fish).

Previous slide

Next slide

Back to first slide

View graphic version