Bridging Upper Ontology and Modular Ontology Modeling: A Tool and Evaluation