Skip to main content
SpringerLink
Log in

AceRules: Executing Rules in Controlled Natural Language

  • Conference paper
Book cover Web Reasoning and Rule Systems (RR 2007)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 4524))

Included in the following conference series:

Abstract

Expressing rules in controlled natural language can bring us closer to the vision of the Semantic Web since rules can be written in the notation of the application domain and are understandable by anybody. AceRules is a prototype of a rule system with a multi-semantics architecture. It demonstrates the formal representation of rules using the controlled natural language ACE. We show that a rule language can be executable and easily understandable at the same time. AceRules is available via a web service and two web interfaces.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. ACE 5 Interpretation Rules. Attempto Documentation (December 13 2006), http://attempto.ifi.uzh.ch/site/docs/ace/_interpretationrules.html

  2. AceRules Webservice. Attempto Documentation (March 15, 2007), http://attempto.ifi.uzh.ch/site/docs/acerules/_webservice.html

  3. Authoring Tools for ACE. Attempto Documentation (March 23, 2007), http://attempto.ifi.uzh.ch/site/docs/authoring/_tools.html

  4. Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American (2001)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  6. Dörflinger, M.: Interpreting Courteous Logic Programs, Diploma Thesis. Department of Informatics, University of Zurich (2005)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  11. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing 9, 365–385 (1990)

    Article  Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Google Scholar 

  16. Jarrar, M., Keet, M., Dongilli, P.: Multilingual verbalization of ORM conceptual models and axiomatized ontologies. Technical report, Vrije Universiteit Brussel (2006)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  20. Lukichev, S., Wagner, G.: Verbalization of the REWERSE I1 Rule Markup Language, Deliverable I1-D6. Technical report, REWERSE (2006)

    Google Scholar 

  21. Niemelä, I., Simons, P.: Smodels — 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. 1265, pp. 420–429. Springer, Heidelberg (1997)

    Google Scholar 

  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)

    Google Scholar 

  23. Przymusinski, T.C.: Stable Semantics for Disjunctive Programs. New Generation Computing 9(3/4), 401–424 (1991)

    Google Scholar 

  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)

    Google Scholar 

  25. Syrjänen, T.: Lparse 1.0 User’s Manual (2000)

    Google Scholar 

  26. Thompson, C.W., Pazandak, P., Tennant, H.R.: Talk to Your Semantic Web. IEEE Internet Computing 9(6), 75–79 (2005)

    Article  Google Scholar 

  27. Wagner, G.: Web Rules Need Two Kinds of Negation. In: Bry, F., Henze, N., Małuszyński, J. (eds.) PPSWR 2003. LNCS, vol. 2901, pp. 33–50. Springer, Heidelberg (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Informatics, University of Zurich, Switzerland

    Tobias Kuhn

Authors
  1. Tobias Kuhn
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Massimo Marchiori Jeff Z. Pan Christian de Sainte Marie

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer Berlin Heidelberg

About this paper

Cite this paper

Kuhn, T. (2007). AceRules: Executing Rules in Controlled Natural Language. In: Marchiori, M., Pan, J.Z., Marie, C.d.S. (eds) Web Reasoning and Rule Systems. RR 2007. Lecture Notes in Computer Science, vol 4524. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72982-2_24

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-72982-2_24

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-72981-5

  • Online ISBN: 978-3-540-72982-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation