A Translation Approach to Portable Ontology Specifications