AceRules
From semanticweb.org
| AceRules | |
|---|---|
| attempto.ifi.uzh.ch/acerules | |
| Status: | prototype |
| Affiliation: | University of Zurich |
AceRules is a forward-chaining rule system based on the controlled natural language Attempto Controlled English (ACE).
Contents |
[edit] Introduction
In AceRules, input and output (i.e. the rules and the answer sets) are written in ACE which is a subset of natural English. This makes it easy to interact with the interface for ordinary people who are not familiar with formal languages. It supports multiple semantics (called 'modes'): courteous logic programs, stable models, and stable models with strong negation.
[edit] Demo
A demo of the AceRules system can be found here: http://attempto.ifi.uzh.ch/acerules
[edit] Developers
AceRules has been developed by Tobias Kuhn within the Attempto group.
