Skip to main content
SpringerLink
Log in

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

  • Conference paper
  • First Online:
Conceptual Structures: Integration and Interfaces (ICCS 2002)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2393))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. The CG specification. http://users.bestweb.net/~sowa/cg/cgstand.htm

  2. The KIF specification. http://logic.stanford.edu/kif/dpans.html See also: http://www-ksl.stanford.edu/knowledge-sharing/kif/

  3. The RDF specification. http://www.w3.org/TR/REC-rdf-syntax/

  4. The Knowledge Machine specification. http://www.cs.utexas.edu/users/ mfkb/km.html

  5. Fuchs, N. E., Schwertel, U., Torge, S.: Controlled Natural Language Can Replace First-Order Logic. In Proc. of ASE’99, 14th IEEE International Conference on Automated Software Engineering, Cocoa Beach, Florida, 1999.

    Google Scholar 

  6. Martin, Ph.: Conventions and Notations for Knowledge Representation and Retrieval. In Proc. of ICCS 2000, 8th International Conference on Conceptual Structures, Springer Verlag, LNAI 1867, Darmstadt, Germany (2000) 41–54. http://www.webkb.org/doc/papers/iccs00/ See also the FE and FCG grammars at http://www.webkb.org/doc/Flanguages.html

  7. Martin, Ph., Eklund P.: Large-scale cooperatively-built heterogeneous KBs. In Proc. of ICCS 2001, 9th International Conference on Conceptual Structures, Springer Verlag, LNAI 2120, Stanford University, California (2001) 231–244. http://www.webkb.org/doc/papers/iccs01/

    Google Scholar 

  8. Sowa, J. F.: Conceptual Graphs Summary. In: Nagle, Nagle, Gerholz, Eklund (eds): Conceptual Structures: Current Research and Practice, Ellis Horwood (1992) 3–51.

    Google Scholar 

  9. Sowa, J. F.: Relating Diagrams to Logic. In Proc. of ICCS’93, Springer Verlag, LNAI 699, Laval, Quebec (1993), 1–35.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Distributed System Technology Centre, Griffith University, PMB 50 Gold Coast MC, QLD 9726, Australia

    Philippe Martin

Authors
  1. Philippe Martin
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Library and Information Science, Indiana University, 1320 E 10th Street, Bloomington, IN, 47405-3907, USA

    Uta Priss

  2. School of Computer and Information Science, University of South Australia, Mawson Lakes, SA, Australia, 5095

    Dan Corbett

  3. Central Laboratory for Parallel Processing, Bulgarian Academy of Sciences, 25A Acad. G. Bonchev Street, 1113, Sofia, Bulgaria

    Galia Angelova

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Martin, P. (2002). Knowledge Representation in CGLF, CGIF, KIF, Frame-CG and Formalized-English. In: Priss, U., Corbett, D., Angelova, G. (eds) Conceptual Structures: Integration and Interfaces. ICCS 2002. Lecture Notes in Computer Science(), vol 2393. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45483-7_7

Download citation

  • DOI: https://doi.org/10.1007/3-540-45483-7_7

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43901-1

  • Online ISBN: 978-3-540-45483-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation