Contents

• Introduction
  • Background and History
  • ConceptBase Architecture
  • Hardware and Software Requirements
  • Overview of this Manual
  • Differences to Earlier Versions
• The Telos Language in ConceptBase
  • Frame and Network Representation
  • The Predicative Sublanguage CBL
  • The Query Language CBQL
  • The View Language CBVL
• The ConceptBase Server
• 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
  • The ConceptBase Java User Interface
    • The Menu Bar
    • The Tool Bar
    • The Status Bar
    • Telos Editor
    • History Window
    • Display Instances
    • Frame Browser
    • Query Editor
    • Tree Browser
    • Command Line Options
• Advanced Features
  • Using the Module Features of ConceptBase
    • Definition of Modules
    • Switching between Module-contexts
    • Using nested Modules
    • Exporting/Importing Objects
  • Active Rules in ConceptBase
    • Definition of ECArules
      • ECAassertion
      • Priorities
      • Mode of an ECA rule
      • Activate and Deactivate ECA rules
      • Depth
      • User-definable Error Messages
      • Constraints
    • Examples
      • Materialization of Views
      • Counter
      • Timestamps
    • Limitations in the current Implementation
  • Functions
    • Overview
    • Examples for Usage of Functions
  • User-defined Answer Formats
    • Basic definitions
    • Simple expressions in patterns
    • Iterations over expressions
    • Calling queries in answer formats
    • External procedures
    • Expressions in head and tail
    • Conditional expressions
    • Views and path expressions
    • Parameterized Answer Format
• References
• Syntax Specifications
  • Syntax Specifications for Telos Objects
  • Syntax of the Assertion Language
  • Syntax of ECArules
  • 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 ...