AceRules

From semanticweb.org.edu
Jump to: navigation, search
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).

Introduction[edit]

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 semant.css (called 'modes'): courteous logic programs, stable models, and stable models with strong negation.

Demo[edit]

A demo of the AceRules system can be found here: http://attempto.ifi.uzh.ch/acerules

Developers[edit]

AceRules has been developed by Tobias Kuhn within the Attempto group.

Publications[edit]