Modularizing OWL ontologies using E-SHIQ