— Execute Rules in Controlled English —


AceRules is a rule system that uses Attempto Controlled English (ACE) to formalize the rules and facts. ACE is a controlled natural language, which means that it looks like natural English but is in fact completely formal. The goal of AceRules is to make formal rules understandable for everybody. People with no computer science background should be able to deal with AceRules. Visit the web interface or watch the demo video:

If you are interested in the technical details of the AceRules system, see the following links:

See publication [1] for more information about the AceRules system.


The source code of AceRules is hosted on GitHub:


[2] Norbert E. Fuchs, Kaarel Kaljurand, Tobias Kuhn. Attempto Controlled English for Knowledge Representation. In Cristina Baroglio, Piero A. Bonatti, Jan Maluszynski, Massimo Marchiori, Axel Polleres, Sebastian Schaffert (editors), Reasoning Web, Fourth International Summer School 2008, Lecture Notes in Computer Science, number 5224, pages 104–124, 2008.

[1] Tobias Kuhn. AceRules: Executing Rules in Controlled Natural Language. In Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie (editors), Proceedings of the First International Conference on Web Reasoning and Rule Systems (RR2007), Lecture Notes in Computer Science, number 4524, pages 299–308, 2007.


Please use the Attempto mailing list for questions, bug reports, comments, etc. that could be of public interest. For private messages, you can contact Tobias Kuhn directly.