{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T06:15:09Z","timestamp":1791267309446,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540439011","type":"print"},{"value":"9783540454830","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45483-7_7","type":"book-chapter","created":{"date-parts":[[2007,5,16]],"date-time":"2007-05-16T02:15:50Z","timestamp":1179281750000},"page":"77-91","source":"Crossref","is-referenced-by-count":26,"title":["Knowledge Representation in CGLF, CGIF, KIF, Frame-CG and Formalized-English"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Martin","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2002,7,4]]},"reference":[{"key":"7_CR1","unstructured":"The CG specification. http:\/\/users.bestweb.net\/~sowa\/cg\/cgstand.htm"},{"key":"7_CR2","unstructured":"The KIF specification. http:\/\/logic.stanford.edu\/kif\/dpans.html See also: http:\/\/www-ksl.stanford.edu\/knowledge-sharing\/kif\/"},{"key":"7_CR3","unstructured":"The RDF specification. http:\/\/www.w3.org\/TR\/REC-rdf-syntax\/"},{"key":"7_CR4","unstructured":"The Knowledge Machine specification. http:\/\/www.cs.utexas.edu\/users\/ mfkb\/km.html"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Fuchs, N. E., Schwertel, U., Torge, S.: Controlled Natural Language Can Replace First-Order Logic. In Proc. of ASE\u201999, 14th IEEE International Conference on Automated Software Engineering, Cocoa Beach, Florida, 1999.","DOI":"10.1109\/ASE.1999.802325"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"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\u201354. http:\/\/www.webkb.org\/doc\/papers\/iccs00\/ See also the FE and FCG grammars at http:\/\/www.webkb.org\/doc\/Flanguages.html","DOI":"10.1007\/10722280_4"},{"key":"7_CR7","series-title":"LNAI","first-page":"231","volume-title":"Proc. of ICCS 2001","author":"Ph. Martin","year":"2001","unstructured":"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\u2013244. http:\/\/www.webkb.org\/doc\/papers\/iccs01\/"},{"key":"7_CR8","unstructured":"Sowa, J. F.: Conceptual Graphs Summary. In: Nagle, Nagle, Gerholz, Eklund (eds): Conceptual Structures: Current Research and Practice, Ellis Horwood (1992) 3\u201351."},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Sowa, J. F.: Relating Diagrams to Logic. In Proc. of ICCS\u201993, Springer Verlag, LNAI 699, Laval, Quebec (1993), 1\u201335.","DOI":"10.1007\/3-540-56979-0_1"}],"container-title":["Lecture Notes in Computer Science","Conceptual Structures: Integration and Interfaces"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45483-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T21:32:11Z","timestamp":1683840731000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45483-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439011","9783540454830"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-45483-7_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}