OpenCyc.org HomepageThe Compose Interface

E-Mail Comments to: opencyc-doc@cyc.com
Copyright© 1996-2002 Cycorp. All rights reserved.

[Up]Entering Assertions in KE Text Format
[Back]Overriding the Default Direction
[Next]Loading A KE File

Prerequisites: Logging In
Managing CYC® Operations

On the CYC® Navigator page, click [Compose KE Text] to go to the page for the Compose facility. On the Compose page, you can enter KE Text expressions in a large input pane. Clicking the "Eval" button submits the completed expressions to the KE Text processor.

Note:

Before you can modify the KB, you must be logged in to the CYC® Server. See CYC® Login to learn how. Furthermore, you should be sure that you will not be interfering with other users (if any) of the CYC® Server Machine and that your operations are recorded to the appropriate transcript (if any). See Managing CYC® Operations for details. Be sure that you are in the right mode for doing exercises before proceeding.
The KE Text processor will parse your KE Text and display its results on a new web page before making any changes to the KB.

If it finds syntactic errors in your expressions, these will be reported. You can go back to the Compose page to correct them and try again.

If it finds that you have referred to constants which do not yet exist, it will display a page which lists the proposed new constants. If you do not want to create some of the new constants (for example, any due to typing errors), return to the Compose page to edit the KE text. If you want to create them, click "create", and constant creation operations will be queued.

The KE Text processor displays a "waiting page" after it queues the operations. The waiting page is an unfortunate consequence of the basic CGI protocol used by the CYC® Web Interface: the server can only respond to the client's requests, so it can't take the initiative to keep you informed of the status of the operations. Instead, you have to wait a little and then request an update.*

If the constants have not yet been created, you will get the wait page again (but with updated status information). If the constants have been created, then the KE text processor will display the next page, showing the sequence of proposed operations derived from the input text.

When the KE Text expressions parse without error and all the new constants (if any) have been created, it will display a new page showing the proposed changes as a sequence of FI operations. If you click "Eval Forms", the operations will be queued for processing on the CYC® Server Machine, and a notification page will confirm that the forms were evaluated.


* At some point, the interface may be upgraded to take advantage of applet protocols such as Java. Cycorp policy, however, is to remain focused on core CYC® development and not allow the work on interfaces to become an end in itself.
[Up] [Back] [Next]
Last Update: 03/28/2002