Structure of slot-constraint

• A class definition, consists of the following main components:

• name;

• has-value: slot-constraint eats has-value zebra, wildebeest: defines the class each instance of which eats some instance of the class zebra and some instance of the class wildebeest; expresses the existential quantifier;

• value-type: expresses the universal quantifier of predicate logic;

• max-cardinality and min-cardinality.

Previous slide

Next slide

Back to first slide

View graphic version