A model for ontology evaluation. The case of Onto-Satcol