{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:15:56Z","timestamp":1725891356660},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540729815"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72982-2_24","type":"book-chapter","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T09:29:37Z","timestamp":1182850177000},"page":"299-308","source":"Crossref","is-referenced-by-count":11,"title":["AceRules: Executing Rules in Controlled Natural Language"],"prefix":"10.1007","author":[{"given":"Tobias","family":"Kuhn","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","unstructured":"ACE 5 Interpretation Rules. Attempto Documentation (December 13 2006), http:\/\/attempto.ifi.uzh.ch\/site\/docs\/ace\/_interpretationrules.html"},{"key":"24_CR2","unstructured":"AceRules Webservice. Attempto Documentation (March 15, 2007), http:\/\/attempto.ifi.uzh.ch\/site\/docs\/acerules\/_webservice.html"},{"key":"24_CR3","unstructured":"Authoring Tools for ACE. Attempto Documentation (March 23, 2007), http:\/\/attempto.ifi.uzh.ch\/site\/docs\/authoring\/_tools.html"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American (2001)","DOI":"10.1038\/scientificamerican0501-34"},{"key":"24_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/11926078_11","volume-title":"The Semantic Web - ISWC 2006","author":"A. Bernstein","year":"2006","unstructured":"Bernstein, A., Kaufmann, E.: GINO - A Guided Input Natural Language Ontology Editor. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L. (eds.) ISWC 2006. LNCS, vol.\u00a04273, pp. 144\u2013157. Springer, Heidelberg (2006)"},{"key":"24_CR6","unstructured":"D\u00f6rflinger, M.: Interpreting Courteous Logic Programs, Diploma Thesis. Department of Informatics, University of Zurich (2005)"},{"key":"24_CR7","unstructured":"Fuchs, N.E., Hoefler, S., Kaljurand, K., Kuhn, T., Schneider, G., Schwertel, U.: Discourse Representation Structures for ACE 5, Technical Report ifi-2006.10. Department of Informatics, University of Zurich (2006)"},{"key":"24_CR8","unstructured":"Fuchs, N.E., Kaljurand, K., Schneider, G.: Attempto Controlled English Meets the Challenges of Knowledge Representation, Reasoning, Interoperability and User Interfaces. In: The 19th International FLAIRS Conference (FLAIRS\u20192006) (2006)"},{"key":"24_CR9","series-title":"Lecture Notes in Computer Science","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 \u2014 Not Just Another Logic Specification Language. In: Flener, P. (ed.) LOPSTR 1998. LNCS, vol.\u00a01559, Springer, Heidelberg (1999)"},{"key":"24_CR10","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":"24_CR11","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":"24_CR12","unstructured":"Grosof, B.N.: Courteous Logic Programs: Prioritized Conflict Handling For Rules. IBM Research Report RC 20836. Technical report, IBM T.J. Watson Research Center (1997)"},{"key":"24_CR13","unstructured":"Halpin, T.: Business Rule Verbalization. In: Doroshenko, A., Halpin, T., Liddle, S. W., Mayr, H.C. (eds.) In: Proceedings of Information Systems Technology and its Applications, 3rd International Conference ISTA 2004, Lecture Notes in Informatics (2004)"},{"key":"24_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1181","DOI":"10.1007\/11915072_21","volume-title":"On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops","author":"T. Halpin","year":"2006","unstructured":"Halpin, T., Curland, M.: Automated Verbalization for ORM 2. In: Meersman, R., Tari, Z., Herrero, P. (eds.) On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops. LNCS, vol.\u00a04278, pp. 1181\u20131190. Springer, Heidelberg (2006)"},{"key":"24_CR15","unstructured":"Hoefler, S.: The Syntax of Attempto Controlled English: An Abstract Grammar for ACE 4.0, Technical Report ifi-2004.03. Department of Informatics, University of Zurich (2004)"},{"key":"24_CR16","unstructured":"Jarrar, M., Keet, M., Dongilli, P.: Multilingual verbalization of ORM conceptual models and axiomatized ontologies. Technical report, Vrije Universiteit Brussel (2006)"},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"Kaljurand, K., Fuchs, N.E.: Bidirectional mapping between OWL DL and Attempto Controlled English. In: Fourth Workshop on Principles and Practice of Semantic Web Reasoning, Budva, Montenegro (2006)","DOI":"10.1007\/11853107_13"},{"key":"24_CR18","unstructured":"Kaufmann, E., Bernstein, A., Zumstein, R.: Querix: A Natural Language Interface to Query Ontologies Based on Clarification Dialogs. In: 5th International Semantic Web Conference (2006)"},{"key":"24_CR19","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","DOI":"10.1007\/11799511_7","volume-title":"Data Integration in the Life Sciences","author":"T. Kuhn","year":"2006","unstructured":"Kuhn, T., Royer, L., Fuchs, N.E., Schroeder, M.: Improving Text Mining with Controlled Natural Language: A Case Study for Protein Interactions. In: Leser, U., Naumann, F., Eckman, B. (eds.) DILS 2006. LNCS (LNBI), vol.\u00a04075, Springer, Heidelberg (2006)"},{"key":"24_CR20","unstructured":"Lukichev, S., Wagner, G.: Verbalization of the REWERSE I1 Rule Markup Language, Deliverable I1-D6. Technical report, REWERSE (2006)"},{"key":"24_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"420","DOI":"10.1007\/3-540-63255-7_32","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"I. Niemel\u00e4","year":"1997","unstructured":"Niemel\u00e4, I., Simons, P.: Smodels \u2014 an implementation of the stable model and well-founded semantics for normal logic programs. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol.\u00a01265, pp. 420\u2013429. Springer, Heidelberg (1997)"},{"key":"24_CR22","series-title":"Nonmonotonic Reasoning and Uncertain Reasoning","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1093\/oso\/9780198537472.003.0007","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"D. Nute","year":"1994","unstructured":"Nute, D.: Defeasible Logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming. Nonmonotonic Reasoning and Uncertain Reasoning, vol.\u00a03, pp. 353\u2013395. Oxford University Press, Oxford (1994)"},{"issue":"3\/4","key":"24_CR23","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/BF03037171","volume":"9","author":"T.C. Przymusinski","year":"1991","unstructured":"Przymusinski, T.C.: Stable Semantics for Disjunctive Programs. New Generation Computing\u00a09(3\/4), 401\u2013424 (1991)","journal-title":"New Generation Computing"},{"key":"24_CR24","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, pp. 141\u2013150 (2003)"},{"key":"24_CR25","unstructured":"Syrj\u00e4nen, T.: Lparse 1.0 User\u2019s Manual (2000)"},{"issue":"6","key":"24_CR26","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/MIC.2005.135","volume":"9","author":"C.W. Thompson","year":"2005","unstructured":"Thompson, C.W., Pazandak, P., Tennant, H.R.: Talk to Your Semantic Web. IEEE Internet Computing\u00a09(6), 75\u201379 (2005)","journal-title":"IEEE Internet Computing"},{"key":"24_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/978-3-540-24572-8_3","volume-title":"Principles and Practice of Semantic Web Reasoning","author":"G. Wagner","year":"2003","unstructured":"Wagner, G.: Web Rules Need Two Kinds of Negation. In: Bry, F., Henze, N., Ma\u0142uszy\u0144ski, J. (eds.) PPSWR 2003. LNCS, vol.\u00a02901, pp. 33\u201350. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Web Reasoning and Rule Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72982-2_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,15]],"date-time":"2024-02-15T13:35:48Z","timestamp":1708004148000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72982-2_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540729815"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72982-2_24","relation":{},"subject":[]}}