Contents

• Introduction
  • Background and History
  • ConceptBase Architecture
  • Hardware and Software Requirements
  • Overview of this Manual
  • Differences to Earlier Versions
• The O-Telos Language in ConceptBase
  • Frame and Network Representation
  • The Predicative Sublanguage CBL
    • User-definable error messages for integrity constraints
  • The Query Language CBQL
    • Query definitions versus query calls
    • Query classes and constraints
    • Nested query calls
    • Query evaluation strategies
  • The View Language CBVL
• The ConceptBase Server
  • The Cache Subsystem
  • Persistency
  • The UNTELL operation
  • Restrictions
• The ConceptBase Usage Environment
  • CBIva
    • The Menu Bar
    • The Tool Bar
    • The Status Bar
    • Telos Editor
    • History Window
    • Display Instances
    • Frame Browser
    • Display Queries
    • Query Editor
    • Tree Browser
  • ConceptBase Graph Editor
    • Overview
    • Starting the Graph Editor
    • Menu Bar
      • File Menu
      • Edit Menu
      • Options Menu
      • Current Connection Menu
    • Tool Bar
    • Popup Menu
    • Editing of Telos Objects
    • Caching of Query Results within the Graph Editor
  • 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
      • Editing Telos Objects with the Telos Editor
      • Editing Telos Objects using the Graph Editor
    • Using the Query Facility
  • Usage as Applet
  • Configuration File
• Advanced Features
  • Using the Module Features of ConceptBase
    • Definition of Modules
    • Switching between Module-contexts
    • Using nested Modules
    • Exporting/Importing Objects
    • Setting Home Modules for Users
    • Limiting Access to Modules
  • 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
      • Simulation of Petri Nets
    • Limitations in the current Implementation
  • Functions
    • Overview
    • Examples for Usage of Functions
    • User-defined Functions
  • User-defined Answer Formats
    • Basic definitions
    • Simple expressions in patterns
    • Pre-defined variables
    • Iterations over expressions
    • Special characters
    • Calling queries in answer formats
    • External procedures
    • Expressions in head and tail
    • Conditional expressions
    • Views and path expressions
    • Parameterized Answer Format
  • Datalog Queries and Rules
    • Extended Query Model
    • Datalog Code
    • Examples
• References
• Syntax Specifications
  • Syntax Specifications for Telos Objects
  • Syntax of the Assertion Language
  • Syntax of ECArules
  • Terminal Symbols
  • Syntax Specifications for SML Fragments
• O-Telos Axioms
• Graphical Types
  • The Graphical Type Model
  • The Graphical Types of the Standard Graph Editor Configuration
    • The Extended Graphical Type Model
    • Default Graphical Types
  • Customizing the Graphical Types
    • Properties of CBIndividual and CBLink
    • Providing a new implementation for a Graphical Type
    • Shapes
• 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
• Predefined Query Classes
  • QueryClasses and GenericQueryClasses
    • Instances and Classes
    • Specializations and Generalizations
    • Attributes
    • Links between objects
    • Other queries
  • Functions
    • Computation and Counting
    • String Manipulation
  • Builtin Query Classes
• About this document ...