  AceWiki is a prototype that shows how a semantic wiki using controlled
natural language - Attempto Controlled English (ACE) in our case - can make
ontology management easy for everybody. Sentences in ACE can automatically be
translated into first-order logic, OWL, or SWRL. AceWiki integrates the OWL
reasoner Pellet and ensures that the ontology is always consistent. Previous
results have shown that people with no background in logic are able to add
formal knowledge to AceWiki without being instructed or trained in advance.
