Knowledge Interchange Format

(Redirected from KIF)
Jump to: navigation, search

A Knowledge Interchange Format is an computer-oriented language designed for exchanging information between knowledge representation systems.



  • (KSL, 2017) ⇒ Retrieved on 2017-01-15 from
    • Knowledge Interchange Format (KIF) is a computer-oriented language for the interchange of knowledge among disparate programs. It has declarative semantics (i.e. the meaning of expressions in the representation can be understood without appeal to an interpreter for manipulating those expressions); it is logically comprehensive (i.e. it provides for the expression of arbitrary sentences in the first-order predicate calculus); it provides for the representation of knowledge about the representation of knowledge; it provides for the representation of nonmonotonic reasoning rules; and it provides for the definition of objects, functions, and relations.



When KIF is used, one usually implements a representation formalism in KIF and uses this implementation for representation of particular ontology or knowledge. This is also the case of Ontolingua - Frame Ontology defining classes, slots, facets etc. was defined in KIF, and the KIF together with the frame ontology forms the language of Ontolingua, that allows write ontologies in a canonical form. These ontologies can then be exported to other formalisms, such as Prolog. Even when KIF was primarily intended as interlingua, it is currently used for encoding knowledge directly. Other formats may be exported from KIF definition automatically (see for example SUMO).


  • (Genesereth & Fikes, 1992) ⇒ Michael R. Genesereth, and Richard E. Fikes. "Knowledge interchange format-version 3.0: reference manual." (1992).