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

- Overview of Ontologies in the Ontology Library
- Introduction to the Bibliographic-data Ontology
- Overview of component modeling ontologies
- The Engineering Math Ontologies
- An example exchange amoung agents using the mace-domain theory.
- The thermodynamics domain theory provides a testbed for the new
- Configuration Design Ontology with VT Elevator Domain Theory
- Changes to the configuration design and VT ontologies.
- VT Ontology Discussion
- Ontolingua Reference Manual

Below are the ontologies listed in alphabetical order, with the date of last modification.

3d-Tensor-Quantities1 July 1994Abstract-Algebra2 May 1994Basic-Matrix-Algebra5 July 1994Bibliographic-Data27 September 1994Cml22 September 1994Component-Assemblies7 September 1994Components-With-Constraints30 July 1994Dme-Cml16 September 1994Frame-Ontology31 July 1994Jat-Generic29 April 1994Job-Assignment-Task29 June 1993Kif-Extensions5 October 1994Kif-Lists6 June 1994Kif-Meta10 July 1994Kif-Numbers8 April 1994Kif-Relations8 April 1994Kif-Sets8 September 1994Mace-Domain10 July 1994Mechanical-Components10 July 1994Parametric-Constraints31 July 1994Physical-Quantities31 July 1994Quantity-Spaces31 July 1994Scalar-Quantities1 July 1994Simple-Geometry5 July 1994Slot-Constraint-Sugar5 July 1994Standard-Dimensions21 September 1994Standard-Units21 September 1994Tensor-Quantities21 September 1994Thermal-System2 August 1994Unary-Scalar-Functions5 July 1994User-TheoryNo source file availableVt-Design30 July 1994Vt-Domain27 September 1994Vt-Example3 November 1993

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-SetsKif-ExtensionsFrame-OntologyJat-GenericJob-Assignment-TaskBasic-Matrix-AlgebraTensor-Quantities3d-Tensor-QuantitiesSimple-GeometryMechanical-ComponentsMace-DomainAbstract-AlgebraPhysical-QuantitiesStandard-DimensionsVt-DesignVt-DomainVt-ExampleUnary-Scalar-FunctionsMace-DomainCmlThermal-SystemDme-CmlThermal-SystemStandard-UnitsSimple-Geometry...Scalar-QuantitiesVt-Design...Unary-Scalar-Functions...Tensor-Quantities...Quantity-SpacesSimple-Geometry...Parametric-ConstraintsComponents-With-ConstraintsVt-Design...Mace-DomainComponent-AssembliesMechanical-Components...Components-With-Constraints...Dme-Cml...Bibliographic-DataSlot-Constraint-SugarBibliographic-DataKif-MetaParametric-Constraints...Kif-RelationsFrame-Ontology...Kif-Extensions...Kif-NumbersKif-Extensions...Kif-ListsKif-Extensions...Kif-Meta...Kif-Relations...User-Theory