1. Modular Ontologies - A Formal Investigation of Semantics and Expressivity Jie Bao, Doina CarageaandVasant G Honavar Artificial Intelligence Research Laboratory,Department…