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 ...