## Overview

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

| Using The Cyc® Web Interface
| Setting Up Your Web-Browser

If you are just starting, we recommend that you read the first four pages and then go to the first module, Viewing Cyc Constants with the Web Interface.

The Web Interface course materials assume some familiarity with Cyc and CycL. The Syntax of CycL may be a particularly useful reference.

Editing the Cyc KB with the Web Interface is an important module - the subsequent modules all involve modifications to the KB, so be sure you are comfortable with basic editing before you go on to those.

Setting Up Your Web-Browser

  Some advice on browsing these pages.

Accessing The Cyc Web Interface

  How to connect to Cyc.

The Cyc Main Menu

  A menu of the major facilities provided by the Cyc web interface.

The Cyc Navigator Page

  Short cuts to all the Cyc web interface features.

Viewing Cyc Constants with the Web Interface

  The basic KB browser. The assertions of involving a constant are displayed in a structured format.

The Hierarchy Browser

  Another way to browse the Cyc KB, displaying hierarchies of constants as indented-text tree-structures.

Querying Cyc with the Web Interface

  An interface for querying the KB. Given a proposition with variables, Cyc can search for sets of constants for which the proposition is true.

Editing the Cyc KB with the Web Interface

  Basic editing concepts: logging in, recording operations, sharing operations with other machines, and using the assertion editor.

The SubL Interactor

  This facility can evaluate SubL expressions on the Cyc server machine and display the results. To be used with care, since internal datastructures of SubL and the Cyc application may be accessed and modified. The execution or arbitrary code is also a security weakness. Can be used to alter system parameters and to perform Cyc Functional Interface (FI) operations.

Last Update: 03/21/2002 11:42:15