Computer-aided Ontology Development: an integrated environment