Designing Efficient Controlled Languages for Ontologies