While working in the disconnected mode, you can still check source code for syntax and semantic errors and then connect only to submit a compiled file when you are ready to create the program objects.

A machine can use equivalence of the URLs to check semantic equivalence — and WordNet allows you to go even further, using its thesaurus-like facilities for richer semantics.

Validity check (Default: basic validity check) : the validity check verifies that the data model follows the semantic rules for the model format.