A translation approach to portable ontology specifications