As discussed in (Power and Third, 2010), one important limitation of these approaches is that they assume a simple deterministic mapping between knowledge representation languages and some controlled natural language (CNL).
the assumption is that each atomic term (individual, class, property) maps to a word and each axiom maps to a sentence.