Knowledge Interchange Format
A Knowledge Interchange Format is an computer-oriented language designed for exchanging information between knowledge representation systems.
- AKA: KIF, KIF Language.
- See: Knowledge-based System, Ontology Language, Frame Language, Knowledge Representation Language, OWL, Declarative Semantics.
References
2017
- (KSL, 2017) ⇒ Retrieved on 2017-01-15 from http://www-ksl.stanford.edu/knowledge-sharing/kif/
- 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.
2013
- http://en.wikipedia.org/wiki/Knowledge_Interchange_Format
- Knowledge Interchange Format (KIF) is a computer-oriented language for the interchange of knowledge among disparate computer 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.
It was originally created by Michael Genesereth, Richard Fikes and others participating in the DARPA knowledge Sharing Effort. There have been a number of versions of KIF.
Although the original KIF group intended to submit to a formal standards body, that did not occur. A later version called Common logic has since been developed for submission to ISO and has been approved and published. A variant called SUO-KIF[1] is the language in which the Suggested Upper Merged Ontology[2] is written.
- Knowledge Interchange Format (KIF) is a computer-oriented language for the interchange of knowledge among disparate computer programs.
2007
- (Obitko, 2007) ⇒ Marek Obitko. (2007). “Translations between Ontologies in Multi-Agent Systems", Ph.D. dissertation, Faculty of Electrical Engineering, Czech Technical University in Prague. http://www.obitko.com/tutorials/ontologies-semantic-web/knowledge-interchange-format.html
- Knowledge Interchange Format (KIF) is a language designed to be used for exchange of knowledge between different systems. It is based semantically on predicate logic and syntactically on LISP. It allows representing arbitrary sentences in the first order predicate logic. This language was defined within the Ontolingua project that provides a cooperative ontology builder that allows exporting ontologies to various formalisms.
- 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).
1992
- (Genesereth & Fikes, 1992) ⇒ Michael R. Genesereth, and Richard E. Fikes. "Knowledge interchange format-version 3.0: reference manual." (1992).