Knowledge representation in CGLF, CGIF, KIF, Frame-CG and formalized-english

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2393, Issue , 2002, Pages 77-91

  Martin, Philippe ^a  

^a GRIFFITH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

LOGICAL INTERPRETATION;

KNOWLEDGE REPRESENTATION;

EID: 84948952301     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45483-7_7     Document Type: Conference Paper

References (9)

1. The CG specification. http://users.bestweb.net/˜sowa/cg/cgstand.htm
2. The KIF specification. http://logic.stanford.edu/kif/dpans.htmlSeealso: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
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/
8. Sowa, J. F.: Conceptual Graphs Summary. In: Nagle, Nagle, Gerholz, Eklund (eds): Conceptual Structures: Current Research and Practice, Ellis Horwood (1992) 3–51.
9. Sowa, J. F.: Relating Diagrams to Logic. In Proc. of ICCS’93, Springer Verlag, LNAI 699, Laval, Quebec (1993), 1–35.