Modeler: 8/RepositoryRules

Model Well-formednes

This window shows the well-formednes rules for the active model.

---

Every fact type must have an intra UC

There must exist at least one Uniqueness Constraint on the roles within the object of fact type.

The N rule must be valid for every nominalized fact type

All roles within a nominalized fact type must be covered under a single uniqueness constraint.

The N-1 rule must be valid for every fact type

Facts are required to have at one or more uniqueness constraint over N-1 roles.

The subtype rule must be valid for every subype

In a fact type that is a subtype, all roles have a single role uniqueness constraint. For nominalized subtypes, all object type expressions concern exactly one role.

The alias of an object/fact type must be unique

Object / fact types names must be unique, this includes the alias set at the fact property dialog.