Divide and conquer semantic web with modular ontologies - A brief review of modular ontology language formalisms