(Natural Language Processing, Controlled Natural Language)
From (Fuchs, 2010):
The first paper on Attempto describes it as a langauge to help writing software specifications. It emphasises that software always needs to combine natural and formal language and suggests to do this in a controled and systematic way.
The translation of ACE into the first-order logic formalism of DRSs is explained in Section 3 of
This paper also contains many illutrative examples.
The following gives an overview of the language ACE, and then briefly presents the tools Attempto Parsing Engine (APE), Attempto Reasoner (RACE), ACE View, AceRules, AceWiki, and OWL verbaliser.
The question "Can Texts in Attempto Controlled English Be Understood by Anybody?" is discussed in some detail in
It also contains examples of where Attempto resolves ambiguities differently from a human speaker. Fuchs argues that these cases are rare and easily avoided if the author takes some care. On the other hand, the reader can use tools such as RACE in order to obtain answers to questions and check whether they understand the text. The answers to "Why" questions need to be contributed by the the authors in form of comments.
AceWiki
proposes ACE as a language to edit semantic wikis.
RACE
implements reasoners working on knowledge represented in ACE.
Sandbox Wiki. Very slow. Is it possible to take the code and implement a faster version? Are there examples of actual wikis?