Ontologies in Representation Languages

• KIF (Knowledge Interchange Format)

  • Logical formalism:
    • ASCII S-expression syntax for WFFs
    • Predicate calculus semantics
  • Ontologies:
    Numbers, lists, sets, …
    

• Ontolingua

  • KIF plus a “frame language” ontology
    Subclass-Of, Instance-Of , Value-Type, Slot-Cardinality, …
    

• CML (Compositional Modeling Language)

  • KIF plus device modeling ontology

Previous slide

Next slide

Back to first slide

View graphic version