{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:23:27Z","timestamp":1725575007161},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540233183"},{"type":"electronic","value":"9783540301325"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30132-5_97","type":"book-chapter","created":{"date-parts":[[2011,1,14]],"date-time":"2011-01-14T02:15:59Z","timestamp":1294971359000},"page":"711-717","source":"Crossref","is-referenced-by-count":5,"title":["Representing Knowledge in Controlled Natural Language: A Case Study"],"prefix":"10.1007","author":[{"given":"Rolf","family":"Schwitter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"97_CR1","unstructured":"Bos, J.: DORIS 2001: Underspecification, Resolution and Inference for Discourse Representation Structures. In: Blackburn, Kohlhase (eds.) ICoS-3. Inference in Computational Semantics. Workshop Proceedings, Siena Italy, Inference in Computational Semantics. Workshop Proceedings, Italy (June 2001)"},{"key":"97_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-48958-4_1","volume-title":"Logic-Based Program Synthesis and Transformation","author":"N.E. Fuchs","year":"1999","unstructured":"Fuchs, N.E., Schwertel, U., Schwitter, R.: Attempto Controlled English \u2013 Not Just Another Logic Specification Language. In: Flener, P. (ed.) LOPSTR 1998. LNCS, vol.\u00a01559, pp. 1\u201320. Springer, Heidelberg (1999)"},{"issue":"1","key":"97_CR3","first-page":"67","volume":"48","author":"A. Hall","year":"1990","unstructured":"Hall, A.: Seven Myths of Formal Methods. IEEE Software\u00a048(1), 67\u201379 (1990)","journal-title":"IEEE Software"},{"key":"97_CR4","unstructured":"Hobbs, J.R.: Discourse and Inference. Draft. USC Information Science Institute, Marina del Rey, California, November 3, (2003)"},{"key":"97_CR5","doi-asserted-by":"crossref","unstructured":"Huijsen, W.O.: Controlled Language \u2013 An Introduction. In: Proceedings of CLAW 1998, Pittsburgh, pp. 1\u201315 (1998)","DOI":"10.1007\/978-1-4615-5475-2_1"},{"key":"97_CR6","volume-title":"From Discourse to Logic","author":"H. Kamp","year":"1993","unstructured":"Kamp, H., Reyle, U.: From Discourse to Logic. Kluwer, Dordrecht (1993)"},{"key":"97_CR7","doi-asserted-by":"crossref","unstructured":"McCune, W.: MACE 2.0 Reference Manual and Guide. ANL\/MCS-TM-249. Mathematics and Computer Science Division, Argonne National Laboratory, Argonne (2001)","DOI":"10.2172\/797949"},{"key":"97_CR8","doi-asserted-by":"crossref","unstructured":"McCune, W.: OTTER 3.3 Reference Manual. ANL\/MCS-TM-263. Mathematics and Computer Science Division, Argonne National Laboratory, Argonne (2003)","DOI":"10.2172\/822573"},{"key":"97_CR9","unstructured":"Mitamura, T.: Controlled Language for Multilingual Machine Translation (invited paper). In: Proceedings of MT Summit (1999)"},{"key":"97_CR10","unstructured":"Pulman, S.G.: Controlled Language for Knowledge Representation. In: Proceedings of CLAW 1996, Katholieke Universiteit Leuven, Belgium, pp. 233\u2013242 (1996)"},{"key":"97_CR11","unstructured":"Sowa, J.F.: Knowledge Representation \u2013 Logical, Philosophical and Computational Foundations, Brooks\/Cole (2000)"},{"key":"97_CR12","series-title":"Lecture Notes in Computer Science","first-page":"228","volume-title":"Database and Expert Systems Applications","author":"R. Schwitter","year":"2002","unstructured":"Schwitter, R.: English as a Formal Specification Language. In: Hameurlain, A., Cicchetti, R., Traunm\u00fcller, R. (eds.) DEXA 2002. LNCS, vol.\u00a02453, pp. 228\u2013232. Springer, Heidelberg (2002)"},{"key":"97_CR13","unstructured":"Schwitter, R., Ljungberg, A., Hood, D.: ECOLE: A Look-ahead Editor for a Controlled Language. In: Proceedings of EAMT-CLAW03, Controlled Language Translation, Dublin City University, May 15-17, 2003, pp. 141\u2013150 (2003)"}],"container-title":["Lecture Notes in Computer Science","Knowledge-Based Intelligent Information and Engineering Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30132-5_97.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:43:29Z","timestamp":1605761009000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30132-5_97"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540233183","9783540301325"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30132-5_97","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}