Using the COBA 2.0 Applet

The applet version of COBA 2.0 offers several additional and distinct advantages over the command-line tool. Specifically, you may

1. add input from your local files or to type in the input yourself.
2. view the history logs for the changes made to the knowledge base (KB) list, the entailment-based integrity constraints (EB IC) list, and the consistency-based integrity constraints (CB IC) list.
3. revert to an older KB, EB IC, or CB IC snapshot.
4. save any list to an output file.
5. view sentences in the default, CNF, or DNF format.
6. turn off consistency checks on an entry and its mutual consistency with its list.
7. reject or commit a resultant knowledge base.
8. view the COBA 2.0 user manual and JavaDocs in external browser windows (if the applet is running in an html document).

You may start the COBA 2.0 applet with the script run_applet.

The COBA 2.0 applet needs your permission to read and create files on your local machine. You must explicitly grant this permission to cobaUI.jar, if you wish to import files into the applet or save the applet output to files. You may do so by

• either running the default run_applet script with the policy file policy/revision.policy.
• or modifying the codeBase path and copying the policy in policy/revision.policy to your local .java.policy file. See Sun's Web page at http://java.sun.com/j2se/1.4.2/docs/guide/security/PolicyFiles.html#DefaultLocs for the default location of your .java.policy file.