Ontology FRAME-ONTOLOGY

This page is a copy of the Frame Ontology of Ontolingua
because the Stanford server is often long to access.
However, the hypertext links still point to files on this server.

Ontology FRAME-ONTOLOGY


Ontology documentation:

The frame ontology defines the terms that capture conventions used in object-centered knowledge representation systems. Since these terms are built on the semantics of KIF, one can think of KIF plus the frame-ontology as a specialized representation language.
One purpose of this ontology is to enable people using different representation systems to share ontologies that are organized along object-centered, term-subsumption lines. Translators of ontologies written in KIF using the frame ontology, such as those provided by Ontolingua, allow one to work from a common source format and yet continue to use existing representation systems.
The definitions in this ontology include and extend the Generic Frame Protocol knowledge model (version 2.0).
This ontology is specified using the definitional forms provided by Ontolingua. All of the embedded sentences are in KIF 3.0, and the entire thing can be translated into pure KIF top level forms without loss of information.
The basic ontological commitments of this ontology are
- Relations are sets of tuples -- named by predicates
- Functions are a special case of relations
- Classes are unary relations -- no special syntax for types
- Extensional semantics for classes -- defined as sets, not descriptions
- No special treatment of slots, just binary relations and unary functions
- KL-ONE style specs are relations on relations (second-order relations, not metalinguistic or modal)

Summary of Frame-Ontology:

Frame-Ontology includes the following ontologies:

    Kif-Relations
       Kif-Sets
          Frame-Ontology
             Kif-Relations ...
             Kif-Extensions
                Kif-Sets ...
                Kif-Lists
                   Kif-Numbers
                      Frame-Ontology ...
                Kif-Numbers ...
                Kif-Relations ...
             Kif-Meta
                Kif-Sets ...
                Kif-Lists ...
             Okbc-Ontology
                Kif-Relations ...
                Kif-Extensions ...
                Kif-Meta ...
       Kif-Lists ...
    Kif-Extensions ...
    Kif-Meta ...
    Okbc-Ontology ...

No ontologies include Frame-Ontology.

Ontologies using Frame-Ontology are the same as those that include it.

Class hierarchy (22 classes defined):

    Binary-Relation@Ol-User%Kif-Relations
       Antisymmetric-Relation
          Asymmetric-Relation
          Partial-Order-Relation
             Total-Order-Relation
       Irreflexive-Relation
          Asymmetric-Relation
       Many-To-Many-Relation
       Many-To-One-Relation
       One-To-Many-Relation
       Reflexive-Relation
          Equivalence-Relation
          Partial-Order-Relation ...
       Symmetric-Relation
          Equivalence-Relation
       Transitive-Relation
          Equivalence-Relation
          Partial-Order-Relation ...
       Weak-Transitive-Relation
    Class
    Class-Partition
    Function
       Many-To-One-Relation
    Individual-Thing
    Named-Axiom
    One-To-One-Relation
    Relation
    Unary-Relation@Ol-User%Kif-Relations

31 relations defined:

  Alias
  Composition-Of
  Default-Facet-Value
  Default-Slot-Value
  Default-Template-Facet-Value
  Default-Template-Slot-Value
  Disjoint-Decomposition
  Documentation
  Domain-Of
  Exhaustive-Decomposition
  Has-Author
  Has-Instance
  Has-Source
  Has-Subdefinition
  Has-Subrelation
  Inherited-Facet-Value
  Inherited-Slot-Value
  Nth-Argument-Name
  Nth-Domain
  Nth-Domain-Subclass-Of
  Obsolete-Same-Values
  Obsolete-Value-Type
  Onto
  Partition
  Range-Of
  Range-Subclass-Of
  Related-Axioms
  Single-Valued-Slot
  Slot-Documentation
  Subrelation-Of
  Total-On

13 functions defined:

  All-Instances
  All-Values
  Arity
  Compose
  Domain-Name
  Exact-Domain
  Exact-Range
  Function-Arity
  Obsolete-Slot-Cardinality
  Projection
  Range-Name
  Relation-Universe
  Subdefinition-Of

No individuals defined.

401 unnamed axioms defined.

No named axioms defined.

22 classes defined:

  Antisymmetric-Relation
  Asymmetric-Relation
  Binary-Relation@Ol-User%Kif-Relations
  Class
  Class-Partition
  Equivalence-Relation
  Function
  Individual-Thing
  Irreflexive-Relation
  Many-To-Many-Relation
  Many-To-One-Relation
  Named-Axiom
  One-To-Many-Relation
  One-To-One-Relation
  Partial-Order-Relation
  Reflexive-Relation
  Relation
  Symmetric-Relation
  Total-Order-Relation
  Transitive-Relation
  Unary-Relation@Ol-User%Kif-Relations
  Weak-Transitive-Relation