Library of Ontologies

Sections of this index

• Reference Documents
• List of Ontologies
• Inclusion Lattice of Ontologies

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.

• Built-in-theory.lisp
• Ontolingua Reference Manual

List of Ontologies

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

  Abnormalities           23 December 2000
  Abstract-Objects        15 December 2000
  Actors                  23 December 2000
  Anatomy                 23 December 2000
  Artifacts               15 December 2000
  Assessment              23 December 2000
  Biologic-Functions      23 December 2000
  Biologic-Substances     23 December 2000
  Body-Directions         15 December 2000
  Built-In-Theory         24 December 2000
  Clin-Act                23 December 2000
  Dependence              23 December 2000
  Diagrams                23 December 2000
  Equality                15 December 2000
  Granularity             15 December 2000
  Guidelines              23 December 2000
  Layers                  23 December 2000
  Localization            23 December 2000
  Medical-Procedures      23 December 2000
  Mereology               23 December 2000
  Meronymy                23 December 2000
  Metaontology            24 December 2000
  Molecular-Biology       23 December 2000
  Morphology              15 December 2000
  Natural-Kinds           23 December 2000
  Physical-Concepts       23 December 2000
  Planning                24 December 2000
  Positions               23 December 2000
  Procedures              24 December 2000
  Quantities              23 December 2000
  Representation          23 December 2000
  Social-Objects          23 December 2000
  Structuring-Concepts    23 December 2000
  Substances              23 December 2000
  Top-Level               23 December 2000
  Topics                  15 December 2000
  Topo-Morphology         23 December 2000
  Topology                23 December 2000
  Units                   23 December 2000
  Unrestricted-Time       23 December 2000
  Web-Notions             15 December 2000

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.

    Built-In-Theory
    Units
       Quantities
          Clin-Act
             Guidelines
             Biologic-Substances
          Positions
             Anatomy
                Body-Directions
                Biologic-Functions
                   Medical-Procedures
                      Clin-Act ...
                   Abnormalities
                      Clin-Act ...
                   Molecular-Biology
                   Natural-Kinds
                      Clin-Act ...