File Menu

• New KB...
  If the KB list is non-empty, you will be presented with a confirmation dialog about your decision to replace the current knowledge base(s).
  You will then be asked to select an input file to import as the new knowledge base(s).

• Revisor...
  If the revision list is non-empty, you will be presented with a confirmation dialog about your decision to replace the current sentences for revision.
  You will then be asked to select an input file to import as the new sentences for revision.

• New Contractor...
  If the contraction list is non-empty, you will be presented with a confirmation dialog about your decision to replace the current sentences for contraction.
  You will then be asked to select an input file to import as the new sentences for contraction.

• New Entailment-based IC...
  If the EB IC list is non-empty, you will be presented with a confirmation dialog about your decision to replace the current EB IC(s).
  You will then be asked to select an input file to import as the new EB ICs.

• New Consistency-based IC...
  If the CB IC list is non-empty, you will be presented with a confirmation dialog about your decision to replace the current CB IC(s).
  You will then be asked to select an input file to import as the new CB ICs.

==========================================================================================================================================================================

• Append to KB Selected
  You will be asked to select an input file to append to the selected knolwedge base (KB).
  In other words, the sentences in the first KB in the input file will be added to the selected KB, and the sentences in the second KB in the input file will be added to KB immediately after the selected KB, and so on.
  The indexing of the sentences in a knowledge base starts at 0. The indexing of knowledge bases starts at 0.
  The selected knowledge base is the one whose index appears at the top of the drop-down list next to the "Add to KB" button on the main screen.

• Append to Revisor
  You will be asked to select an input file to append to current revision list.

• Append to Contractor
  You will be asked to select an input file to append to current contraction list.

• Append to Entailment-based IC
  You will be asked to select an input file to append to current list of entailment-based integrity constraints.

• Append to Consistency-based IC
  You will be asked to select an input file to append to current list of consistency-based integrity constraints.

========================================================================================================================================================================== Save ->
You can save any one of the eight lists to the most recent file you last saved this list to.
If such a file does not already exist, you will be prompted for the name of a new output file.

The output file format for any one of the three history lists is as follows:

1. The snapshots before the changes in chronological order, followed by
2. The line "***THE FOLLOWING ARE THE CORRESPONDING CHANGES.***" (without the double quotes), followed by
3. The corresponding changes for the snapshots in chronological order.

• KB
  You will save the current list of knowledge base(s).

• Revisor
  You will save the current revision list.

• Contractor
  You will save the current contraction list.

• Entailment-based IC
  You will save the current list of entailment-based integrity constraints.

• Consistency-based IC
  You will save the current list of consistency-based integrity constraints.

• KB History
  You will save the list of changes made to the knowledge base(s).

• EB IC History
  You will save the list of changes made to the entailment-based integrity constraints.

• CB IC History
  You will save the list of changes made to the consistency-based integrity constraints.

• All
  You will save all of the eight lists above.

========================================================================================================================================================================== Save As ->
You will be prompted for the name of the output file to which you can save one of the eight lists.

The output file format for any one of the three history lists is as follows:

1. The snapshots before the changes in chronological order, followed by
2. The line "***THE FOLLOWING ARE THE CORRESPONDING CHANGES.***" (without the double quotes), followed by
3. The corresponding changes for the snapshots in chronological order.

• Save KB As
  You will save the current list of knowledge base(s).

• Save Revisor As
  You will save the current revision list.

• Save Contractor As
  You will save the current contraction list.

• Save Entailment-based IC As
  You will save the current list of entailment-based integrity constraints.

• Save Consistency-based IC As
  You will save the current list of consistency-based integrity constraints.

• Save KB History As
  You will save the list of changes made to the knowledge base(s).

• Save EB IC History As
  You will save the list of changes made to the entailment-based integrity constraints.

• Save CB IC History As
  You will save the list of changes made to the consistency-based integrity constraints.

==========================================================================================================================================================================

• Exit
  You can terminate the applet and close the enclosing browser which displays the applet.