Ontology SLOT-CONSTRAINT-SUGAR

• Last modified: Wednesday, 20 September 1995
• Generality: Very high
• Maturity: High
• I/O Syntax: Case Insensitive
• Private by default: No
• Source pathname: /tmp_mnt/vol/q/htw/cms/ontolingua/examples/ontolingua/../../all-ontologies/ontolingua/slot-constraint-sugar.lisp

Ontology documentation:

Defines second-order relations for describing slot constraints in a KL-ONE style. Ontolingua recognizes these things and transforms them into frame ontology terminology. This ontology was formerly called the kl-one-ontology.

Notes:

• Moved HAS-VALUE to the frame ontology.

Summary of Slot-Constraint-Sugar:

No translations

No shadowed words

No public words

No private words

Slot-Constraint-Sugar includes the following ontologies:

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

Ontologies that include Slot-Constraint-Sugar:

    Simple-Time
       Interface-Ontology
          Interface-Definition-Language
          Device-Ontology
             Hp-Product-Ontology
                Digital-Designer-Query-Ontology
                Physicist-Query-Ontology
          Hp-Product-Ontology ...
          Digital-Designer-Query-Ontology
          Physicist-Query-Ontology
       Documents
          Bibliographic-Data
          Product-Ontology
             Device-Ontology ...
             Hp-Product-Ontology ...
             Vehicles
       Bibliographic-Data
       Job-Assignment-Task
       Enterprise-V1.0
    Agents
       Interface-Ontology ...
       Documents ...
       Bibliographic-Data
       Product-Ontology ...
    Documents ...
    Bibliographic-Data
    Product-Ontology ...

Slot-Constraint-Sugar uses the same ontologies as it includes.

Ontologies using Slot-Constraint-Sugar are the same as those that include it.

14 relations defined:

  Can-Be-One-Of
  Can-Have-One
  Cannot-Have
  Has-At-Least
  Has-At-Most
  Has-One
  Has-One-Of-Type
  Has-Single-Slot-Value-Of-Type
  Has-Slot-Value
  Has-Slot-Value-Of-Type
  Has-Some
  Has-Value-Of-Type
  Has-Values
  Must-Be-One-Of

No functions defined.

No instances defined.

79 unnamed axioms defined.

No named axioms defined.

No classes defined.

All constants that were mentioned were defined.