An example of the static HTML output produced by the compilation of an Ontolingua ontology into a hyperweb. Much of the formatting of these pages was preserved when we implemented the ontology editor. In the next slide , we go from the ontology library (ontologies were referred to as theories in this old example) to the Bibliographic-data ontology.

[Up] [Next]

Library of Ontologies Table of Contents

Library of Ontologies Table of Contents

Reference Documents

These documents are indexed so that references to formal terms point to their definitions. They serve as introductions and reference manuals for the ontologies.

List of Ontologies

Below are the ontologies listed in alphabetical order, with the date of last modification.
  3d-Tensor-Quantities         1 July 1994
  Abstract-Algebra              2 May 1994
  Basic-Matrix-Algebra         5 July 1994
  Bibliographic-Data     27 September 1994
  Cml                    22 September 1994
  Component-Assemblies    7 September 1994
  Components-With-Constraints 30 July 1994
  Dme-Cml                16 September 1994
  Frame-Ontology              31 July 1994
  Jat-Generic                29 April 1994
  Job-Assignment-Task         29 June 1993
  Kif-Extensions            5 October 1994
  Kif-Lists                    6 June 1994
  Kif-Meta                    10 July 1994
  Kif-Numbers                 8 April 1994
  Kif-Relations               8 April 1994
  Kif-Sets                8 September 1994
  Mace-Domain                 10 July 1994
  Mechanical-Components       10 July 1994
  Parametric-Constraints      31 July 1994
  Physical-Quantities         31 July 1994
  Quantity-Spaces             31 July 1994
  Scalar-Quantities            1 July 1994
  Simple-Geometry              5 July 1994
  Slot-Constraint-Sugar        5 July 1994
  Standard-Dimensions    21 September 1994
  Standard-Units         21 September 1994
  Tensor-Quantities      21 September 1994
  Thermal-System             2 August 1994
  Unary-Scalar-Functions       5 July 1994
  User-Theory     No source file available
  Vt-Design                   30 July 1994
  Vt-Domain              27 September 1994
  Vt-Example               3 November 1993

Inclusion Lattice of Ontologies

Below is the lattice of ontologies in this library. Each ontology defines a set of formal terms. Ontologies include (import from) other ontologies. Terms in an included ontology are in the namespace of the ontologies that include it. In the lattice below, an ontology includes those ontologies that it is indented under.
    Kif-Sets
       Kif-Extensions
          Frame-Ontology
             Jat-Generic
                Job-Assignment-Task
             Basic-Matrix-Algebra
                Tensor-Quantities
                   3d-Tensor-Quantities
                      Simple-Geometry
                         Mechanical-Components
                            Mace-Domain
             Abstract-Algebra
                Physical-Quantities
                   Standard-Dimensions
                      Vt-Design
                         Vt-Domain
                            Vt-Example
                      Unary-Scalar-Functions
                         Mace-Domain
                         Cml
                            Thermal-System
                            Dme-Cml
                               Thermal-System
                      Standard-Units
                      Simple-Geometry ...
                   Scalar-Quantities
                      Vt-Design ...
                      Unary-Scalar-Functions ...
                      Tensor-Quantities ...
                   Quantity-Spaces
                      Simple-Geometry ...
             Parametric-Constraints
                Components-With-Constraints
                   Vt-Design ...
                   Mace-Domain
             Component-Assemblies
                Mechanical-Components ...
                Components-With-Constraints ...
                Dme-Cml ...
             Bibliographic-Data
             Slot-Constraint-Sugar
                Bibliographic-Data
       Kif-Meta
          Parametric-Constraints ...
       Kif-Relations
          Frame-Ontology ...
          Kif-Extensions ...
    Kif-Numbers
       Kif-Extensions ...
       Kif-Lists
          Kif-Extensions ...
          Kif-Meta ...
          Kif-Relations ...
    User-Theory

This file was generated by Ontolingua on Friday, 7 October 1994