{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T15:17:52Z","timestamp":1777130272806,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540856566","type":"print"},{"value":"9783540856580","type":"electronic"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-85658-0_3","type":"book-chapter","created":{"date-parts":[[2008,8,30]],"date-time":"2008-08-30T10:00:43Z","timestamp":1220090443000},"page":"104-124","source":"Crossref","is-referenced-by-count":98,"title":["Attempto Controlled English for Knowledge Representation"],"prefix":"10.1007","author":[{"given":"Norbert E.","family":"Fuchs","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kaarel","family":"Kaljurand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tobias","family":"Kuhn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Clark, P., Harrison, P., Jenkins, T., Thompson, J., Wojcik, R.H.: Acquiring and Using World Knowledge Using a Restricted Subset of English. In: FLAIRS 2005, pp. 506\u2013511 (2005)"},{"key":"3_CR2","unstructured":"Clark, P., Porter, B.: KM \u2014 The Knowledge Machine 2.0: Users Manual. Technical report (2004), \n                  \n                    http:\/\/www.cs.utexas.edu\/users\/mfkb\/km\/userman.pdf"},{"key":"3_CR3","unstructured":"Cregan, A., Schwitter, R., Meyer, T.: Sydney OWL Syntax \u2014 towards a Controlled Natural Language Syntax for OWL 1.1. In: Golbreich, C., Kalyanpur, A., Parsia, B. (eds.) CEUR Proceedings of 3rd OWL Experiences and Directions Workshop (OWLED 2007), vol.\u00a0258 (2007)"},{"key":"3_CR4","unstructured":"Dzbor, M., Motta, E., Buil, C., Gomez, J., G\u00f6rlitz, O., Lewen, H.: Developing ontologies in OWL: An observational study. In: 2nd OWL Experiences and Directions Workshop (OWLED 2006) (2006)"},{"key":"3_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-2360-3","volume-title":"First-Order Logic and Automated Theorem Proving","author":"M. Fitting","year":"1996","unstructured":"Fitting, M.: First-Order Logic and Automated Theorem Proving. Springer, Heidelberg (1996)"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of the Sixth International Semantic Web Conference (ISWC)","author":"A. Funk","year":"2007","unstructured":"Funk, A., Tablan, V., Bontcheva, K., Cunningham, H., Davis, B., Handschuh, S.: CLOnE: Controlled Language for Ontology Editing. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudr\u00e9-Mauroux, P. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol.\u00a04825, Springer, Heidelberg (2007)"},{"key":"3_CR7","first-page":"1070","volume-title":"Proceedings of the 5th International Conference on Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the 5th International Conference on Logic Programming, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1990","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing\u00a09, 365\u2013385 (1990)","journal-title":"New Generation Computing"},{"key":"3_CR9","unstructured":"Grosof, B.N.: Prioritized conflict handling for rules. Technical Report RC 20836, IBM Research, IBM T.J. Watson Research Center (December 1997)"},{"key":"3_CR10","unstructured":"Hart, G., Dolbear, C., Goodwin, J.: Lege Feliciter: Using Structured English to represent a Topographic Hydrology Ontology. In: Golbreich, C., Kalyanpur, A., Parsia, B. (eds.) CEUR Proceedings of 3rd OWL Experiences and Directions Workshop (OWLED 2007), vol.\u00a0258 (2007)"},{"key":"3_CR11","unstructured":"Horridge, M., Bechhofer, S., Noppens, O.: Igniting the OWL 1.1 Touch Paper: The OWL API. In: Golbreich, C., Kalyanpur, A., Parsia, B. (eds.) CEUR Proceedings of 3rd OWL Experiences and Directions Workshop (OWLED 2007), vol.\u00a0258 (2007)"},{"key":"3_CR12","unstructured":"Horridge, M., Jupp, S., Moulton, G., Rector, A., Stevens, R., Wroe, C.: A Practical Guide To Building OWL Ontologies Using Prot\u00e9g\u00e9 4 and CO-ODE Tools. The University Of Manchester (2007), \n                  \n                    http:\/\/www.co-ode.org\/resources\/tutorials\/"},{"key":"3_CR13","unstructured":"Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule Language Combining OWL and RuleML. W3C Member Submission May 21, 2004. Technical report, W3C (2004), \n                  \n                    http:\/\/www.w3.org\/Submission\/2004\/SUBM-SWRL-20040521\/"},{"key":"3_CR14","unstructured":"Kaljurand, K.: Attempto Controlled English as a Semantic Web Language. PhD thesis, Faculty of Mathematics and Computer Science, University of Tartu (2007)"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/978-3-540-72982-2_24","volume-title":"Web Reasoning and Rule Systems","author":"T. Kuhn","year":"2007","unstructured":"Kuhn, T.: AceRules: Executing Rules in Controlled Natural Language. In: Marchiori, M., Pan, J.Z., d Marie, C.S. (eds.) RR 2007. LNCS, vol.\u00a04524, pp. 299\u2013308. Springer, Heidelberg (2007)"},{"key":"3_CR16","unstructured":"Kuhn, T.: AceWiki: A Natural and Expressive Semantic Wiki. In: Semantic Web User Interaction at CHI 2008: Exploring HCI Challenges (2008)"},{"key":"3_CR17","unstructured":"Kuhn, T.: AceWiki: Collaborative Ontology Management in Controlled Natural Language. In: SemWiki 2008 \u2014The Wiki Way of Semantics (2008)"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/BFb0012847","volume-title":"CADE 1988, Ninth International Conference on Automated Deduction","author":"R. Manthey","year":"1988","unstructured":"Manthey, R., Bry, F.: SATCHMO: A Theorem Prover Implemented in Prolog. In: Lusk, E.L., Overbeek, R.A. (eds.) CADE 1988. LNCS, vol.\u00a0310, pp. 415\u2013434. Springer, Heidelberg (1988)"},{"key":"3_CR19","unstructured":"Motik, B., Patel-Schneider, P.F., Horrocks, I.: OWL 2 Web Ontology Language: Structural Specification and Functional-Style Syntax. Technical report, W3C (2008), \n                  \n                    http:\/\/www.w3.org\/TR\/2008\/WD-owl2-syntax-20080411\/"},{"key":"3_CR20","unstructured":"Pool, J.: Can Controlled Languages Scale to the Web? In: 5th International Workshop on Controlled Language Applications (2006)"},{"issue":"1","key":"3_CR21","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1023\/A:1021149027971","volume":"12","author":"I. Pratt-Hartmann","year":"2003","unstructured":"Pratt-Hartmann, I.: A two-variable fragment of English. Journal of Logic, Language and Information\u00a012(1), 13\u201345 (2003)","journal-title":"Journal of Logic, Language and Information"},{"issue":"2","key":"3_CR22","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1305\/ndjfl\/1153858644","volume":"47","author":"I. Pratt-Hartmann","year":"2006","unstructured":"Pratt-Hartmann, I., Third, A.: More fragments of language: the case of ditransitive verbs. Notre Dame Journal of Formal Logic\u00a047(2), 151\u2013177 (2006)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"3_CR23","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/11589990_45","volume-title":"AI 2005, Advances in Artificial Intelligence: 18th Australian Joint Conference on Artificial Intelligence","author":"R. Schwitter","year":"2005","unstructured":"Schwitter, R.: A Controlled Natural Language Layer for the Semantic Web. In: Zhang, S., Jarvis, R. (eds.) AI 2005. LNCS (LNAI), vol.\u00a03809, pp. 425\u2013434. Springer, Heidelberg (2005)"},{"key":"3_CR24","unstructured":"Schwitter, R.: Controlled Natural Language as Interface Language to the Semantic Web. In: 2nd Indian International Conference on Artificial Intelligence (IICAI 2005), Pune, India, December 20\u201322 (2005)"},{"key":"3_CR25","unstructured":"Schwitter, R., Kaljurand, K., Cregan, A., Dolbear, C., Hart, G.: A Comparison of three Controlled Natural Languages for OWL 1.1. In: 4th OWL Experiences and Directions Workshop (OWLED, DC), Washington, April 1\u20132, 2008, p. 10 (2008)"},{"key":"3_CR26","unstructured":"Schwitter, R., Ljungberg, A., Hood, D.: ECOLE \u2014 A Look-ahead Editor for a Controlled Language. In: Controlled Translation, Proceedings of EAMT-CLAW 2003, Joint Conference combining the 8th International Workshop of the European Association for Machine Translation and the 4th Controlled Language Application Workshop, Dublin City University, Ireland, May 15\u201317, 2003, pp. 141\u2013150 (2003)"},{"key":"3_CR27","unstructured":"Schwitter, R., Tilbrook, M.: Controlled Natural Language meets the Semantic Web. In: Wan, S., Asudeh, A., Paris, C. (eds.) Australasian Language Technology Workshop 2004, Macquarie University, December 2004, pp. 55\u201362 (2004)"},{"key":"3_CR28","unstructured":"Schwitter, R., Tilbrook, M.: Let\u2019s Talk in Description Logic via Controlled Natural Language. In: Logic and Engineering of Natural Language Semantics 2006 (LENLS 2006), Tokyo, Japan, June 5\u20136 (2006)"},{"key":"3_CR29","unstructured":"Sowa, J.F.: Common Logic Controlled English. Technical report, 2004. Draft (February 24, 2004), \n                  \n                    http:\/\/www.jfsowa.com\/clce\/specs.htm"},{"key":"3_CR30","unstructured":"Sowa, J.F.: Common Logic Controlled English. Technical report, 2007. Draft (March 15, 2007), \n                  \n                    http:\/\/www.jfsowa.com\/clce\/clce07.htm"}],"container-title":["Lecture Notes in Computer Science","Reasoning Web"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85658-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,3]],"date-time":"2019-03-03T05:31:36Z","timestamp":1551591096000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85658-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540856566","9783540856580"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85658-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}