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

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

All object type expressions must be used

Non-lexical object types without totality constraints must have a fact type expressions

The actual population of every fact type must be verbalizable

A strict equality constraint must apply on each subtype tupel

Fact types may not contain redundant role combinations

The population should match the value constraints

Facts must have at least one sample population

Roles must have distinct semantic meanings

Modeler: 8/RepositoryRules

Contents