Representing Concepts in Formal Ontologies