Next:
Introduction
Up:
ConceptBase V4.1 User Manual
Previous:
ConceptBase V4.1 User Manual
Contents
Introduction
Background and History
ConceptBase Architecture
Hardware and Software Requirements
Overview of this Manual
Differences to Earlier Versions
Perspective
The Telos Language in ConceptBase
Frame and Network Representation
The Predicative Sublanguage CBL
The Query Language CBQL
The ConceptBase Usage Environment
ConceptBase Workbench
Menubar
Smart Icon Panel
Telos Editor Field
Protocol Field
Statusline
Browsing Utilities
Display Instances
Display Queries
GraphBrowser
An Example Session with ConceptBase
Starting ConceptBase
Connecting the Usage Environment to the ConceptBase Server
Loading Objects from external Files
Displaying Objects
Browsing Objects
Editing Telos Objects
Storing Objects to External Files
Using the Query Facility
References
Installation Guide
System Requirements
Files
Installation
Registering your installation
Starting ConceptBase
Starting the ConceptBase Server
Starting the ConceptBase Usage Environment
Connecting Server and Usage Environment
Important additional remarks
Contact
Syntax Specifications
Syntax Specifications for Telos Objects
Syntax of the Assertion Language
Terminal Symbols
Syntax Specifications for SML Fragments
Graphical Types
The Graphical Type Model
The Graphical Types of the Standard Graph Browser Configuration
Customizing the Graph Browser Layout
Examples
Example Model: The Employee Model
A Telos Modeling Example - ER Diagrams
The basic model
The use of metaformulas
Example:
necessary
and
single
Metaformulas defining sets of rules
Assignment of graphical types:
Handling inconsistencies
Limitations and final remarks
About this document ...
ConceptBase
Team