• 2014 - A Survey and Classification of Controlled Natural Languages

• Attempto Controlled English (ACE) From Diller 2019:

Attempto Controlled English (ACE) (Fuchs et al., 2008) is a prominent controlled natural language (CNL) for knowledge representation (KR). Apart of its appropriateness for basic KR, ACE’s attraction comes, first of all, from its ties with formal logic: ACE texts have an unambiguous translation to first order logic (FOL). Secondly, there are several open-source tools for ACE; the main one being the parser APE, which translates ACE texts to FOL via discourse representation structures (DRSs) (Blackburn and Bos, 2005) and also verbalises DRSs.

• Diller et al 2019 - Making sense of conflicting (defeasible) rules in the controlled natural language ACE: design of a system with support for existential quantification using skolemization