Modular Ontology Modeling Meets Upper Ontologies: The Upper Ontology Alignment Tool