AceRules: Executing rules in controlled natural language

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4524 LNCS, Issue , 2007, Pages 299-308

  Kuhn, Tobias ^a  

^a UNIVERSITY OF ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

ACERULES; CONTROLLED NATURAL LANGUAGES; RULE LANGUAGES; WEB INTERFACES;

COMPUTER PROGRAMMING LANGUAGES; INTERFACES (COMPUTER); SEMANTIC WEB; SOFTWARE ARCHITECTURE; SOFTWARE PROTOTYPING; WEB SERVICES;

KNOWLEDGE BASED SYSTEMS;

EID: 38149055669     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-72982-2_24     Document Type: Conference Paper

References (27)

1. ACE 5 Interpretation Rules. Attempto Documentation, http ://attempto.ifi.uzh.ch/site/docs/ace.interpretationrules.html (December 13 2006)
2. AceRules Webservice. Attempto Documentation, http://attempto.ifi.uzh.ch/ site/docs/acerules_webservice.html (March 15 2007)
3. Authoring Tools for ACE. Attempto Documentation, http: //attempto. ifi .uzh. ch/site/docs/authoring_tools .html (March 23 2007)
4. Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American (2001)
5. 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. 4273, pp. 144-157. Springer, Heidelberg (2006)
6. Dörflinger, M.: Interpreting Courteous Logic Programs, Diploma Thesis. Department of Informatics, University of Zurich (2005)
7. 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)
8. 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'2006) (2006)
9. Fuchs, N.E., Schwertel, U., Schwitter, R.: Attempto Controlled English -Not Just Another Logic Specification Language. In: Flener, P. (ed.) LOPSTR 1998. LNCS, vol. 1559, Springer, Heidelberg (1999)
10. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the 5th International Conference on Logic Programming, pp. 1070-1080. MIT Press, Cambridge (1988)
11. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing 9, 365-385 (1990)
12. 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)
13. 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)
14. 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. 4278, pp. 1181-1190. Springer, Heidelberg (2006)
15. 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)
16. Jarrar, M., Keet, M., Dongilli, P.: Multilingual verbalization of ORM conceptual models and axiomatized ontologies. Technical report, Vrije Universiteit Brussel (2006)
17. 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)
18. 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)
19. 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. 4075, Springer, Heidelberg (2006)
20. Lukichev, S., Wagner, G.: Verbalization of the REWERSE Il Rule Markup Language, Deliverable I1-D6. Technical report, REWERSE (2006)
21. Niemelä, I., Simons, P.: Smodels -an implementation of the stable model and wellfounded semantics for normal logic programs. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol. 1265, pp. 420-429. Springer, Heidelberg (1997)
22. Nute, D.: Defeasible Logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming. Nonmonotonic Reasoning and Uncertain Reasoning, vol. 3, pp. 353-395. Oxford University Press, Oxford (1994)
23. Przymusinski, T.C.: Stable Semantics for Disjunctive Programs. New Generation Computing 9(3/4), 401-424 (1991)
24. 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-150 (2003)
25. Syrjänen, T.: Lparse 1.0 User's Manual (2000)
26. Thompson, C.W., Pazandak, P., Tennant, H.R.: Talk to Your Semantic Web. IEEE Internet Computing 9(6), 75-79 (2005)
27. Wagner, G.: Web Rules Need Two Kinds of Negation. In: Bry, F., Henze, N., Maluszynski, J. (eds.) PPSWR 2003. LNCS, vol. 2901, pp. 33-50. Springer, Heidelberg (2003)