ppt课件-ontologiesand i s o11179-metadata（ontologiesand is o11179-metadata）.pptVIP

Proposed NWI KIF/CG -- Common Logic Standard A working group was recently formed from the KIF working group. John Sowa is the only CG representative so far. Stanford March 2002: Agreed on the name: Common Logic Standard for First Order Logic Cris Menzel (U.Texas, Austin Philosophy dept) agreed to maintain a web site, now called Conceptual Graphs and KIF to be reference implementations. KIF maintained by KIF working group, including Mike Genesereth who was the contact for requirements during its development. CG draft standard now available at a site maintained by John Sowa. Requirements