Knowledge Interchange Format
- Knowledge Interchange Format
:"KIF" is also the IATA code for Kingfisher Lake Airport."
"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 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 is the language in which the Suggested Upper Merged Ontology is written.
External links
* [http://www.ksl.stanford.edu/knowledge-sharing/kif/ Knowledge Interchange Format] page at the Stanford AI Lab
* [http://www.ontologyportal.org Suggested Upper Merged Ontology]
* [http://common-logic.org/ Common Logic]
* [http://suo.ieee.org/SUO/KIF/suo-kif.html SUO-KIF syntax]
* Knowledge Query and Manipulation Language
Wikimedia Foundation.
2010.
Look at other dictionaries:
Knowledge Interchange Format — Das Knowledge Interchange Format (KIF) ist ein Austauschformat, das mit der Intention geschaffen wurde, Wissen in einem maschinenlesbaren Format zwischen unterschiedlichen Programmen austauschen zu können. Dabei haben sich die Entwickler nicht… … Deutsch Wikipedia
Rule Interchange Format — Le Rule Interchange Format (RIF ) est une recommandation du W3C. RIF fait partie de la feuille de route du web sémantique, avec principalement SPARQL, RDF et OWL. Bien que prévu initialement par beaucoup comme une couche de règles logiques pour… … Wikipédia en Français
Knowledge Query and Manipulation Language — The Knowledge Query and Manipulation Language, or KQML, is a languageand protocol for communication among software agents and knowledge based systems. It wasdeveloped in the early 1990s part of the DARPA knowledge Sharing Effort, which was aimed… … Wikipedia
Knowledge Discovery Metamodel — (KDM) is publicly available specification from the Object Management Group (OMG). KDM is a common intermediate representation for existing software systems and their operating environments, that defines common metadata required for deep semantic… … Wikipedia
Knowledge base — A knowledge base (abbreviated KB, kb or Δ[1][2]) is a special kind of database for knowledge management, providing the means for the computerized collection, organization, and retrieval of knowledge. Also a collection of data representing related … Wikipedia
Open Knowledge Base Connectivity — (OKBC) is a protocol and an API for accessing knowledge in knowledge representation systems such as ontology repositories and object relational databases. It is somewhat complementary to the Knowledge Interchange Format that serves as a general… … Wikipedia
Proprietary format — A proprietary format is a file format where the mode of presentation of its data is the intellectual property of an individual or organization which asserts ownership over the format. In contrast, a free format is a format that is either not… … Wikipedia
Workgroup for Electronic Data Interchange — WEDI, pronounced wee dee is a not for profit user group in the United States for users of Electronic Data Interchange (EDI) in public and private healthcare. The organization is sometimes referred to by other names that include some or all of the … Wikipedia
Extensible Data Format — The Extensible Data Format (XDF) is an XML standard (specified as a DTD) developed by NASA, meant to be used throughout scientific disciplines. In many ways it is akin to XSIL, Extensible Scientific Interchange Language. NASA provides two XDF… … Wikipedia
Clinical Data Interchange Standards Consortium — (CDISC) is a non profit organization, whose mission is to develop and support global, platform independent data standards that enable information system interoperability to improve medical research and related areas of health care . Their main… … Wikipedia
