The Computational Representation of Concepts in Formal Ontologies: Some General Considerations