Knowledge representation in CGLF, CGIF, KIF, Frame-CG and Formalized-English

Abstract

This article shows how CGLF, CGIF, KIF, Formalized-English and Frame-CG can be used in a panorama of knowledge representation cases. It highlights various inadequacies of CGLF and CGIF, advantages provided by high-level expressive notations, and the KIF translations provide a logical interpretation. Knowledge providers may see this document as a guide for knowledge representation. Developers may see it as a list of cases to take into account for their notations and inferences engines.