APE (ACE parser)
The ACE parser APE can be used through
or directly, via a
RACE (ACE reasoner)
The ACE reasoner RACE
allows users to do deduction on ACE texts, for example consistency checks and query
AceRules is a forward-chaining rule system based on ACE, i.e. the rules and the answer sets are
written in ACE. It supports multiple semantics (called 'modes'): courteous logic programs, stable
models, and stable models with strong negation. There is a public webservice for AceRules.
See the document
for more information. Based on this webservice, there are two web interfaces: the
AceRules interface as a demonstration for
normal users and the
AceRules technical interface for developers.
AceWiki is a semantic wiki using ACE.
Unlike most other semantic wikis, the semantics are contained directly in the article texts and not
in some form of annotations.
combines AceWiki with
Grammatical Framework (GF)
in order to make CNL-based semantic wikis multilingual.
is an ontology and rule editor that uses ACE
in order to create, view and edit OWL 2 ontologies and SWRL rulesets.
converts OWL ontologies (expressed in XML Serialization) into ACE.
The ACE Editor demonstrates how editing
of ACE texts can be done in a convenient way. The ACE Editor is not a finished tool but rather a general basis
to create domain-specific tools on top of it.
implements the syntax of a large subset of ACE in Grammatical Framework
and ports it to additional natural languages.
Externally developed tools
David Hirtle (University of Waterloo) developed
that converts an ACE text into RuleML.
Juri Luca De Coi (University of Hannover and University of Bologna) translates policy rules expressed in ACE into the Protune policy language and has been developing several tools for this purpose.
Geoff Sutcliffe (University of Miami) added ACE input to his TPTP tools.
Nelson C. Dellis (University of Miami) developed the world knowledge reasoning system CNL-WKR that uses ACE as input language.
Geoff Sutcliffe (University of Miami) and his collaborators have used ACE in their project
SporcleAI that combines a quiz game with artificial reasoning.
Joshua A. Taylor (Rensselaer Polytechnic Institute) is developing CL-ACE, a set of Lisp bindings for some of the Attempto Tools.
Using the Grammatical Framework Krasimir Angelov and Aarne Ranta (both at University of Gothenburg) implemented a grammar for ACE and ported it to five other European languages.
Pierre-Alexandre Voye (University of Nantes) wrote the Analysis Tool (DAT) that parses and analyses the DRS output of the Attempto Parsing Engine APE.