Figure 10: ``Domain Updater'' web page for updating domain definitions. On top the initials of the database annotator have to be selected. The first text box contains the original domain definition(s), while the new domain definition and optional comments are entered in the second and third box; the last text box shows the name of the default definition which has to be changed to `'NEW'' if the new definition shall be the default definition. After submitting an updated definition, it is checked for consistency and errors automatically.
\includegraphics[scale=1.3]{figures/domain-updater.eps}