Revision as of 13:06, 12 September 2014

Model Well-formednes

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

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

@@ Line 3: / Line 3: @@
 [[File:ModelWellFormednes.png]]
+----
+= 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 =
+= The N-1 rule must be valid for every fact type =
+= The subtype rule must be valid for every subype =
+= 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 =