{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T18:05:57Z","timestamp":1777485957217,"version":"3.51.4"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319102221","type":"print"},{"value":"9783319102238","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10223-8_2","type":"book-chapter","created":{"date-parts":[[2014,7,21]],"date-time":"2014-07-21T01:19:40Z","timestamp":1405905580000},"page":"8-19","source":"Crossref","is-referenced-by-count":1,"title":["Controlled Natural Language Processing as Answer Set Programming: An Experiment"],"prefix":"10.1007","author":[{"given":"Rolf","family":"Schwitter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Brewka, G., Eiter, T., Truszczy\u0144ski, M.: Answer Set Programming at a Glance. Communications of the ACM\u00a054(12) (December 2011)","DOI":"10.1145\/2043174.2043195"},{"key":"2_CR2","unstructured":"Clark, P., Harrison, P., Jenkins, T., Thompson, J., Wojcik, R.H.: Acquiring and using world knowledge using a restricted subset of English. In: Proceedings of FLAIRS 2005, pp. 506\u2013511. AAAI Press (2005)"},{"key":"2_CR3","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G.: Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming. INFSYS Research Report 1843-02-01, Technische Universit\u00e4t Wien (January 2002)"},{"key":"2_CR4","unstructured":"Franconi, E., Guagliardo, P., Trevisan, M., Tessaris, S.: Quelo: an ontology-driven query interface. In: Proceedings of the 24th International Workshop on Description Logics (DL 2011) (2011)"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-540-85658-0_3","volume-title":"Reasoning Web","author":"N.E. Fuchs","year":"2008","unstructured":"Fuchs, N.E., Kaljurand, K., Kuhn, T.: Attempto Controlled English for knowledge representation. In: Baroglio, C., Bonatti, P.A., Ma\u0142uszy\u0144ski, J., Marchiori, M., Polleres, A., Schaffert, S. (eds.) Reasoning Web. LNCS, vol.\u00a05224, pp. 104\u2013124. Springer, Heidelberg (2008)"},{"issue":"2","key":"2_CR6","doi-asserted-by":"crossref","first-page":"105","DOI":"10.3233\/AIC-2011-0497","volume":"24","author":"M. Gebser","year":"2011","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Schneider, M.: Potassco: The Potsdam Answer Set Solving Collection. AI Communications\u00a024(2), 105\u2013124 (2011)","journal-title":"AI Communications"},{"key":"2_CR7","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of ICLP 1988, pp. 1070\u20131080 (1988)"},{"issue":"3-4","key":"2_CR8","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing\u00a09(3-4), 365\u2013386 (1991)","journal-title":"New Generation Computing"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Gelfond, M., Kahl, Y.: Knowledge Representation, Reasoning, and the Design of Intelligent Agents. Cambridge University Press (2014)","DOI":"10.1017\/CBO9781139342124"},{"key":"2_CR10","unstructured":"Kuhn, T.: Controlled English for Knowledge Representation. Doctoral thesis, Faculty of Economics, Business Administration and Information Technology of the University of Zurich (2010)"},{"issue":"1","key":"2_CR11","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1162\/COLI_a_00168","volume":"40","author":"T. Kuhn","year":"2014","unstructured":"Kuhn, T.: A Survey and Classification of Controlled Natural Languages. Computational Linguistics\u00a040(1), 121\u2013170 (2014)","journal-title":"Computational Linguistics"},{"key":"2_CR12","unstructured":"Lierler, Y., Lifschitz, V.: Logic Programs vs. First-Order Formulas in Textual Inference. In: Proceedings of the 10th International Conference on Computational Semantics (IWCS 2013), Potsdam, Germany, pp. 340\u2013346 (2013)"},{"key":"2_CR13","unstructured":"Lifschitz, V.: What is Answer Set Programming? In: Proceedings of AAAI 2008, pp. 1594\u20131597 (2008)"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-642-32612-7_4","volume-title":"Controlled Natural Language","author":"R. Power","year":"2012","unstructured":"Power, R.: OWL Simplified English: a finite-state language for ontology editing. In: Kuhn, T., Fuchs, N.E. (eds.) CNL 2012. LNCS, vol.\u00a07427, pp. 44\u201360. Springer, Heidelberg (2012)"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Reiter, R.: On closed world data bases. In: Gallaire, H., Minker, J.,, J. (eds.) Logic and Data Bases, pp. 119\u2013140. Plenum Publ. Co., New York (1978)","DOI":"10.1016\/B978-0-934613-03-3.50014-3"},{"key":"2_CR16","unstructured":"Schwitter, R., Ljungberg, A., Hood, D.: ECOLE \u2013 A Look-ahead Editor for a Controlled Language. In: Proceedings of EAMT-CLAW 2003, Dublin City University, Ireland, May 15-17, pp. 141\u2013150 (2003)"},{"key":"2_CR17","unstructured":"Schwitter, R.: Controlled Natural Languages for Knowledge Representation. In: Proceedings of COLING 2010, Beijing, China, pp. 1113\u20131121 (2010)"},{"key":"2_CR18","unstructured":"White, C., Schwitter, R.: An Update on PENG Light. In: Pizzato, L., Schwitter, R. (eds.) Proceedings of ALTA 2009, Sydney, Australia, pp. 80\u201388 (2009)"}],"container-title":["Lecture Notes in Computer Science","Controlled Natural Language"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10223-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,15]],"date-time":"2023-07-15T10:41:40Z","timestamp":1689417700000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10223-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319102221","9783319102238"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10223-8_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}