Modular Knowledge Representation and Reasoning in the Semantic Web