Synthesizing an Integrated Ontology with MOMIS